Synchronous Modeling and Validation of Priority Inheritance Schedulers - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Synchronous Modeling and Validation of Priority Inheritance Schedulers

Erwan Jahier
Nicolas Halbwachs
  • Fonction : Auteur
  • PersonId : 844681
Pascal Raymond


Architecture Description Languages (ADLs) allow embedded systems to be described as assemblies of hardware and software components. It is attractive to use such a global modelling as a basis for early system analysis. However, in such descriptions, the applicative software is often abstracted away, and is supposed to be developed in some host programming language. This forbids to take the applicative software into account in such early validation. To overcome this limitation, a solution consists in translating the ADL description into an executable model, which can be simulated and validated together with the software. In a previous paper [1], we proposed such a translation of Aadl (Architecture Analysis & Design Language) specifications into an executable synchronous model. The present paper is a continuation of this work, and deals with expressing the behavior of complex scheduling policies managing shared resources. We provide a synchronous specification for two shared resource scheduling protocols: the well-known basic priority inheritance protocol (BIP), and the priority ceiling protocol (PCP). This results in an automated translation of Aadl models into a purely Boolean synchronous (Lustre) scheduler, that can be directly model-checked, possibly with the actual software.
Fichier principal
Vignette du fichier
jahier_fase09.pdf (199.24 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00384389 , version 1 (15-05-2009)


  • HAL Id : hal-00384389 , version 1


Erwan Jahier, Nicolas Halbwachs, Pascal Raymond. Synchronous Modeling and Validation of Priority Inheritance Schedulers. Fundamental Approaches to Software Engineering, Mar 2009, York, United Kingdom. pp.140-154. ⟨hal-00384389⟩
321 Consultations
133 Téléchargements


Gmail Facebook Twitter LinkedIn More