In cyber-physical systems (CPS), the communication among the sensing, actuating, and
computing elements is often subject to hard real-time constraints. Real-time communication …

The aim of this paper is to show, how a multitasking application running under a real-time
operating system compliant with an OSEK/VDX standard can be modeled by timed …

The number of embedded computers used in modern cars have increased dramatically
during the last years, as they provide increased functionality to a reduced cost compared to …

This paper introduces a novel model-driven methodology for the software development of
real-time distributed vehicular embedded systems on single-and multi-core platforms. The …

Mixed-criticality and high availability distributed systems, like those on large industrial
deployments, strongly rely on deterministic communication in order to guarantee the …

Predicting timing behavior is key to reliable real-time system design and verification, but
becomes increasingly difficult for current multiprocessor systems on chip. The integration of …

Memory-centric scheduling attempts to guarantee temporal predictability on commercial-off-
the-shelf (COTS) multiprocessor systems to exploit their high performance for real-time …

Time-critical computing systems are enablers for various important application domains, like
avionics, automotive, spacecraft, IoT etc. All these applications will be benefited immensely …

Abstract Controller Area Network (CAN) is a well designed communications bus for sending
and receiving short real-time control messages at speeds of up to 1Mbit/sec. One of the …

We propose a novel model-and component-based technique to support communications-
oriented development of software for vehicular distributed real-time embedded systems. The …