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

Advertisement