Multicore PC-class embedded systems present an opportunity to consolidate separate
microcontrollers as software-defined functions. For instance, an automotive system with …

The major drawback of using static schedules to execute dataflow applications is their high
inflexibility. In real-time systems, periodic schedules make it easier to assert safety …

Cyber-Physical Systems (CPS) such as industrial control systems, automobiles, and medical
devices often consist of applications with real-time properties. Due to the safety-critical …

This paper describes work done using formal methods to verify parts of the RTEMS real-time
operating system, as part of an activity sponsored by the European Space Agency to qualify …

Several cyber-physical systems use real-time restart-based embedded systems with the
Simplex architecture to provide safety guarantees against system faults. Some approaches …

Real-Time Executive for Multiprocessor Systems (RTEMS) is a real-time operating system
used by the Experimental Physics and Industrial Control System (EPICS) open-source …

Arbitrary processor affinities are used in multiprocessor systems to specify the processors on
which a task can be scheduled. However, affinity constraints can prevent some high priority …

Arbitrary processor affinities are used in multiprocessor systems to specify the processors on
which a task can be scheduled. However, affinity constraints can prevent some high priority …

Diese Arbeit befasst sich mit der Erweiterung einer Betriebssystem-Abstraktion des
Echtzeitbetriebssystems RTEMS in der Softwareplattform OUTPOST um die Unterstützung …