Title :
Schedulability analysis of AADL models
Author :
Sokolsky, Oleg ; Lee, Insup ; Clarke, Duncan
Author_Institution :
Dept. of Comput. & Info. Sci., Pennsylvania Univ., Philadelphia, PA
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;
Conference_Titel :
Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International
Conference_Location :
Rhodes Island
Print_ISBN :
1-4244-0054-6
DOI :
10.1109/IPDPS.2006.1639421
