AADL模型的形式化研究

• 作者: 刘玮 李蜀瑜
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 模型驱动 结构化分析和设计语言 形式化研究 开发平台
• 年，卷（期）: 2013,（9）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 43-45,50
• 页数: 4页
• 分类号: TP31
• 字数: 3636字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2013.09.011

摘要

在嵌入式系统建模领域,AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点,国内外众多学者展开了热烈的讨论。为了帮助系统开发人员深入了解AADL,指导软件开发进程,提高基于AADL模型的软件开发效率,分别从AADL模型可靠性分析、可调度性分析以及AADL模型测试这三个不同角度综述了已经出现的各种AADL形式化验证理论,对比分析了它们的优点和不足。简要介绍有关AADL验证工具,研究基于AADL模型的嵌入式开发平台的构建。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘玮	陕西师范大学计算机学院	18	179	6.0	13.0
2	李蜀瑜	陕西师范大学计算机学院	57	229	7.0	11.0