The benefits of adopting emerging multicore processors include reductions in space, weight,
power, and cooling, while increasing CPU bandwidth per processor. However, the existing …

We investigate an approach to implement the open system environment idea by means of
temporal resource partitions. In this approach, application task groups with hard timing …

As multicore processors find increasing adoption in domains such as aerospace and
medical devices where failures have the potential to be catastrophic, strong performance …

Software Engineering for Safety: A Roadmap Robyn Lutz Page 1 Software Engineering for
Safety: A Roadmap Robyn Lutz Key Research Pointers Provide readier access to formal …

We describe formal verification of some of the key algorithms in the Time-Triggered
Architecture (TTA) for real-time safety-critical control applications. Some of these algorithms …

High assurance systems used in avionics, medical implants, and cryptographic devices
often rely on a small trusted base of hardware and software to manage the rest of the …

In this paper we are interested in safety-critical distributed systems, composed of
heterogeneous processing elements interconnected using the TTEthernet protocol. We …

Roman Obermaisser is a full professor for embedded systems at the Department of Electrical
Engineering and Computer Science of the University of Siegen in Germany. He studied …

During the past few years there has been an dramatic upsurge in research and
development, implementations of new technologies, and deployments of actual solutions …

In this article, we are interested in implementing mixed-criticality real-time embedded
applications on a given heterogeneous distributed architecture. Applications have different …