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

• 作者: 曹子宁 李揭阳
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 结构分析与设计语言 并发 模型转换 进程代数
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 算法设计与分析
• 页码范围: 1-4,9
• 页数: 5页
• 分类号: TP311
• 字数: 4295字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2017.05.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹子宁	南京航空航天大学计算机科学与技术学院	25	200	8.0	13.0
2	李揭阳	南京航空航天大学计算机科学与技术学院	3	3	1.0	1.0