@inproceedings{d20d3dcbbbda46e899165f217cf0350c,
title = "Formal behavior specification for AADL",
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.",
keywords = "AADL, Architecture, Behavior, CSP, Component",
author = "Changde Li and Xingshe Zhou and Yunwei Dong",
year = "2010",
doi = "10.1109/INDUSIS.2010.5565667",
language = "英语",
isbn = "9781424482177",
series = "2010 2nd International Conference on Industrial and Information Systems, IIS 2010",
pages = "110--113",
booktitle = "2010 2nd International Conference on Industrial and Information Systems, IIS 2010",
note = "2010 2nd International Conference on Industrial and Information Systems, IIS 2010 ; Conference date: 10-07-2010 Through 11-07-2010",
}