嵌入式SI02集成开发环境的设计与实现*

主要介绍自行研制的SI02嵌入式软件仿真开发系统的设计思想,重点论述了仿真软件三大组成部分的实现技术。开发目的是要提高技术人员对嵌入式软件的开发和调试效率,从根本上保证软件的质量。     

嵌入式SIO2集成开发环境的设计与实现

主要介绍自行研制的SIO2嵌入式软件仿鼻开发系统的设计思想．重点论述了仿真软件三大组成部分的实现技术。开发目的是耍提高技术人员对嵌入式软件的开发和调试效率，从根本上保证软件的质量。     

基于LabVIEW的嵌入式软件黑盒测试系统的研究

为提高嵌入式软件测试的效率,介绍了一种用LabVIEW开发嵌入式软件黑盒测试系统的设计方案,阐述嵌入式软件仿真测试平台的特点及其实现方法。详细说明了本设计方案的测试用例的设计和编排方法,提出了一个解决使用LabVIEW软件产生的实时性问题的方法。     

面向船舶软件的仿真测试平台研究

软件仿真测试是嵌入式软件黑盒测试领域行之有效且具有广泛应用前景的方法,为解决船舶软件利用仿真测试环境进行自动化测试问题,文中分析了舰船作战指挥控制系统中的嵌入式软件的交联环境,研究了软件测试交联环境协同管理技术;利用将测试模型转化为XML文件并解析驱动的方法实现测试用例的自动执行;对仿真测试中数据类别分析,提出了测试数据的自动收集与分析技术.设计并开发了舰船嵌入式软件仿真测试系统,有效提高了船舶软件测试效率和测试准确性.     

一种新型的微控制器软件仿真模型设计

在典型嵌入式软件开发系统中,都提供目标处理器的仿真软件。这些仿真器软件各具优势,几乎囊括了所有的主流微控制器,但基本上是针对一种微控制器芯片单独开发的,重用性差、开发量很大。本文提出了一种微控制器的通用软件仿真模型GSSM,以期规范微控制器构件的开发,提高代码复用度,降低开发难度。     

基于QEMU的AARCH64平台仿真技术的研究

在嵌入式软件开发过程中，通常可以使用仿真技术模拟目标硬件平台，进行软件运行环境的仿真。通过仿真器对目标硬件的CPU、内存和输入/输出（I/O）设备等进行仿真，支持用户可以在不具备硬件条件的情况下，尽快地开展嵌入式软件的开发工作。研究了基于开源的虚拟操作系统模拟器（QEMU）仿真器平台，选取了目前嵌入式领域常用的国产飞腾2000嵌入式处理器作为仿真目标，以验证仿真AARCH64平台QEMU虚拟机的可行性，方便用户开展嵌入式软件的开发。     

嵌入式软件仿真开发系统的设计与实现

该文主要介绍自行研制的嵌入式软件仿真开发系统的设计思想,论述了采用的逻辑仿真电路模型、逻辑仿真算法及仿真软件体系结构,最后重点介绍仿真软件三大组成部分实现技术。     

基于模型驱动的机载嵌入式软件应用

摘　要 传统的软件开发方法已无法应对机载嵌入式软件开发面临着严峻的挑战,基于模型驱动的软件开发方法将业务模型和软件实现平台分离,有效的提高了机载嵌入式软件开发效率。本文对两种机载嵌入式软件设计方法进行了比较,以基于SCADE平台实现的自动飞行控制系统的自动驾驶仪模态控制软件为例,并对SCADE自动生成代码与手工编写代码的执行效率进行了比较证明前者更优,验证了基于模型驱动开发的软件设计方法能有效提高机载嵌入式软件的开发效率。     

基于模型驱动的机载嵌入式软件应用

传统的软件开发方法已无法应对机载嵌入式软件开发面临的严峻挑战,基于模型驱动的软件开发方法将业务模型和软件实现平台分离,有效地提高了机载嵌入式软件开发效率。文中对两种机载嵌入式软件设计方法进行了比较,以基于SCADE平台实现的自动飞行控制系统的自动驾驶仪模态控制软件为例,并对SCADE自动生成代码与手工编写代码的执行效率进行了比较,证明前者更优,验证了基于模型驱动开发的软件设计方法能有效地提高机载嵌入式软件的开发效率。     

基于MVC模式的嵌入式软件测试开发环境设计

嵌入式软件仿真测试开发环境(ESTDE,Embedded Software Testing Development Environment)是嵌入式软件仿真测试平台(ESSTP,Embedded Software Simulation Testing Platform)的重要组成部分,是有效实现嵌入式软件实时、闭环测试的基础。MVC(Model-View-Controller)是一种开发交互式软件系统的典型体系结构模式,在分析和研究ESTDE功能、组成和工作原理的基础上,将MVC应用于ESTDE的设计当中,不仅保证了ESSTP的成功开发,而且提高了系统的可复用性和可适应性。     

模型驱动的嵌入式仿真系统设计

为解决嵌入式系统仿真应用需求多样性的问题并提高系统的开发效率,设计一种通用嵌入式仿真系统。该系统在Matlab/Simulink开发环境的基础上,采用模型驱动的方法设计仿真模型并构建仿真组件库,实现了仿真系统模型的快速建立。同时设计了多接口、可扩展的仿真器硬件结构,解决了嵌入式系统接口的多样性问题。该仿真系统具有良好的可重用性和可移植性等特点,可用于多种嵌入式软件的开发,具有现实意义。     

