IEEE - Institute of Electrical and Electronics Engineers, Inc. - Schedulability analysis of AADL models

Proceedings. 20th International Parallel and Distributed Processing Symposium

Author(s): O. Sokolsky ; I. Lee ; D. Clarke
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Rhodes Island, Greece
Conference Date: 25 April 2006
ISBN (Paper): 1-4244-0054-6
DOI: 10.1109/IPDPS.2006.1639421
Regular:

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.... View More

Advertisement