Date of this Version
Oleg Sokolsky, Insup Lee, and Duncan Clarke, "Process-Algebraic Interpretation of AADL Models", Lecture Notes in Computer Science: Reliable Software Technologies - Ada-Europe 2009 5570, 222-236. June 2009. http://dx.doi.org/10.1007/978-3-642-01924-1_16
We present a toolset for the behavioral verification and validation of architectural models of embedded systems expressed in the language AADL. The toolset provides simulation and timing analysis of AADL models. Underlying both tools is a process-algebraic implementation of AADL semantics. The common implementation of the semantics ensures consistency in the analysis results between the tools.
CPS Model-Based Design
Lecture Notes in Computer Science: Reliable Software Technologies - Ada-Europe 2009
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-01924-1_16
Date Posted: 22 July 2009
This document has been peer reviewed.