Referenced Items are not available for this document.
AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This paper proposes a formal semantics for the AADL behavior annex using Timed Abstract State Machine (TASM). Firstly, the semantics of AADL default execution model is given, and then we formally define some aspects semantics of behavior annex. A prototype of real-time behavior modeling and verification is proposed, and finally, a case study will be given to validate the feasibility.
Published in:
Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE '09.
Date of Conference: 20-24 April 2009
- Page(s):
- 1166 - 1171
- ISSN :
- 1530-1591
- Print ISBN:
- 978-1-4244-3781-8
- INSPEC Accession Number:
- 10730319
- Conference Location :
- Nice
- Digital Object Identifier :
- 10.1109/DATE.2009.5090839
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
