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 metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00261314
Contributor : Evelyne Faivre <>
Submitted on : Thursday, March 6, 2008 - 3:50:59 PM
Last modification on : Wednesday, July 10, 2019 - 2:57:46 PM

Identifiers

  • HAL Id : hal-00261314, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

179