Skip to Main content Skip to Navigation
Conference papers

OASIS: A chain of development for safety-critical embedded real-time systems

Abstract : In the domain of embedded systems, the design and the realization of performant and safety-critical real-time systems still constitute today a true scientific, technical and economical challenge [STANKOVIC88]. The difficulty is to realize, not only critical real-time systems that include more complex functions, but also to have an easier development, including verification and validation. The new solutions must be as safe as those already existing and be in accordance with the enforced standards ofthe concerned industrial domain, such as DO-178A and ARINC-653 in aerospace or CEI-880 and RFS in nuclear domain. The realization of safety-critical embedded systems with lower costs has resulted into the implementation and integration of several activities on one processor, in order to decrease the hardware costs. These systems run today correctly, but they are still expensive, difficult to maintain and do not guarantee determinism [STANKOVIC90] at the system level, therefore are inapplicable for industry. This paper begins with a presentation of the OASIS approach to mono processor architectures and presents the current research works on the distributed ones.
Document type :
Conference papers
Complete list of metadata
Contributor : Evelyne Faivre Connect in order to contact the contributor
Submitted on : Thursday, March 6, 2008 - 3:50:59 PM
Last modification on : Friday, June 25, 2021 - 9:48:03 AM


  • HAL Id : hal-00261314, version 1



Damien Chabrol, Guy Vidal-Naquet, Vincent David, Christophe Aussagues, Stéphane Louise. OASIS: A chain of development for safety-critical embedded real-time systems. 2nd European Congress Embedded Real Time Software. (ERTS 2004), Jan 2004, Toulouse, France. CD-ROM Proceedings - 10 p. ⟨hal-00261314⟩



Les métriques sont temporairement indisponibles