DeepAI AI Chat
Log In Sign Up

On the benchmarking of partitioned real-time systems

by   Felipe Gohring de Magalhaes, et al.
Corporation de l'ecole Polytechnique de Montreal

Avionic software is the subject of critical real time, determinism and safety constraints. Software designers face several challenges, one of them being the estimation of worst-case execution time (WCET) of applications, that dictates the execution time of the system. A pessimistic WCET estimation can lead to low execution performances of the system, while an over-optimistic estimation can lead to deadline misses, breaking one the basic constraints of critical real-time systems (RTS). Partitioned systems are one special category of real time systems, employed by the avionic community to deploy avionic software. The ARINC-653 standard is one common avionic standard that employs the concept of partitions. This standard defines partitioned architectures where one partition should never directly interfere with another one. Assessing WCET of general purpose RTSs is achievable by the usage of one of the many published benchmark or WCET estimation frameworks. Contrarily, partitioned RTSs are special cases, in which common benchmark tools may not capture all the metrics. In this document, we present SFPBench, a generic benchmark framework for the assessment of performance metrics on partitioned RTSs. The general organization of the framework and its applications are illustrated, as well as an use-case, employing SFPBench on an industrial partitioned operating system (OS) executing on a Commercial Off-The-shelf (COTS) processor.


page 3

page 4

page 5

page 6

page 7

page 9


Ærø: A Platform Architecture for Mixed-Criticality Airborne Systems

Real-time embedded platforms with resource constraints can take the bene...

Partitioned scheduling of multimode multiprocessor real-time systems with temporal isolation

We consider the partitioned scheduling problem of multimode real-time sy...

Execution Time Program Verification With Tight Bounds

This paper presents a proof system for reasoning about execution time bo...

Modular Software for Real-Time Quantum Control Systems

Real-time control software and hardware is essential for operating quant...

Common Metrics to Benchmark Human-Machine Teams (HMT): A Review

A significant amount of work is invested in human-machine teaming (HMT) ...

Symplectic GARK methods for Hamiltonian systems

Generalized Additive Runge-Kutta schemes have shown to be a suitable too...

Virtualization technology for distributed time sensitive domains

This paper reports on the state of the art of virtualization technology ...

Code Repositories


Set of ARINC-653 applications for assessing system performance.

view repo