基于模型的嵌入式软件测试

针对嵌入式软件开发中的问题,在嵌入式软件测试中应用基于模型的软件测试策略,可以极大的降低开发成本,保证软件质量.阐述了该测试策略,着重讨论和分析了基于UML模型的嵌入式软件测试技术,并介绍了UML模型指导嵌入式软件测试在实际开发环境中的应用.     

嵌入式软件生产线的构建技术研究

嵌入式软件复杂度的提高加剧了软件风险。研究了嵌入式软件的特点和发展趋势,提出了基于Trustie环境的嵌入式软件生产线的构建方法,阐述了调度分析、代码自动生成和多余度调试的基本原理和实现技术,介绍了嵌入式软件生产线在飞行控制领域的应用情况。     

嵌入式软件代码保护系统的设计与实现

针对嵌入式软件代码的安全问题,提出了一种基于流水线技术的TDES[1-3]的嵌入式软件代码保护系统,可以有效地防范当前各种针对嵌入式软件代码的恶意窃取、修改,适用于基于I2C、SPI总线以及NAND-Flash的程序代码存储器.     

基于“三促进一服务”的嵌入式软件类专业人才培养模式探讨

针对目前嵌入式软件类专业教学培养模式现状,以及信息化社会对计算机人才的需求,分析了目前计算机专业教育教学中存在的问题,提出基于"以赛促学、以研促教、以岗促能、服务企业"的框架模型,即"三促进一服务"模型,探索和改革嵌入式软件人才培养模式,改革教学体系与课程设置,开展校企合作,突出社会实践功能,以理论加实践的培养方式全面提高人才在当今社会竞争下的优势。     

基于“三促进-服务”的嵌入式软件类专业人才培养模式探讨

针对目前嵌入式软件类专业教学培养模式现状,以及信息化社会对计算机人才的需求,分析了目前计算机专业教育教学中存在的问题,提出基于“以赛促学、以研促教、以岗促能、服务企业”的框架模型,即”三促进-服务”模型,探索和改革嵌入式软件人才培养模式,改革教学体系与课程设置,开展校企合作,突出社会实践功能,以理论加实践的培养方式全面提高人才在当今社会竞争下的优势.     

基于PolySpace的嵌入式软件内存测试

基于嵌入式软件的测试经验,针对嵌入式软件特点,研究了基于PolySpace的嵌入式软件内存测试方法,分析了PolySpace使用的语义分析技术,以实例讲解了如何实现内存测试,并指出对覆盖率测试的帮助。对于嵌入式软件测试,具有实际参考价值。     

基于马尔科夫链的构件化嵌入式软件能耗估算模型

在目前全球倡导"低碳经济"的背景下,嵌入式软件能耗已成为嵌入式系统设计的重要考量因素,一种快速有效的软件能耗估算模型对于嵌入式软件早期开发具有重要的意义.本文着眼于构件化嵌入式软件,从基于状态的角度出发,将嵌入式软件系统的运行过程视为一个状态的集合,提出了一种基于马尔科夫链的嵌入式软件能耗估算模型.然后,通过使用状态转移概率矩阵获得嵌入式软件构件的稳定状态分布,再结合构件的能耗测量值,实现嵌入式软件的能耗估算,并通过实验验证了该模型的有效性.     

基于μC/OS-Ⅱ的嵌入式构件系统设计

随着嵌入式产品需求的快速增长,传统的嵌入式软件开发方法已无法满足现有需求,而基于构件的软件开发方法以其自身可复用、可组装、可定制等特点,极好地满足了嵌入式软件的特性。本文将构件化技术与嵌入式软件设计方法结合,扩展了通用软件构件模型,基于μC/OS-Ⅱ实时操作系统,提出了一种适用于嵌入式软件的基本构件模型及体系结构,并在键盘应用实例中得到验证。     

一种基于赋时Petri网和ZBDD的装配序列规划方法

机载航空电子系统设计采用综合化系统体系结构,可实现计算系统及其计算资源和计算设施的"物理集成";以及机载嵌入式软件系统的"功能集成";提供对系统计算功能的动态配置管理和实时动态冗余,以期得到较高的计算性能和保障系统的高可靠性。基于软件系统架构的层次关系研究了复杂嵌入式计算任务的运行模态表示方法,分析了嵌入式软件系统任务模态的迁移关系,提出了基于AADL软件体系结构的嵌入式软件模态划分方法,制定了系统动态重构蓝图,并设计了基于模态的嵌入式软件动态重构实施方法。基于软件架构的模态分析及其动态重构,有助于提高复杂嵌入式软件系统的可靠性、安全性和重用性。     

基于LDRA的嵌入式软件覆盖率测试方法

基于实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了基于LDRA的嵌入式软件覆盖率测试方法,分析了程序插装BITMAP技术应注意的问题．提出了单文件和多文件两种方式的覆盖率测试方法。对于嵌入式软件测试,具有实际参考价值。     

基于Linux-MiniGUI嵌入式系统监控管理软件开发

