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

作     者：李揭阳 曹子宁 LI Jie-yang;CAO Zi-ning

作者机构：南京航空航天大学计算机科学与技术学院江苏南京211106 

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

出 版 物：《计算机与现代化》 (Computer and Modernization)

年 卷 期：2017年第5期

页      码：1-4,9页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1006-2475.2017.05.001

馆 藏 号：203232358...