DocumentCode :
2252665
Title :
Formal Semantics of AADL Models with Machine-Readable CSP
Author :
Yang, Chunxin ; Dong, Yunwei ; Zhang, Fan ; Ahmad, Ehsan ; Bin Gu
Author_Institution :
Sch. of Comput. Sci. & Eng., Northwestern Polytech. Univ., Xi´´an, China
fYear :
2012
fDate :
May 30 2012-June 1 2012
Firstpage :
565
Lastpage :
571
Abstract :
AADL (Architecture Analysis Design Language) is a standardized and hierarchical modeling language which contributes to designing and analyzing architectures of both software and hardware of Embedded Real-Time Systems. However, the problems of AADL models are unenforceability and the absence of formal semantics, which limit formal analysis of attributes in AADL models. This paper proposes an approach to build formal semantics to AADL´s software component models. We use Machine-Readable CSP as the formal language. Comparing with behaviors and relationships of processes in Machine-Readable CSP, we analyze features and interactions of various kinds of AADL software component. Some descriptive rules are made for certain applications of AADL software component. A case study illustrated by MBS (Multiple Buffering System) will be given to validate the feasibility. Properties of MBS such as deadlock, live lock, failure divergence relationship between specification and implementation are checked by the tool FDR.
Keywords :
formal languages; formal specification; process algebra; programming language semantics; software architecture; software fault tolerance; AADL software component models; MBS; architecture analysis design language; communicating sequential processes; deadlock; embedded real-time systems; failure divergence relationship; formal language; formal semantics; hardware architecture; hierarchical modeling language; live lock; machine-readable CSP; multiple buffering system; software architecture; Analytical models; Computer architecture; Instruction sets; Message systems; Real time systems; Semantics; AADL; CSP; descriptive rules; formal semantics;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer and Information Science (ICIS), 2012 IEEE/ACIS 11th International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4673-1536-4
Type :
conf
DOI :
10.1109/ICIS.2012.51
Filename :
6211154
Link To Document :
بازگشت