Abstract-The FSM-SADF model of computation allows to find a tight bound on the throughput of firm real-time applications by capturing dynamic variations in scenarios. We explore an FSM-SADF programming model, and propose three different alternatives for scenario switching. The best candidate for our CompSOC platform was implemented, and experiments confirm that the tight throughput bound results in a reduced resource budget. This comes at the cost of a predictable overhead at runtime as well as increased communication and memory budgets. We show that design choices offer interesting trade-offs between run-time cost and resource budgets.

Abstract-The FSM-SADF model of computation is especially suitable for analysing real-time applications with inputdependent behaviour such as different modes, variable execution times and scalable parallelism. Although FSM-SADF specifies which scenario transitions are possible, it does not specify how and when they are decided at runtime. Multiple actors of a scenario, e.g. video stream header parsing, may have to fire before it is known which scenario the application is in. We solve this causality dilemma with a concept for executing a sequence of scenarios, and demonstrate an implementation on multiple processors with rolling static-order scheduling. We furthermore present a platform-aware analysis model that covers concept and implementation, and integrate the contributions in a toolflow. A proof-of-concept confirms the low overhead of the implementation and the exact timing analysis of our model.

Modern Network-on-Chip-based Multiprocessor Systems-on-Chip (NoC-based MPSoCs) bear the potential for higher performance, but may also allow the concentration of the same functionality on fewer devices in a complex system such as an aircraft. Albeit these advantages the avionics industry is still hesitant to adopt multi-core technology because software requirements such as predictability have to be met to guarantee safety and reliability. The impact that the application of multi-core processors has on these requirements is not yet fully understood. Therefore our research is driven by the software requirements in the avionics domain which are relevant for the application of multi-cores. We address the dynamic aspects of the system behaviour and investigate flexible partitions and online task migration as a methodology to improve resource utilization on a shared computing platform

No abstract

No abstract