基于模型检查的嵌入式软件构件化分析与验证

发布时间：2017-11-10 11:25

  本文关键词：基于模型检查的嵌入式软件构件化分析与验证

  更多相关文章： 模型检查 嵌入式软件 构件化 SMV

【摘要】：对嵌入式软件构件化进行准确分析与验证,能够为嵌入式系统安全、稳定的运行提供保障。提出一种基于模型检查的嵌入式软件构件化分析与验证方法。设计一种用于检查软件构件的模型,为嵌入式软件构件化分析与验证提供理论基础;将嵌入式软件系统模型用SMV语言的形式表达,利用SMV模型检查工具实现对嵌入式软件运行状态的分析与检验。实验结果表明,该模型能够对嵌入式软件构件化的非功能性方面的设计要求进行准确分析与验证,为嵌入式系统安全稳定的运行提供了保障。
【作者单位】： 成都医学院人文信息管理学院;
【基金】：四川省教育厅项目(14ZB0241)
【分类号】：TP311.52
【正文快照】： 嵌入式系统各种功能的实现都离不开软件[1],软件具有极其重要的意义[2],它是影响嵌入式系统稳定运行的关键因素,一旦关键部位中嵌入式系统的软件失效[3],轻则造成财产损失,重则使生命受到威胁[4]。与PC机中的软件相比,嵌入式系统中的软件既要满足其功能性设计要求[5],又要满足

【参考文献】

中国期刊全文数据库 前9条

1 胡宁;叶宏;;嵌入式操作系统的形式化验证方法[J];航空计算技术;2015年02期

2 黄传林;黄志球;胡军;徐丙凤;曲长亮;;基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究[J];小型微型计算机系统;2015年03期

3 符宁;杜承烈;李建良;刘志强;彭寒;;AADL分级调度模型的分析与验证[J];计算机研究与发展;2015年01期

4 王锋;张弛;;构件化嵌入式软件设计模型验证工具的研究[J];通讯世界;2014年21期

5 黄菲;;嵌入式实时软件的构件化开发技术探究[J];信息技术与信息化;2014年10期

6 谢开斌;陈海明;崔莉;;物联网软件体系结构中的感执模型的求精[J];软件学报;2014年08期

7 赵竞雄;;嵌入式系统威胁与风险评估过程仿真分析[J];计算机仿真;2014年04期

8 王博;白晓颖;贺飞;Xiaoyu SONG;;可组合嵌入式软件建模与验证技术研究综述[J];软件学报;2014年02期

9 白海洋;李静;赵娜;;基于时间自动机的嵌入式软件模型可调度性验证[J];计算机工程与科学;2013年03期

【共引文献】

中国期刊全文数据库 前10条

1 聂捷楠;;基于模型检查的嵌入式软件构件化分析与验证[J];现代电子技术;2016年24期

2 陆陈;黄志球;阚双龙;曹德建;黄传林;;基于八边形抽象域的襟缝翼控制系统安全性分析[J];小型微型计算机系统;2016年05期

3 邓雪峰;孙瑞志;聂娟;王文狄;史银雪;;基于时间自动机的温室环境监控物联网系统建模[J];农业机械学报;2016年07期

4 李琪;;嵌入式软件开放式开发技术分析[J];智能城市;2016年03期

5 李爱萍;马俊伟;段利国;;智能家居平台构件适应与协同模型及形式化分析[J];太原理工大学学报;2016年02期

6 陈宏君;王国栋;;组件系统接口匹配识别方案和应用[J];计算机技术与发展;2016年02期

7 李静;沈宁敏;白海洋;周培云;;基于时间自动机的嵌入式系统AADL模型可调度性验证[J];东南大学学报(自然科学版);2015年06期

8 沈亮;;嵌入式软件的测试方法与技术[J];数字技术与应用;2015年11期

9 师丽斌;李蜀瑜;;基于ARINC 653标准的嵌入式构件元模型研究[J];电子设计工程;2015年21期

10 李越;;计算机嵌入式软件构件提取与组装技术[J];中国新通信;2015年19期

【二级参考文献】

中国期刊全文数据库 前10条

1 谢开斌;陈海明;崔莉;;PMDA:一种物理模型驱动的物联网软件体系结构[J];计算机研究与发展;2013年06期

2 姬莉霞;马建红;;基于时间自动机的UML模型转换与验证研究[J];郑州大学学报(理学版);2013年01期

3 陈海明;崔莉;谢开斌;;物联网体系结构与实现方法的比较研究[J];计算机学报;2013年01期

4 周宇;Luciano Baresi;Matteo Rossi;;Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata[J];Journal of Computer Science & Technology;2013年01期

5 吉鸣;黄志球;祝义;王珊珊;沈国华;;基于MDA的实时软件资源建模与模型转换的方法[J];计算机科学;2011年08期

6 刘亚萍;黄志球;祝义;;基于元建模的实时系统模型转换方法研究[J];小型微型计算机系统;2010年11期

7 杨志斌;皮磊;胡凯;顾宗华;马殿富;;复杂嵌入式实时系统体系结构设计与分析语言:AADL[J];软件学报;2010年05期

8 向凯全;李雄伟;王红胜;张阳;;可重用构件的软件开发技术研究[J];河北科技大学学报;2010年01期

9 刘倩;桂盛霖;李允;罗蕾;;基于UPPAAL的AADL模型可调度性验证[J];计算机应用;2009年07期

10 张天;Frédéric JOUAULT;Christian ATTIOGB;Jean BZIVIN;李宣东;;基于MDE的异构模型转换:从MARTE模型到FIACRE模型[J];软件学报;2009年02期

【相似文献】

中国期刊全文数据库 前10条

