Paper Info
Title
Synchronous Modeling and Validation of Priority Inheritance Schedulers
Abstract
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.
Year
DOI
Venue
2009
10.1007/978-3-642-00593-0_10
FASE
Keywords
DocType
Volume
synchronous modeling,synchronous specification,software component,applicative software,architecture description languages,priority inheritance schedulers,automated translation,architecture analysis,actual software,complex scheduling policy,executable synchronous model,aadl model,embedded system,system analysis,model checking,priority ceiling protocol,formal verification,scheduling,simulation,architecture description language,programming language,embedded systems
Conference
5503
ISSN
Citations 
PageRank 
0302-9743
4
0.45
References 
Authors
15
3
Name
Order
Citations
PageRank
Erwan Jahier112413.15
Nicolas Halbwachs23957426.43
Pascal Raymond356753.53