一种基于并发的AADL建模方法  

An AADL Modeling Method Based on Concurrency

作　　者：李揭阳 曹子宁[1] 

机构地区：[1]南京航空航天大学计算机科学与技术学院,江苏南京211106

出　　处：《计算机与现代化》2017年第5期1-4,9,共5页Computer and Modernization

基　　金：国家重点基础研究发展计划项目(973计划)(2014CB744900);航空科学基金资助项目(20150652008)

摘　　要：结构分析与设计语言(Architecture Analysis and Design Language,AADL)是复杂嵌入式实时系统体系结构建模的语言标准,但是对于嵌入式实时系统中大量存在的并发和交互,AADL并没有给出形式化的描述。本文结合AADL在实时系统中大量的并发及约束方面描述的不足,通过分析AADL的建模元素和建模流程,对AADL的行为附件进行扩充,将约束和并发的概念引入AADL,并给出形式化语义描述,丰富了AADL的建模元素,然后根据AADL和进程代数的建模特点,将经过扩充的AADL模型形式化转换为进程代数模型,为后续形式化的模型验证,开发大规模复杂、安全可靠的实时系统打下基础。Architecture Analysis and Design Language （AADL） is the standard language of architecture modeling for the complex embedded real-time system, but AADL didn＇ t give the formal description for the concurrency and interaction part in the embed- ded real-time systems. Aiming at the concurrency and constraints in the real-time system, combined with disadvantage of AADL in this aspect, this paper expands the AADL behavior annex with the concepts of constraint and concurrency into AADL, and the formal semantic description is given, enriching the AADL modeling elements. Then based on the properties of the AADL and process algebra, this paper formally transforms the expended AADL model into the process algebra model, which provides the foundation for the formal model verification and the development of large-scale complex and reliable real-time system.

关 键 词：结构分析与设计语言 并发 模型转换 进程代数 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]