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

摘要：

结构分析与设计语言(Architecture Analysis and Design Language, AADL)是复杂嵌入式实时系统体系结构建模的语言标准,但是对于嵌入式实时系统中大量存在的并发和交互,AADL并没有给出形式化的描述.本文结合AADL在实时系统中大量的并发及约束方面描述的不足,通过分析AADL的建模元素和建模流程,对AADL的行为附件进行扩充,将约束和并发的概念引入AADL,并给出形式化语义描述,丰富了AADL的建模元素,然后根据AADL和进程代数的建模特点,将经过扩充的AADL模型形式化转换为进程代数模型,为后续形式化的模型验证,开发大规模复杂、安全可靠的实时系统打下基础.

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

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2017-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1-4,9