Abstract
AADL is an Architecture Description Language based on the MetaH language which describes an embedded system, as a collection of interacting components. This paper discusses the use of CSP for the specification of architectural models expressed in the modeling language AADL. This allows simulation of systems specified in AADL and application to these systems of formal verification techniques developed for CSP, e.g. deadlock detection. A prototype of behavior specification is proposed through the transformation semantics of flow and port connection. And finally, a case study is given to validate the feasibility.
| Original language | English |
|---|---|
| Title of host publication | 2010 2nd International Conference on Industrial and Information Systems, IIS 2010 |
| Pages | 110-113 |
| Number of pages | 4 |
| DOIs | |
| State | Published - 2010 |
| Event | 2010 2nd International Conference on Industrial and Information Systems, IIS 2010 - Dalian, China Duration: 10 Jul 2010 → 11 Jul 2010 |
Publication series
| Name | 2010 2nd International Conference on Industrial and Information Systems, IIS 2010 |
|---|---|
| Volume | 2 |
Conference
| Conference | 2010 2nd International Conference on Industrial and Information Systems, IIS 2010 |
|---|---|
| Country/Territory | China |
| City | Dalian |
| Period | 10/07/10 → 11/07/10 |
Keywords
- AADL
- Architecture
- Behavior
- CSP
- Component