Departmental Papers (CIS)

Document Type

Conference Paper

Date of this Version

6-8-2009

Comments

14th International Conference on Reliable Software Technologies (Ada-Europe 2009) Brest, France June 8-12, 2009 LNCS 5570, pp. 222-236

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.