IEEE - Institute of Electrical and Electronics Engineers, Inc. - From AADL Architectural Models to Petri Nets: Checking Model Viability
2009 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2009)
Author(s): | X. Renault ; F. Kordon ; J. Hugues |
Publisher: | IEEE - Institute of Electrical and Electronics Engineers, Inc. |
Publication Date: | 1 March 2009 |
Conference Location: | Tokyo, Japan |
Conference Date: | 17 March 2009 |
Page(s): | 313 - 320 |
ISBN (Paper): | 978-0-7695-3573-9 |
ISSN (Electronic): | 2375-5261 |
ISSN (Paper): | 1555-0885 |
DOI: | 10.1109/ISORC.2009.11 |
Regular:
Modeling of distributed real-time embedded (DRE) systems allows one to evaluate models behavior or schedulability. However, assessing that a DRE system's behavior is correct in the causal domain... View More