基于AADL的软件可靠性验证

• 作者: 王乐 耶国栋 谯婷婷
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 软件可靠性 结构分析与设计语言 安全等级 流延迟
• 年，卷（期）: 2012,（z2）
• 所属期刊栏目: 计算机软件技术
• 页码范围: 92-95,139
• 页数: 5页
• 分类号: TP311.5
• 字数: 4112字
• 语种: 中文

摘要

针对软件可靠性面临的安全等级和流延迟两类问题,提出了一种基于结构分析与设计语言(AADL)的软件可靠性验证方法.首先建立两类问题的需求模型,并将需求模型转化为设计模型；其次是调用分析插件对设计模型进行分析,查找模型中存在的问题；最后根据存在的问题对设计模型进行修改和完善.仿真结果表明,所提出的方法有效验证了安全等级和流延迟两类问题,为AADL在航电系统软件验证方面的应用奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王乐	西安电子科技大学通信工程学院	21	57	4.0	6.0
2	谯婷婷		2	19	2.0	2.0
3	耶国栋		1	12	1.0	1.0