Sébastien Faucou

Learn More
This paper introduces an OSEK/VDX 1 Operating System implementation. OSEK/VDX is an industry standard for real-time operating system used in the field of automotive embedded software. This implementation is proposed in the context of the open source software, which interest needs not to be demonstrated any more. The paper explains the main implementation(More)
— AUTOSAR (AUTOmotive Open System ARchitecture) consortium is a development partnership between the main actors of the automotive manufacturing industry. It aims at defining an open standardized software architecture, in order to face the future challenges in automotive development. One of the important challenge concerns the development of time-critical(More)
A study of the AADL mode change protocol 1/17 Analysis of the AADL mode change protocol From AADL to TPN TPN analysis Conclusion Modes in AADL An AADL system can operate in different modes = D. Bertand et al A study of the AADL mode change protocol 2/17 Analysis of the AADL mode change protocol From AADL to TPN TPN analysis Conclusion Modes in AADL An AADL(More)
Timed game automata are used for solving control problems on real-time systems. A timed reachability game consists in finding a strategy for the controller for the system, modeled as a timed automaton. Such a controller says when and which of some "controllable" actions should be taken in order to reach "goal" states. We deal with a parametric version of(More)
This paper presents the REACT project, dedicated to real-time system design. REACT aims at combining into an architectural design process some formal modelling and verification techniques and providing those corresponding tools. It emphasizes on the ADL of REACT (CLARA), and the validation of functional architectures using formal techniques. 1. Introduction(More)
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(More)