An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks
W Steiner - 2010 31st IEEE Real-Time Systems Symposium, 2010 - ieeexplore.ieee.org
Networks for real-time systems have stringent end-to-end latency and jitter requirements.
One cost-efficient way to meet these requirements is the time-triggered communication …
One cost-efficient way to meet these requirements is the time-triggered communication …
Optimizing message routing and scheduling in automotive mixed-criticality time-triggered networks
Upcoming high-bandwidth protocols like Ethernet TSN feature mechanisms for redundant
and deterministic (scheduled) message delivery to integrate safety-and real-time--critical …
and deterministic (scheduled) message delivery to integrate safety-and real-time--critical …
Multi-task implementation of multi-periodic synchronous programs
This article presents a complete scheme for the integration and the development of multi-
periodic critical embedded systems. A system is formally specified as a modular and …
periodic critical embedded systems. A system is formally specified as a modular and …
Deterministic execution model on cots hardware
LNCS 7179 - Deterministic Execution Model on COTS Hardware Page 1 Deterministic
Execution Model on COTS Hardware Frédéric Boniol1, Hugues Cassé1, Eric Noulard1, and …
Execution Model on COTS Hardware Frédéric Boniol1, Hugues Cassé1, Eric Noulard1, and …
Off-line mapping of multi-rate dependent task sets to many-core platforms
This paper presents an approach to execute safety-critical applications on multi-and many-
core processors in a predictable manner. We investigate three concrete platforms: the Intel …
core processors in a predictable manner. We investigate three concrete platforms: the Intel …
Minimizing a real-time task set through task clustering
In the industry, real-time systems are specified as a set of hundreds of functionalities with
timing constraints. Implementing those functionalities as threads in a one-to-one relation is …
timing constraints. Implementing those functionalities as threads in a one-to-one relation is …
Architecture exploration of real-time systems based on multi-objective optimization
This article deals with real-time embedded system design and verification. Real-time
embedded systems are frequently designed according to multi-tasking architectures that …
embedded systems are frequently designed according to multi-tasking architectures that …
Measuring the reliability and survivability of infrastructure-oriented wireless networks
The focus of research in wireless networking has been on increasing the capacity and users,
reducing call blocking, improving mobility management techniques and optimizing …
reducing call blocking, improving mobility management techniques and optimizing …
A heuristic to minimize the cardinality of a real-time task set by automated task clustering
We propose in this paper a method to automatically map functionalities (blocks of code
corresponding to high-level features) with real-time constraints to tasks (or threads). We aim …
corresponding to high-level features) with real-time constraints to tasks (or threads). We aim …
A synchronous language with partial delay specification for real-time systems programming
High-level formal programming languages require system designers to provide a very
precise description of the system during early development phases, which may in some …
precise description of the system during early development phases, which may in some …