Process-Algebraic Interpretation of AADL Models
Loading...
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Model-Based Design
Software Engineering
Systems Architecture
Software Engineering
Systems Architecture
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Contributor
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.
Advisor
Date of presentation
2009-06-08
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T03:02:21.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Comments
14th International Conference on Reliable Software Technologies (Ada-Europe 2009), Brest, France, June 8-12, 2009 .