首页> 中文会议>2011嵌入式技术开发论坛 >基于NuSMV的AADL行为模型验证的探究

基于NuSMV的AADL行为模型验证的探究

页面导航

摘要
著录项
相似文献
相关主题

摘要

鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景，为了在嵌入式软件系统开发前期保证AADL模型的质量，提出了一种基于模型测试的AADL架构和NuSMV模型的验证方法。文中首先对当前的AADL发展情况作简单介绍，然后对NuSMV验证模型的结构作大致分析，在随后的文章中对NuSMV的验证过程作详细的介绍。与此同时，使用具体的汽车巡航控制系统作为实例进行具体分析。文中通过测试用例执行输出进行验证来判断该方法的正确性。

著录项

来源
《2011嵌入式技术开发论坛》|2011年|110-113|共4页
会议地点北京
作者
刘博; 李蜀瑜;
展开▼
作者单位

中国计算机学会;

电子产品世界杂志社;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类 TP311.52;
关键词
软件系统; 嵌入式软件建模; AADL集成开发环境; 行为模型; NuSMV验证方法;

相似文献

中文文献
外文文献
专利

1. 基于NuSMV的AADL行为模型验证的探究 [J] . 刘博 ,李蜀瑜 . 计算机技术与发展 . 2012,第002期
2. 基于BIP的AADL行为模型验证方法 [J] . 李棠1 ,陈苗2 . 电子技术与软件工程 . 2016,第001期
3. 基于UPPAAL的AADL行为模型验证方法研究 [J] . 李振松 ,顾斌 . 计算机科学 . 2012,第002期
4. AADL行为模型时间一致性验证方法 [J] . 刘骁 ,谢红梅 . 计算机技术与发展 . 2017,第007期
5. 基于NuSMV的SysML模型形式化验证 [J] . 邓刘梦 ,葛晓瑜 ,宛伟健 . 计算机技术与发展 . 2019,第010期
6. AADL行为模型形式化分析方法的实例研究 [C] . 滕燕 ,赵永望 . 全国抗恶劣环境计算机第二十六届学术年会 . 2016
7. 基于UML-NuSMV的联锁软件形式化建模与验证 [A] . 刘征 . 2018

基于NuSMV的AADL行为模型验证的探究

摘要

著录项

相似文献

相关主题

期刊订阅