The session discussed two of the most important resources for predictable behavior: time and energy. Topics included:
- Programming models and compiler support for predictable and safe parallelization of applications;
- Models and tools for system verification and validation, which are able to provide both safe and accurate (efficient) resource analysis;
- Methodologies and tools that consider non-functional properties, such as time and energy, within a design-by-contract paradigm, to reduce over-specifications;
- Predictable and energy-efficient multi- and many-core processor architectures.
This session was organized by the TACLe COST Action (IC1202 Timing Analysis on Code-Level) and the P-SOCRATES FP7 project.