1 叶雨新;“嵌入式”与我们的机遇──发展嵌入式软件的几点思考[J];软件世界;2001年03期

2 李岩;嵌入式软件技术的现状与发展动向[J];辽宁高职学报;2002年03期

3 钟锡昌;嵌入式软件面临良好发展机遇[J];科技广场;2003年06期

4 苏珊 ,依然;好产品是卖出来的——“道系统”自主知识产权的嵌入式软件产品[J];电子设计应用;2003年Z1期

5 王继春;嵌入式软件及其应用领域与发展趋势[J];信息技术与信息化;2004年04期

6 方天选;浅谈嵌入式软件[J];山西电子技术;2004年05期

7 吴朝晖;;嵌入式软件发展的十个观点[J];计算机教育;2005年05期

8 彭敏;嵌入式软件:人才仍是关键[J];软件世界;2005年11期

9 吴朝晖;嵌入式软件发展趋势[J];电子产品世界;2005年03期

10 ;嵌入式软件,“嵌入”了什么?[J];软件世界;2006年10期

中国重要会议论文全文数据库 前10条

1 苏运霖;;智能嵌入式软件初探[A];第十届全国电工数学学术年会论文集[C];2005年

2 刘华;;通信设备嵌入式软件可靠性研究[A];第九届中国通信学会学术年会论文集[C];2012年

3 杨云松;孙旭光;梅文华;;嵌入式软件的加解密分析[A];第六届全国计算机应用联合学术会议论文集[C];2002年

4 曹松;李慧军;惠平;;航天嵌入式软件的发展趋势[A];中国空间科学学会空间探测专业委员会第十六次学术会议论文集（下）[C];2003年

5 贡岩;黄琳;;指挥自动化系统嵌入式软件可靠性评估[A];中国电子学会可靠性分会第十三届学术年会论文选[C];2006年

6 张志刚;;基于动态跟踪模式的军用嵌入式软件需求质量改进方法研究[A];质量——持续发展的源动力：中国质量学术与创新论坛论文集（下）[C];2010年

7 毕经存;;一种实用的嵌入式软件测试方法研究[A];2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会论文集[C];2008年

8 刘旭;谢家强;林岚;;建立嵌入式软件出口统计目录的探讨[A];国际服务贸易评论（总第7辑）[C];2013年

9 范东丽;孙长嵩;;嵌入式软件的测试策略初探[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（下）[C];2006年

10 江乾坤;王泽霞;;嵌入式软件产品销售收入核算方法研究[A];中国会计学会高等工科院校分会2006年学术年会暨第十三届年会论文集[C];2006年

中国重要报纸全文数据库 前10条

1 孙爱民;倪光南：嵌入式软件是迈向创造的契机[N];中国电子报;2004年

2 王绍斌;嵌入式软件是个大市场[N];中国电子报;2004年

3 周娴;大连嵌入式软件走向黄金期[N];中国电子报;2004年

4 记者 杨庆广;中国力量谋划嵌入式软件[N];中国电子报;2005年

5 黄志敏;以嵌入式软件技术带动软件产业大发展[N];大连日报;2005年

6 顾汶;嵌入式软件成热点 行业标准亟待出台[N];中国高新技术产业导报;2005年

7 张伟;嵌入式软件产业 热豆腐不能急吃[N];中国高新技术产业导报;2005年

8 顾卫民;嵌入式软件契机乍现 高新区一马当先嗑[N];中国高新技术产业导报;2005年

9 ;韩国嵌入式软件市场扫描[N];中国计算机报;2004年

10 霍峰 孟繁;高新区全力打造嵌入式软件产业[N];青岛日报;2005年

中国博士学位论文全文数据库 前7条

1 徐丙凤;构件化嵌入式软件安全性分析方法研究[D];南京航空航天大学;2014年

2 孙福振;基于模型检查的嵌入式软件构件化分析与验证[D];北京理工大学;2015年

3 邓阿群;面向方面技术在大规模嵌入式软件中的应用[D];浙江大学;2007年

4 夏一行;面向数字化仪器设备的嵌入式软件应用框架研究[D];浙江大学;2007年

5 郭兵;嵌入式软件开放式集成开发平台体系结构研究[D];电子科技大学;2002年

6 祝义;嵌入式软件需求规约到软件体系结构模型的转换研究[D];南京航空航天大学;2011年

7 高志刚;基于模型的汽车电子软件综合方法研究[D];浙江大学;2008年

中国硕士学位论文全文数据库 前10条

1 郭旺;嵌入式软件覆盖测试通用技术研究[D];西南大学;2015年

2 朱晏庆;卫星控制系统嵌入式软件虚拟化测试平台技术研究[D];上海交通大学;2014年

3 朱柯润;基于ARM的船用雷达嵌入式软件可靠性研究[D];电子科技大学;2014年

4 林红;实时系统嵌入式软件可靠性分析与测试案例研究[D];电子科技大学;2014年

5 赵少杰;数字示波器接口扩展模块嵌入式软件的设计与实现[D];电子科技大学;2014年

6 郭春荣;嵌入式Linux软件构建工具的设计与实现[D];中国科学院大学(工程管理与信息技术学院);2015年

7 郝旭;面向C语言的嵌入式软件能耗估算方法的研究与设计[D];东北大学;2014年

8 肖前远;航空嵌入式软件全数字仿真测试技术研究[D];南京航空航天大学;2010年

9 姜兆义;星载嵌入式软件集成开发环境设计与关键技术研究[D];国防科学技术大学;2004年

10 张涛;嵌入式软件模拟测试平台中符号测试命令语言[D];西北工业大学;2005年

，

本文编号：1166450