Formal Behavioral Modeling of Real-Time Operating Systems - ESEO-ERIS Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Formal Behavioral Modeling of Real-Time Operating Systems

Modélisation Comportementale et Formelle de Systèmes d'Exploitation Temps Réel

Résumé

Faced with the growing problems of complexity, heterogeneity and upgradability of Real-Time Embedded Systems (RTESs), model-based frameworks dedicated to the application deployments facilitate the design and the development of such systems. Within these frameworks, taking into account the Real-Time Operating Systems (RTOSs) has become essential. These frameworks include transformation tools able to generate a code that is portable to the specified RTOS. Moreover, certain tools can generate formal models that are used for the verification and validation of the RTESs. However, the RTOSs technological concepts are considered in an implicit way, which involves a lack of genericity of the transformations. Some works have focused on the explicit description of the RTOSs. Such a description offers the possibility to take into account a model entirely dedicated to a targeted RTOS as a parameter of the transformation. Nevertheless, this method does not allow to verify the expected properties on the application, since the RTOSs behavior is not observable. The methodology presented in this paper tends to explicitly consider the formal description of the RTOSs behavior during an application deployment. This approach aims both at making each transformation generic and at verifying the deployment correctness.
Fichier principal
Vignette du fichier
LELIONNAIS_MDDIS12_paper.pdf (655.21 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01093794 , version 1 (11-12-2014)

Identifiants

  • HAL Id : hal-01093794 , version 1

Citer

Cédrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier Henri Roux, Charlotte Seidner. Formal Behavioral Modeling of Real-Time Operating Systems. The 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), Jun 2012, Wroclaw, Poland. ⟨hal-01093794⟩
672 Consultations
144 Téléchargements

Partager

Gmail Facebook X LinkedIn More