Departmental Papers (CIS)
Document Type
Conference Paper
Date of this Version
6-8-2009
Abstract
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.
Date Posted: 22 July 2009
This document has been peer reviewed.
Comments
14th International Conference on Reliable Software Technologies (Ada-Europe 2009) Brest, France June 8-12, 2009 LNCS 5570, pp. 222-236