Research on Verification Method of AADL Behavior Model Based on BIP

Author

Liu Wei ; Liu Shuyu

Author_Institution

Dept. of Comput. Sci., Shaanxi Normal Univ., Xi´an, China

fYear

2013

fDate

21-23 June 2013

Firstpage

1987

Lastpage

1990

Abstract

To analyze and validate AADL (architecture analysis and design language) behavior model, a mapping regulation between AADL behavior model and BIP model was proposed based on the syntax definition of AADL behavior annex and the descriptive way of behavior. After the transformation we can use the BIP tools to check and validate BIP behavior model. Finally an AADL model of real-time critical system was translated into BIP model for example, and we used BIP tool to simulate and verify its behavior. The experiment demonstrates the validity of the model transformation.

Keywords

program verification; programming languages; simulation languages; software architecture; AADL behavior model verification method; AADL model; BIP behavior model validation; BIP tools; architecture analysis and design language behavior model analysis; mapping regulation; model transformation; real-time critical system; syntax definition; Analytical models; Computational modeling; Computer architecture; Connectors; Ports (Computers); Real-time systems; Synchronization; BIP; architecture analysis and design language; behavior model; model transformation; verification;

fLanguage

English

Publisher

ieee

Conference_Titel

Computational and Information Sciences (ICCIS), 2013 Fifth International Conference on

Conference_Location

Shiyang

Type

conf

DOI

10.1109/ICCIS.2013.519

Filename

6643438