OASIS: A chain of development for safety-critical embedded real-time systems - CentraleSupélec Access content directly
Conference Papers Year : 2004

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.
No file

Dates and versions

hal-00261314 , version 1 (06-03-2008)

Identifiers

  • HAL Id : hal-00261314 , version 1

Cite

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⟩
115 View
0 Download

Share

Gmail Facebook X LinkedIn More