Search for European Projects

The real-time performance of embedded software is often critical for the safety and quality of the software-controlled system. Recent research has made it possible to find safe bounds on the worst-case execution time (WCET) of a program by statically analysing the machine-code program. A crucial step is the analysis of the program's computations on integer data. For instance, the program flow usua ...

A large class of embedded systems has safety, availability, reliability, timing and performance requirements. Timing analysis is needed in many steps of the development process; it is a key to rapid designing and prototyping of embedded systems, to reduce system overall cost through efficient resource management (especially: tradeoffs when co-developing hardware and software), to find bottlenecks ...