导读:本文包含了构件化实时软件论文开题报告文献综述及选题提纲参考文献，主要关键词:构件化,开发技术,嵌入式实时软件
构件化实时软件论文文献综述
魏翔[1]（2015）在《构件化开发技术在嵌入式实时软件中的分析》一文中研究指出嵌入式实时软件具有实时性、多样性的特点,使之广泛应用于各个领域。然而随着人们对软件智能化需求的提高,软件开发的难度和成本逐渐加大,构件化本文在详细分析构件化软件开发技术的基础上,结合嵌入式实时软件的开发特点、开发环境等方面对嵌入式实时软件的框架结构进行了系统的分析研究。(本文来源于《电子制作》期刊2015年07期）
张亚娜,曹鑫[2]（2014）在《嵌入式实时软件的构件化开发技术研究》一文中研究指出嵌入式软件是一种较为特殊的软件,在嵌入式系统中所占的比重比较大,随着嵌入式系统的普及,嵌入式实时软件的构件化开发技术越来越受到重视。本文主要对构件化软件开发技术的主要内容和基本特点进行了分析,并对嵌入式实时软件的框架以及开发环境进行了探讨和研究。(本文来源于《硅谷》期刊2014年21期）
沙星昊[3]（2014）在《嵌入式实时软件的构件化开发技术研究》一文中研究指出随着社会经济的快速发展,电子信息产品在社会经济生活中得到广泛的应用,与之相对应的嵌入式实时软件的开发活动也变得炙手可热,成为软件开发领域关注的焦点。嵌入式实时软件在当今社会经济生活中得到广泛的应用,所以在其开发技术上,应该将开发重点放在组建规范化、标准化的开发过程和技术手段上。本文从开发技术研究的角度,将嵌入式实时软件的构件化开发相关技术与现实生活中的应用联系在一起,对嵌入式实时软件的构件化开发的相关技术进行探讨与研究。(本文来源于《电子制作》期刊2014年19期）
黄菲[4]（2014）在《嵌入式实时软件的构件化开发技术探究》一文中研究指出随着社会经济和科学技术的不断发展,计算机应用已经在人们的生活、学习和工作中得到了推广与普及。计算机应用模式也在此期间内完成了由主机和个人机模式向普适计算模式转变和发展的过程。普适计算模式与人们的现代化生活需求最为符合,而其中的嵌入式系统可以渗入到人们生活、学习和工作的各个方面,在很大程度上提高了人们的生活质量。但是,以往所使用的传统嵌入式实时软件已经无法与当前的发展环境相适应,因此,本文将对嵌入式实时软件的构件化开发技术进行分析与研究,希望能够为相关人员提供一些参考与建议。(本文来源于《信息技术与信息化》期刊2014年10期）
韩鹏[5]（2014）在《嵌入式实时软件的构件化开发技术研究》一文中研究指出嵌入式实时软件的构件化开发方兴未艾,该技术拥有极其光明的发展前景。本次研究从构件化的嵌入式实时软件开发特点、开发环境、设计、软件过程与软件平台五个方面对该技术发展现状进行概述,并作出展望。(本文来源于《电子世界》期刊2014年16期）
周小涵,丁晓明[6]（2010）在《一种基于构件的嵌入式实时软件测试方法》一文中研究指出基于构件的嵌入式实时软件测试方法是比较新的研究热点,它面临着接口描述未标准化、实时性要求高等问题。通过提出一种基于构件的嵌入式实时软件时间自动机模型——CBESTA,能够有效地测试基于构件的嵌入式软件的实时性,提高嵌入式软件的质量。(本文来源于《科学技术与工程》期刊2010年13期）
周小涵[7]（2010）在《一种针对基于构件的嵌入式实时软件的测试方法》一文中研究指出随着嵌入式技术的发展,嵌入式构件技术开始成为人们关注的热点。嵌入式构件的测试,特别是嵌入式实时构件的测试,成为保障基于构件的嵌入式实时软件质量的重要环节。对嵌入式实时构件进行充分的功能性和实时性测试,才能选择安全可靠的嵌入式实时构件进行嵌入式实时软件的组装。目前,对基于构件的嵌入式实时软件的测试还存在着嵌入式实时构件接口定义不规范、对时间约束的测试困难等问题。国内外对于普通软件构件的接口定义已经取得了一系列的成果,并广泛的运用到软件开发过程中,如COM、CORBA、EJB等构件模型都提出了构件接口的定义,但针对嵌入式实时构件的接口定义还需要完善对时间约束的描述,缺乏统一的规范。同时,嵌入式实时构件的时间约束的测试,需要构造构件间交互动作的时间相关模型才能有效的完成测试。因此,研究如何规范嵌入式实时构件的接口定义,并构造测试模型进行测试,以完成基于构件的嵌入式实时软件的组装,具有十分重要的意义。本文通过对构件技术、时间自动机理论的学习,在已有研究成果的基础上,提出了一种针对基于构件的嵌入式实时软件的测试方法,主要进行以下几个方面的探讨和研究：第一,提出了一种嵌入式实时构件接口定义方法,将嵌入式实时构件分为嵌入式实时功能构件和嵌入式实时调度构件进行接口的定义,以满足嵌入式实时构件的交互。第二,针对嵌入式实时构件交互过程中存在的时间约束,本文在时间自动机理论的基础上提出了一种基于构件的嵌入式实时软件时间自动机模型构造方法-BERSTA,通过CBERSTA模型能够实现对嵌入式实时构件交互过程中的状态转移和时间约束的描述。第叁,为了简化CBERSTA模型,本文通过符号状态拆分算法,对构造的CBERSTA模型进行状态空间拆分。在此基础上,将拆分后的CBERSTA模型中的抽象时间延迟替换成时间变量,并在状态转移动作中添加时间变量来完成测试用例的生成。最后,为了验证本文提出的CBERSTA模型的可行性和有效性,本文利用构造的CBERSTA模型生成测试用例,并通过测试算法最终完成软件测试和测试结果分析。(本文来源于《西南大学》期刊2010-04-19）
尤涛,杜承烈,王小伟,郑炜[8]（2009）在《基于高阶时间π演算的构件式实时软件研究》一文中研究指出在复杂的实时软件系统中使用构件式设计方法已成为目前软件工程中的研究热点。如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一。文中提出了一种有时间特性的高阶多型π演算(THOπ-calculus),通过对不同阶上进程中活动关联的持续时间和最晚结束时间加以约束,给出了THO-π演算的操作语义。作为对π演算模型等价性分析的重要工具,在THO-π演算语义下提出了一种新的弱时间互模拟关系,并针对弱时间互模拟关系的阶次性定义了多分辨时间约束。通过对某导航软件的设计表明,该方法对实时软件构件内部、构件间的复杂动态时间约束有很好的表达与化简作用。(本文来源于《西北工业大学学报》期刊2009年06期）
林苗,戎玫,张广泉[9]（2009）在《基于构件的嵌入式实时软件组合时间分析研究》一文中研究指出在嵌入式实时软件的开发早期,将构件技术应用于对其进行时间需求的形式化分析中,不但有助于保证软件的正确性和可靠性,还能缩短需求分析周期、提高软件生产率。给出了一种基于构件技术、UML和时间ER网技术的组合时间分析方法,对嵌入式实时软件的时间需求进行分析和检测,实践表明该方法可以检测出需求模型中的时间冲突,有助于保证嵌入式实时软件时间约束的正确性,而且其分析结果具有可复用、可扩展的优点。(本文来源于《计算机工程与应用》期刊2009年11期）
张广泉,林苗,戎玫[10]（2008）在《基于构件的嵌入式实时软件建模与分析》一文中研究指出嵌入式实时软件具有严格的时间要求,任何时间错误都可能造成重大的经济损失甚至导致灾难性的后果。因此,在软件开发早期,对其时间需求进行形式化的分析和验证是非常重要的。本文提出一种基于构件的嵌入式实时软件建模与分析方法,该方法不仅可以检测出需求模型中的时间冲突,有助于保证嵌入式实时软件时间约束的正确性,而且也使得分析结果具有可复用、可扩展的优点。(本文来源于《计算机工程与科学》期刊2008年12期）
构件化实时软件论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
嵌入式软件是一种较为特殊的软件,在嵌入式系统中所占的比重比较大,随着嵌入式系统的普及,嵌入式实时软件的构件化开发技术越来越受到重视。本文主要对构件化软件开发技术的主要内容和基本特点进行了分析,并对嵌入式实时软件的框架以及开发环境进行了探讨和研究。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
构件化实时软件论文参考文献
[1].魏翔.构件化开发技术在嵌入式实时软件中的分析[J].电子制作.2015
[2].张亚娜,曹鑫.嵌入式实时软件的构件化开发技术研究[J].硅谷.2014
[3].沙星昊.嵌入式实时软件的构件化开发技术研究[J].电子制作.2014
[4].黄菲.嵌入式实时软件的构件化开发技术探究[J].信息技术与信息化.2014
[5].韩鹏.嵌入式实时软件的构件化开发技术研究[J].电子世界.2014
[6].周小涵,丁晓明.一种基于构件的嵌入式实时软件测试方法[J].科学技术与工程.2010
[7].周小涵.一种针对基于构件的嵌入式实时软件的测试方法[D].西南大学.2010
[8].尤涛,杜承烈,王小伟,郑炜.基于高阶时间π演算的构件式实时软件研究[J].西北工业大学学报.2009
[9].林苗,戎玫,张广泉.基于构件的嵌入式实时软件组合时间分析研究[J].计算机工程与应用.2009
[10].张广泉,林苗,戎玫.基于构件的嵌入式实时软件建模与分析[J].计算机工程与科学.2008