Analysis of timing resources for highly predictable real-time systems models

The paper presents an approach to detailed timing analysis of the abstract models of real-time electronic embedded systems. The main emphasize has been done on obtaining highly repeatable and time predictable applications with strong timing requirements. The problem is presented and analyzed on high level abstract models implemented in SystemC - a modern tool for electronic embedded systems design. The authors have prepared a special kernel for functionality, communication and timing issues modeling. The problem has been analyzed on various examples of multitasks' scenarios composed of set of worst case Mälardalen benchmark programs (WCET). The optimal scheduling scenarios with flexible usage of available resources with respect to the timing constraints have been analyzed. The presented methodology proved to be a good tool for high level system models analysis.