目前,嵌入式Linux系统已经得到了广泛的应用,相应的软件开发也日趋重要.论述了一类嵌入式系统设备基于Linux-MiniGUI技术的监控管理软件的开发实现.以华恒ARM2410开发板为目标板,以嵌入式Linux、嵌入式数据库和图形用户界面MiniGUI等为基础,在软件总体设计基础上,介绍了软件开发方法,给出了典型监控软件的实现.本系统开发的嵌入式系统监控管理软件已经运用到实际系统中,并且取得了很好的实验效果.     

软件适应性及其分析

随着嵌入式软件和因特网的普及与发展,近年来关于软件自适应的研究也逐渐成为软件界的研究热点。从程序设计的角度分析软件的发展,现在正处于适应性程序设计(Adaptive Programming)时期,适应性软件(Adaptive Software)有着广阔的前景。     

嵌入式软件建模、实现与验证：研究与进展

随着计算机硬件设备计算能力的迅速提高,嵌入式系统中软件的规模和复杂度的急剧增大,软件可靠性在嵌入式系统中的重要性占据了统治地位。本文首先概要介绍了嵌入式软件不同于传统商业软件、科学计算软件的物理性、实时性、领域性等重要特征,以及由此带来的困难和挑战。然后重点介绍目前在解决嵌入式软件系统开发过程中的问题时所采取的建模思想、实现技术和验证方法。最后对嵌入式软件及其相关技术的发展进行了展望。     

反射技术与软件适应性

随着因特网的普及与发展,嵌入式软件得到更多的应用,近年来关于软件自适应的研究也成为热点从程序设计的角度分析软件的发展．现在正处于适应性程序设计（AdaptiveProgramming）时期,该文主要从反射技术的角度分析适应性软件的前詈。     

模块化思想在BSP开发中的应用

BSP是嵌入式系统中用于实现硬件无关性的底层软件,完成对指定硬件的配置和管理。随着嵌入式系统的发展和普及,其规模越来越大,BSP的复杂度也急剧增加,传统的BSP开发方法已经不适应现代嵌入式系统发展的需要,它存在重复开发严重、代码通用性差、维护工作量大等诸多问题。模块化编程是现代软件开发中的一种重要思想,可以极大地提高代码编写的效率、缩短研发周期、提高系统的稳定性,文中在分析传统BSP开发方法存在的弊端的基础上,提出了一种将模块化思想用于BSP开发的方法。     

嵌入式系统的软硬件划分

嵌入式系统软硬件协同设计中的关键步骤之一是软硬件划分。现有的许多软硬件划分方法都试图捕获太多有关划分问题和目标结构的细节，可扩展性差。本文提出了一种简化的软硬件划分问题模型，这种简化模型能分别对不同的划分问题进行形式化定义。在此模型的基础上，本文给出了基于ILP的算法和遗传算法。实验结果表明，我们的遗传算法能有效地解决千万个节点规模的划分问题，并获得近似最优解。     

支持远程动态重构的嵌入式系统设计

为使嵌入式系统具备远程在线更新和维护能力,基于软/硬件统一多任务编程模型,应用互联网可重构逻辑设计方法设计并实现支持远程动态重构的嵌入式系统。提出的统一多任务编程模型为软/硬件任务提供统一接口和管理方式,可降低设计可重构系统的复杂度,同时远程重构功能增加了系统远程在线更新和维护的能力。实验结果表明,该模型可用于远程可重构系统的设计,同时硬件任务也具有较快的加速比。     

基于 DSP 的嵌入式软件测试方法

基于DSP的嵌入式系统因为其优异的高效性和实时性,在通信、军事、航空等多个领域得到了广泛应用。然而,由于嵌入式软件的硬件环境复杂等特点,一直缺乏行之有效的测试方法和工具。本文深入分析基于DSP的嵌入式软件的测试方法,并以软件测试工具LDRA Testbed为例,详细介绍基于DSP的嵌入式软件测试的一般方法,最后使用软件测试工具LDRA Testbed验证测试方法的有效性。     

嵌入式软件外部质量度量方法的研究与实现

随着信息技术的快速发展,嵌入式软件被广泛应用于各个行业,软件的质量也成为软件用户最关心的问题之一;但由于软件质量量化评价没有统一的标准,因此无法对软件质量给予一个科学、客观的评价.为此,文章根据国家相关标准,针对嵌入式软件的质量模型,提出一种以测试数据为依据、基于层次分析法的嵌入式软件外部质量评价方法.通过对某嵌入式软...     

一种高可靠的嵌入式软件远程自更新机制的研究与实现

通过远程通信方式实现嵌入式软件系统的异地自动更新,能有效地降低嵌入式软件的维护成本,提高嵌入式系统的智能化水平.远程自更新过程中的可靠性直接影响着软件更新的质量.在分析影响更新可靠性的干扰因素的基础上,针对没有单独设计启动程序的嵌入式系统,提出了一种具有高可靠性的嵌入式软件远程自更新机制.