Timing Fault Detection for Safety-Critical Real-Time Embedded Systems

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 architecturebased 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.