基于遗传算法的嵌入式软件WCSD检测方法

在资源受限的嵌入式系统中,为了降低嵌入式软件最大堆栈深度（Worst-Case-Stack Depth,WCSD）的检测误差,从而确定系统内存容量,通过详细分析堆栈使用原因和中断类型,建立中断调度模型,提出基于遗传算法的WCSD动态检测方法以更加准确地指导嵌入式硬件设计和软件开发。基于嵌入式软件全数字仿真平台完成实验,对该模型和方法加以验证。实验结果表明该方法可测得较准确的软件堆栈深度上限,有助于降低内存开销和提高系统的可信度。     

基于SPARC V8的星载嵌入式软件全数字仿真平台设计与实现

为了提高星载嵌入式软件的可靠性和安全性,解决硬件测试环境构建困难、成本昂贵以及运行状态难以监控的局限性,提出了一种基于SPARC V8的星载嵌入式软件全数字仿真平台设计和实现方法。介绍了全数字仿真平台实现的关键技术,包括CPU指令集仿真、寄存器仿真、存储器仿真、中断控制器仿真、串口仿真、定时器仿真、虚拟外设模型仿真以及设备管理器和平台时序设计。全数字仿真平台与基于硬件的测试平台相比具有可重用性强、可快速搭建、成本低廉、高可控性、调试和测试手段丰富、支持故障注入等优点。该全数字仿真平台已在星载嵌入式软件型号研制中得到了应用,基于此平台可快速搭建虚拟目标机和虚拟外设环境,进行星载嵌入式软件运行仿真、调试验证等工作。     

WCSD动态检测方法

嵌入式软件最大堆栈深度(worst-case-stack depth,WCSD)是指导硬件设计和软件开发的重要指标,然而它的测量却极其困难.通过详细分析堆栈使用原因及其相互关系,建立多层中断叠加模型并提出一种WCSD动态检测方法,以检测嵌入式软件堆栈深度上限.同时,基于嵌入式软件全数字仿真平台完成实验以验证该模型和方法的可行性.实验结果表明,该模型和方法可测得较准确的WCSD结果,有助于在降低内存开铕,保证嵌入式系统的堆栈安全以及提高嵌入式软件的可靠性.     

嵌入式软件仿真测试脚本语言的设计与实现

软件测试中,脚本技术的引入是实现软件测试自动化技术的有效手段。软件测试脚本化可以减少测试人员的工作量,提高软件测试的可维护性。另外,脚本语言具有较好的移植性,有利于实现跨平台,可提高脚本代码的可重用性和测试的可重复性。结合嵌入式软件测试的特点,提出了针对嵌入式软件仿真测试的通用测试脚本语言ESSTSL,并对该语言的设计以及在测试环境中的实现机制进行了阐述,并将其应用于实际的软件测试中。     

组态化嵌入式软件仿真系统设计

为缩短开发周期,提高嵌入式软件仿真系统的设计水平,提出一种组态化嵌入式系统设计。集成仿真建模工具、仿真模型代码生成工具,实现仿真运行环境搭建和对仿真数据的实时监控,采用组态化的仿真方法,根据用户需求生成监控界面。实验结果表明,该系统的运行平台快速高效,监控环境良好。     

基于MDA的嵌入式软件开发平台设计

针对如何快速开发高质量的嵌入式软件的问题,实现了一种基于MDA的嵌入式软件开发平台EUP。该平台根据模型驱动的软件开发方法,集成UML建模、模型验证、模拟和自动代码生成技术等,为嵌入式软件的开发提供了一个统一的开发环境。分析了铁道交叉路口系统的实例,试验结果表明EUP平台能够方便、高效地实现模型模拟和验证,为快速开发高质量的嵌入式软件提供了一种可行的途径。     

功耗分析仿真软件设计与实现

设计并自主开发一个功耗分析仿真软件,完成对硬件描述语言实现的密码算法IP核进行功耗仿真分析。用软件仿真功耗分析攻击,可以在嵌入式加密芯片的设计阶段评估设计方案和抗功耗分析攻击的性能,提高工作效率,降低开发时间和成本,具有很高的实用价值。该软件已经实现了几种常用密码算法及其改进后加密算法的一阶功耗分析和高阶功耗分析功能。经测试得到的仿真结果与理论分析出来的攻击结果相符合,实现了本软件的设计目标。     

采用随机Petri网的嵌入式机载软件可靠性检测

针对嵌入式机载软件设计中存在的典型缺陷问题，结合嵌入式机载软件任务调度特性，提出采用随机Petri网对嵌入式机载软件设计进行仿真验证的可靠性检测方法，以提高嵌入式机载软件设计的可靠性。该方法采用随机Petri网对嵌入式机载软件系统行为建模，并给出典型缺陷的检测策略和判定准则，然后通过对Petri网模型进行仿真验证，检测系统是否存在此类设计缺陷；并给出了软件设计的运行流程的仿真验证算法，以支持对相应设计的可靠性检测。通过与其他可靠性检测方法的比较，表明了该方法的有效性。