Dependable and power-efficient real-time systems

Primary tabs

New safety standards, such as ISO 26262, present a challenge for companies producing safety-relevant embedded systems. Safety verification today is often ad-hoc and manual; it is done differently for digital and analogue, hardware and software.

The VeTeSS project developed standardized tools and methods for verification of the robustness of...

This project aimed to address a wide range of issues relating to time analysability of next generation space systems. The key challenge addressed how to use multicores in an effective way and achieving adequate levels of guarantee of the timing correctness. There were four main themes in the ITT:

  1. Choice of scheduling and...

In the next decade, EU industries developing Critical Real-Time Embedded Systems (CRTES) (safety, mission or business critical) will face a once-in-a-life-time disruptive challenge caused by the transition to multicore processors and the advent of manycores, tantamount to complex networked systems. This challenge brings the opportunity to integrate multiple applications onto...

Pages