收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

嵌入式软件需求规约到软件体系结构模型的转换研究

祝义  
【摘要】:近年来随着嵌入式系统硬件性能的不断提高,嵌入式系统中软件的规模和复杂性也不断增加,软件对整个系统的影响逐渐占据了统治地位,从而使得嵌入式软件设计以及可靠性保障变得越来越困难。传统的嵌入式软件设计方法已经逐渐难以满足现代嵌入式软件设计的高可靠性需求,必须结合主流软件工程中处理复杂软件系统所采用的理论、技术与方法,如构件化设计、模型驱动架构、形式化规约与验证等。目前,模型驱动的嵌入式软件设计方法已经成为嵌入式计算领域中的研究热点。 形式化方法是以数学为基础的用以对系统进行规约、设计和验证的语言、技术和工具的总称。对于具有高可靠性需求的嵌入式软件系统而言,建立有效的形式化验证技术具有非常重要的意义。因此,在嵌入式软件需求规约阶段引入形式化方法,并根据需求规约生成保留形式化语义的软件体系结构模型,可以极大提高嵌入式软件设计的可靠性。 本文主要围绕嵌入式软件需求规约到软件体系结构模型转换的问题展开研究。重点研究了需求规约到软件体系结构模型的转换框架、基于MDE的LOTOS规约到UML-RT模型的转换方法、TCSP规约到UML-RT模型的转换方法、支持硬实时分析的进程代数规约与转换、支持资源分析的进程代数规约与转换问题。主要内容如下: (1)针对根据自然语言规约建立的软件体系结构模型的不精确性以及二义性问题,基于已有的自然语言规约到形式化规约的转换工作,提出了嵌入式软件需求规约到软件体系结构模型的转换框架,并在此基础上进一步提出了基于MDE的形式化规约到软件体系结构模型的转换框架。基于转换框架生成的软件体系结构模型保留了形式化语义,能够从本质上提高嵌入式软件软件体系结构设计的可靠性。 (2)针对嵌入式软件时序规约到软件体系结构模型的转换问题,提出了基于MDE的LOTOS规约到UML-RT模型的转换方法。UML-RT是OMG组织专门针对实时与嵌入式系统软件体系结构建模的规范,然而基于自然语言规约建立的UML-RT模型往往是不精确的、存在二义性。为了使得UML-RT建模结果更为精确,需要赋予UML-RT模型形式化语义。LOTOS是一种适合于描述与验证嵌入式软件时序规约的进程代数方法。在需求规约到软件体系结构模型的转换框架下,使用LOTOS描述嵌入式软件时序规约,通过建立LOTOS到UML-RT的转换机制,实现了LOTOS规约到UML-RT模型的转换。实例分析表明该方法能够提高嵌入式软件软件体系结构设计的可靠性。 (3)针对嵌入式软件实时规约到软件体系结构模型的转换问题,提出了TCSP规约到UML-RT模型的转换方法。时间通信顺序进程TCSP是进程代数通信顺序进程CSP的实时扩展,适合于描述与验证嵌入式软件的实时规约。在需求规约到软件体系结构模型的转换框架下,使用TCSP描述嵌入式软件实时规约,通过建立TCSP到UML-RT的转换机制,实现了TCSP规约到UML-RT模型的转换。实例分析表明通过该方法建立的UML-RT模型能够从整体上提高嵌入式软件软件体系结构设计的可靠性。 (4)针对嵌入式软件缺乏有效的硬实时规约与验证机制,研究了支持硬实时分析的进程代数方法。通过扩展进程代数TCSP的硬实时语义,提出了硬时间通信顺序进程HTCSP,使之能够规约与验证嵌入式系统的硬实时动态行为。提出了时间最优调度算法,该算法有助于嵌入式系统硬实时的量化分析和优化设计。进一步给出了HTCSP规约到UML-RT模型的转换方法。 (5)针对嵌入式软件缺乏有效的资源规约与验证机制,研究了支持资源分析的进程代数方法。通过扩展进程代数CSP的资源语义,提出了资源通信顺序进程RCSP,使之能够规约与验证嵌入式系统包含多种资源信息的动态行为。提出了资源优化检查算法,检查结果有助于嵌入式系统资源的量化分析和优化设计。最后讨论了RCSP规约到软件体系结构模型的转换方法。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 郑刚;;航空软件测试技术探讨[J];南昌高专学报;2011年03期
2 涂文亮;童玲;田雨;;无线传感器网络的嵌入式软件测试[J];单片机与嵌入式系统应用;2011年05期
3 姜书汉;;智能传感器的主要功能和应用发展[J];物联网技术;2011年05期
4 陶幸辉;宋志刚;;嵌入式飞控软件测试方法研究及实践[J];软件导刊;2011年08期
5 杨明军;;基于虚拟仪器的燃气用具检测设备嵌入式软件[J];机械制造与自动化;2011年03期
6 刘玉宝;祝海英;戴银飞;;汽车电子系统中嵌入式软件可靠性设计[J];数字技术与应用;2011年08期
7 黄慧敏;刘秋让;张凯龙;;嵌入式多任务软件混合自容错机制[J];计算机工程;2011年18期
8 许迅文;;开源RTOS在STM32单片机中的应用[J];企业技术开发;2011年16期
9 陈乃塘;;侧看《嵌入式系统软件》的未来[J];电子与电脑;2011年09期
10 张鹏;;软件成企业创新“基石” IBM Rational软件推动行业发展变革[J];通信世界;2011年31期
11 李洁;;嵌入式软件任务级交叉调试器的设计与实现[J];阿坝师范高等专科学校学报;2011年02期
12 陈建勋;欧涛涛;;基于TEmb的嵌入式软件测试V模型研究[J];软件导刊;2011年07期
13 相春雷;;嵌入式系统:应机而动,日进无疆[J];软件世界;2010年02期
14 王星辉;李世宁;;聚焦IT服务 透析人才培养[J];软件工程师;2011年09期
15 谢彬;赵立业;;异步软总线在嵌入式开发环境中的应用[J];计算机工程;2011年13期
16 傅昆;;开启工业控制的智慧之门——纽伦堡Embedded World 2010展会见闻与启示[J];软件;2010年Z1期
17 韩霜;;紧握优势技术,QNX汽车教育项目和技术巡展全面启动[J];世界电子元器件;2011年07期
18 杨立林;;从企业招聘需求看嵌入式系统教学课程体系设置[J];中国电力教育;2011年22期
19 蒙清华;王忠庆;;基于SkyEye的μCOS-Ⅱ系统移植研究[J];科技信息;2011年22期
20 郭兵;曾蜀芳;沈艳;王继禾;伍元胜;刘云本;;面向能耗相关软/硬件划分的层次化控制数据流图建模方法[J];四川大学学报(工程科学版);2011年04期
中国重要会议论文全文数据库 前10条
1 张志刚;;基于动态跟踪模式的军用嵌入式软件需求质量改进方法研究[A];质量——持续发展的源动力:中国质量学术与创新论坛论文集(下)[C];2010年
2 曹松;李慧军;惠平;;航天嵌入式软件的发展趋势[A];中国空间科学学会空间探测专业委员会第十六次学术会议论文集(下)[C];2003年
3 李友峰;;机车柴油机电控系统嵌入式软件的开发与研究[A];第十七届全国大功率柴油机学术年会论文集[C];2011年
4 赵琰;;基于VxWorks操作系统下的星载嵌入式软件动态测试技术应用研究[A];第二十三届全国空间探测学术交流会论文摘要集[C];2010年
5 毕经存;;一种实用的嵌入式软件测试方法研究[A];2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会论文集[C];2008年
6 苏运霖;;智能嵌入式软件初探[A];第十届全国电工数学学术年会论文集[C];2005年
7 张军;罗永红;;实时嵌入式软件仿真测试平台研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
8 李永成;乔庐峰;李建华;林龙;杜昌贤;;MSAP系统的软硬件联合设计[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
9 杨云松;孙旭光;梅文华;;嵌入式软件的加解密分析[A];第六届全国计算机应用联合学术会议论文集[C];2002年
10 范海霞;徐涛;;嵌入式软件覆盖测试的优化技术的研究[A];中国电子学会第十七届信息论学术年会论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 祝义;嵌入式软件需求规约到软件体系结构模型的转换研究[D];南京航空航天大学;2011年
2 古幼鹏;嵌入式实时软件的构件化开发技术研究[D];电子科技大学;2005年
3 邓阿群;面向方面技术在大规模嵌入式软件中的应用[D];浙江大学;2007年
4 高志刚;基于模型的汽车电子软件综合方法研究[D];浙江大学;2008年
5 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年
6 郭兵;嵌入式软件开放式集成开发平台体系结构研究[D];电子科技大学;2002年
7 徐战亚;可移植嵌入式导航平台关键技术研究[D];中国地质大学;2010年
8 唐姗;基于目标的高可信自适应容错软件开发方法研究[D];复旦大学;2011年
9 陈中育;基于场景的系统行为建模和组合研究[D];上海大学;2011年
10 王宇华;基于本体的流程类业务需求建模方法研究[D];哈尔滨工程大学;2011年
中国硕士学位论文全文数据库 前10条
1 于炳霞;基于嵌入式软件的覆盖测试技术研究[D];南京航空航天大学;2010年
2 熊利;嵌入式软件测试用例生成方法研究[D];大连理工大学;2010年
3 赵玉辉;嵌入式软件综合测试平台技术研究[D];电子科技大学;2010年
4 肖俊贤;基于积极防御编程的嵌入式软件缺陷预防方法及其实践[D];北京邮电大学;2010年
5 宋艳超;基于BTS的嵌入式软件测试技术研究[D];哈尔滨工业大学;2010年
6 原义盈;嵌入式软件堆栈溢出的静态测试方法研究[D];北京交通大学;2011年
7 龚荣;基于NXT的嵌入式软件生产线的设计和实现[D];电子科技大学;2011年
8 王洪鹏;基于UML的嵌入式软件可靠性和安全性研究[D];华东理工大学;2011年
9 张春梅;构件化嵌入式软件的服务质量研究[D];陕西师范大学;2010年
10 邹小华;数字电视嵌入式软件应用仓库的研究与应用[D];电子科技大学;2011年
中国重要报纸全文数据库 前10条
1 本报记者 许泳;嵌入式软件:磨练开发质量[N];计算机世界;2011年
2 记者 朱宇;宁波软件主攻“嵌入式”[N];宁波日报;2005年
3 本报记者 张学琦 莎莎;内需拉动嵌入式软件增长 重点在行业应用[N];中国电子报;2008年
4 ;中国手机嵌入式软件市场潜力巨大[N];人民邮电;2005年
5 李燃;时代牵手北航 共推嵌入式软件产业发展[N];中国经营报;2005年
6 本报记者 陈晓晟;嵌入式软件发展关键在人才[N];通信信息报;2007年
7 谌力;给嵌入式软件降降温[N];网络世界;2006年
8 申银万国 尹沿技;计算机业软件服务业司设立 关注嵌入式软件[N];上海证券报;2008年
9 史兴国;产业发展需要企业做稳做实[N];中国电子报;2008年
10 记者 侯力明 王芳 实习生 戴子宁;嵌入式软件,下一块诱人的“奶酪”[N];江苏经济报;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978