CONTREX

Project abstract

Mission & safety critical services of SoS (Systems of Systems) have been running on dedicated and often custom designed HW/SW platforms. Significant improvements have been achieved supporting the design of mixed-critical systems by developing predictable computing platforms and mechanisms for segregation between applications of different criticalities sharing computing resources. Such platforms enable techniques for the compositional certification of applications’ correctness, run-time properties and reliability.

CONTREX will complement these important activities with an analysis and segregation along the extra-functional properties real-time, power, temperature and reliability. These properties will be a major cost roadblocks when scaling up the number of applications per platform and the number of cores per chip, in battery powered devices or switching to smaller technology nodes.

CONTREX will enable energy efficient and cost aware design through analysis and optimisation of real-time, power, temperature and reliability with regard to application demands at different criticality levels. CONTREX approach will be integrated into existing model-based design methods that can be customized for different application domains and target platforms.