Timing fault detection for safety-critical real-time embedded systems

Authors:
Sébastien Faucou;Anne-Marie Dplanche;Yvon Trinquet
Affiliations:
Institut de Recherche en Communications et Cybernétique de Nantes, France;Institut de Recherche en Communications et Cybernétique de Nantes, France;Institut de Recherche en Communications et Cybernétique de Nantes, France
Venue:
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Year:
2002

Citing 4
Cited 0

Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
BASEMENT: a distributed real-time architecture for vehicle applications

Real-Time Systems - Special issue on the engineering of complex real-time computer control systems
Formalizing Software Architectures for Embedded Systems

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
A formal approach to software architecture

A formal approach to software architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

On the one hand, a major aspect of dependability for real-time embedded systems is the respect of timing requirements. On the other hand, the complexity of modern realtime embedded system implies the need for new design process focusing on high-level features, such as architecture-based design. In this paper, we show how to integrate a timing fault detection technique in such a design process. Our approach is based upon the CLARA ADL (Architecture Description Language). This language allows to describe applications which can be easily implemented thanks to a distributed middleware designed on top of the OSEK/VDX real-time kernel.