Abstract This chapter is concerned with timing verification of future avionics software. We critically review a recent CAST position paper, identified as CAST-32A, about certification issues connected to the use of multi-core architectures and show that it leaves several issues unresolved. It introduces robust partitioning as a requirement for the feasibility of timing verification, but fails to precisely define it. We give a precise notion of robust partitioning that guarantees temporal isolation and, therefore, allows for separate timing analysis of tasks running on individual cores. Sometimes, complete temporal isolation is impossible to achieve or will lead to very poor resource allocation. In an ideal setting, one could analyze the timing behavior of a set of applications executed on several cores in a compositional way. We discuss the requirements for a correct analysis of the interference on the shared resources of multi-core processors. Finally, we show how to configure an existing multi-core architecture to enable compositional timing analysis.
Keeping up with Real Time
Advances in Aeronautical Informatics ; 121-133
2018-01-01
13 pages
Aufsatz/Kapitel (Buch)
Elektronische Ressource
Englisch
UAV Training: Keeping it Real?
British Library Conference Proceedings | 2006
|Application of Real-Time Simulation to the Lane-Keeping System
British Library Conference Proceedings | 1994
|Self-heating warm-keeping diving suit with real-time health monitoring system
Europäisches Patentamt | 2022
|