On the benchmarking of partitioned real-time systems

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) ...

RT-Bench: an Extensible Benchmark Framework for the Analysis and Management of Real-Time Applications

Benchmarking is crucial for testing and validating any system, even more...

Virtualization technology for distributed time sensitive domains

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

Please sign up or login with your details

Forgot password? Click here to reset