A Generic Formal Model for RTOS: Synchronous Approach for Rapid Virtual Prototyping

Abdoulaye Gamatié 1
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : Real-time operating systems (RTOS) play a central role in the correct and efficient management of computing resources for applications with stringent real-time constraints. As a consequence, addressing them in an adequate way during the development of real-time systems is highly important. This paper proposes a high-level approach to the design of such systems. The rationale of this approach consists in using the synchronous approach to define a general modeling framework making possible RTOS-based design according to three major standards: APEX, Posix and OSEK, respectively dedicated to avionic, general-purpose and automotive applications. The suggested solution specifies generic models of RTOS services and executive entities, covering the standards. The main advantage of these models is that they favor a rapid virtual prototyping of real-time systems, with access to formal validation techniques.
Type de document :
Communication dans un congrès
10th African Conference on Research in Computer Science and Applied Mathematics (CARI'2010), Oct 2010, Yamoussoukro, Côte d’Ivoire. 2010
Liste complète des métadonnées

https://hal.inria.fr/inria-00522793
Contributeur : Mister Dart <>
Soumis le : vendredi 1 octobre 2010 - 17:43:38
Dernière modification le : jeudi 11 janvier 2018 - 01:49:31

Identifiants

  • HAL Id : inria-00522793, version 1

Collections

Citation

Abdoulaye Gamatié. A Generic Formal Model for RTOS: Synchronous Approach for Rapid Virtual Prototyping. 10th African Conference on Research in Computer Science and Applied Mathematics (CARI'2010), Oct 2010, Yamoussoukro, Côte d’Ivoire. 2010. 〈inria-00522793〉

Partager

Métriques

Consultations de la notice

146