Departmental Papers (CIS)

Date of this Version

6-8-2009

Document Type

Conference Paper

Comments

14th International Conference on Reliable Software Technologies (Ada-Europe 2009), Brest, France, June 8-12, 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.

Subject Area

CPS Model-Based Design

Publication Source

Lecture Notes in Computer Science: Reliable Software Technologies - Ada-Europe 2009

Volume

5570

Start Page

222

Last Page

236

DOI

10.1007/978-3-642-01924-1_16

Copyright/Permission Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-01924-1_16

Share

COinS
 

Date Posted: 22 July 2009

This document has been peer reviewed.