DocumentCode
2045519
Title
Schedulability analysis of AADL models
Author
Sokolsky, Oleg ; Lee, Insup ; Clarke, Duncan
Author_Institution
Dept. of Comput. & Info. Sci., Pennsylvania Univ., Philadelphia, PA
fYear
2006
fDate
25-29 April 2006
Abstract
The paper discusses the use of formal methods for the analysis of architectural models expressed in the modeling language AADL. AADL describes the system as a collection of interacting components. The AADL standard prescribes semantics for the thread components and rules of interaction between threads and other components in the system. We present a semantics-preserving translation of AADL models into the real-time process algebra ACSR, allowing us to perform schedulability analysis of AADL models
Keywords
process algebra; scheduling; specification languages; AADL models; architectural models; formal method; modeling language; real-time process algebra; schedulability analysis; semantics-preserving translation; thread components; Algebra; Application software; Embedded system; Libraries; Performance analysis; Processor scheduling; Standards publication; Timing; Unified modeling language; Yarn;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International
Conference_Location
Rhodes Island
Print_ISBN
1-4244-0054-6
Type
conf
DOI
10.1109/IPDPS.2006.1639421
Filename
1639421
Link To Document