一种嵌入式系统的可靠性测试与评价方法

使用Markov模型进行嵌入式系统的可靠性测评,能够明显地节约计算时间,并保证可靠性测评的准确性,因而越来越受到人们的关注。在Markov模型中,可以使用敏感性因子描述嵌入式系统可靠性,建立敏感性因子和测试资源的关联,为系统模块分配可靠性指标,把嵌入式系统的可靠性测试,转化为相应的优化问题。文中介绍了一种基于Markov模型的嵌入式系统可靠性测试与评价方法,包括测评框架、设计指标分配和敏感性分析等内容,说明如何依照可靠性测评框架对嵌入式系统进行可靠性测评。     

基于网络环境的嵌入式PLC软件平台设计与实现

该文介绍了一种嵌入式系统新的设计方法:嵌入式PLC,详细介绍了嵌入式PLC的原理、功能,嵌入式PLC软件平台的硬件设计、内核设计、关键技术及特点,在此基础上,还介绍了利用嵌入式PLC构成通信网络的方法及实现。实际应用表明:利用嵌入式PLC开发嵌入式系统,容易实现网络的互连、信息集成和功能扩展,提高了系统开发效率,缩短了开发周期。     

嵌入式MinGUI的移植与平台开发

介绍一种优秀的嵌入式图形支持软件——MinGUI,初步构建了基于SEP4020微处理器的嵌入式GUI（图形用户界面）开发平台,并分步介绍了将MinGUI移植到此嵌入式系统平台的方法。最后在构建好的平台上开发并运行一个GUI实例,验证了此平台的成功开发及其应用的优越性。     

嵌入式MinGUI的移植与平台开发

介绍一种优秀的嵌入式图形支持软件——MinGUI,初步构建了基于SEP4020微处理器的嵌入式GUI(图形用户界面)开发平台,并分步介绍了将MinGUI移植到此嵌入式系统平台的方法。最后在构建好的平台上开发并运行一个GUI实例,验证了此平台的成功开发及其应用的优越性。     

基于GIS的多点嵌入式系统远程在线升级

在利用嵌入式终端进行河流水质数据采集的分布式系统中,由于终端数量众多,分布范围广,嵌人式系统升级非常困难;针对该困难,提出一种基于GIS的多点嵌入式系统远程在线升级的方法,详细介绍了整个方法的实现以及升级的过程;测试表明此方法稳定可靠,完全能够实现嵌入式系统的在线升级。     

基于蓝牙单芯片的嵌入式蓝牙系统实现

文章介绍了一种嵌入式蓝牙系统开发方法,具体给出了基于CSR蓝牙单芯片的嵌入式蓝牙系统硬件结构和软件结构,除给出协议栈外,还具体介绍了用户程序中通用功能的程序编制,在此框架下,可快速方便开发嵌入式蓝牙产品。     

基于μC/OS-Ⅱ的FIFO设备驱动研究

介绍了嵌入式实时操作系统μC/OS以及FIFO器件,在此基础上阐述了一种基于ARM7嵌入式处理器以及μC/OS-Ⅱ系统的FIFO驱动的编写方法。     

嵌入式μC/GUI的移植与平台开发

介绍一种优秀的嵌入式图形支持软件——μC-GUI，初步构建了基于S3C44BOX微处理器的嵌入式GUI（图形用户界面）开发平台，并分步介绍了将μC／GUI移植到此嵌入式系统平台的方法。最后在构建好的平台上开发并运行一个GUI实例，验证了此平台的成功开发及其应用的优越性。     

Vxworks嵌入式实时操作系统任务调度方法研究

介绍了Vxworks嵌入式实时操作系统内核任务调度的4种方法,针对嵌入式实时操作系统多线程实时调度的应用需求,在对Vxworks嵌入式实时操作系统调度原理与方法进行分析研究的基础上,根据指定应用环境的设计指标与方案,对Vxworks嵌入式实时操作系统系统任务调度方法进行了分析比较,通过仿真实验的方式对其性能进行测试,并得出了方法适用性的相关论断,从而为相关领域嵌入式实时操作系统的技术应用提供参考。     

嵌入式系统中的Flash编程技术初探

Flash存储器具有应用成本低、存储速度快以及可重复擦写次数多等优点,因而在嵌入式系统中取得了广泛的应用.本文对嵌入式系统的Flash编程方法进行了介绍,然后在此基础上探讨了一种新型的基于多层结构的Flash编程模式,目的是希望提升Flash的编程质量和效率,从而促使其能够在嵌入式系统中得到更好的应用.     

硬实时软件建模与分析的进程代数方法

针对硬实时软件缺乏有效的系统动态行为建模机制,提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基础上扩展硬实时语义得到硬实时通信顺序进程;然后提出时间调度算法,用于检查硬实时系统单个指令截止期的可满足性以及计算完成任务所需的最少时间;最后通过航空领域的一个实例来说明该方法如何应用于硬实时软件的建模与分析。该方法可以很大程度上提高硬实时软件执行时间计算的准确性,计算结果有助于硬实时系统截止期的量化分析和优化设计。     

基于VxWorks的网络数据实时处理软件的设计与实现

机载实时数据处理可以大幅提高数据处理的效率。为满足机载网络化测试系统架构下的实时数据处理的需求,设计并实现了一种基于VxWorks的网络数据实时处理软件。该软件运行在多核嵌入式数据处理系统上,通过多任务并发执行的方法保证实时性。软件运行过程中利用零拷贝技术实时接收机载测试系统发送的网络包数据,然后按照自定义的文件格式存储原始数据,同时将需要处理的网络包存入数据处理缓存中,根据网络数据协议实时解析网络包数据,最后利用预留缓存的办法将处理结果写入结果文件。实践证明,该软件能快速接收并实时处理网络数据,同时将原始数据和结果数据进行存储,该方法有效提高了数据处理的效率,为飞行试验数据处理提供了新的途径。     

基于时间STM的软件形式化建模与验证方法

状态迁移矩阵(state transition matrix,简称STM)是一种基于表结构的状态机建模方法,前端为表格形式,后端则具有严格的形式化定义,用于建模软件系统行为.但目前STM不具有时间语义,这极大地限制了该方法在实时嵌入式软件建模方面的应用.针对这一问题,提出了一种基于时间STM(time STM,简称TSTM)的形式化建模方法,通过为STM各单元格增加时间语义和约束,使其适用于实时软件行为刻画.此外,针对TSTM给出了一种基于界限模型检测(bounded model checking,简称BMC)技术的时间计算树逻辑(time computation tree logic,简称TCTL)模型检测方法,以验证TSTM时间及逻辑属性.最后,通过对某型号列控制软件进行TSTM建模与验证,证明了上述方法的有效性.     

实时应用中软件时统的设计与实现

就实时测控软件的开发与运行环境问题,简单介绍了硬件时统设备在实时测控中的作用和重要地位以及实时操作系统的时间管理方式.针对软件时统设计中的两个关键技术展开分析与讨论,对软件时统的主要功能设计进行了重点描述,并给出便于程序开发的进程关系流图.     

μC/OS-Ⅱ系统下的代码执行时间测量方法

针对航空航天、军事、核工业等关键领域对软件实时性的苛刻要求,提出一种基于μC/OS-Ⅱ实时操作系统的代码执行时间测量方法。分析了对代码执行时间的测量影响较大的因素,并在最终测得的代码执行时间中去除了这些因素的影响。使用Microsemi SoftConsole IDE集成开发环境,在基于Cortex-M3核的SmartFusion主控芯片上实现了相关的代码。测量了μC/OS-II在SmartFusion平台下的一些实时性指标,为代码的实时性提供了一个时间上的参考,为系统的实时性提供了保障,具有较高的实用价值。     

飞行控制软件周期任务的定时周期设计

飞行控制系统是典型的硬实时系统,任务周期设计是飞行控制系统设计的基础。为了保证飞行控制软件满足实时性和功能性要求,在系统设计初期进行的任务周期设计首先需要根据任务功能、时限要求和设计指标的不同,区分每个任务周期设计的侧重点并进行分类;结合飞行控制软件中周期任务的特点,确定飞行控制软件中任务周期设计的所有时间约束;根据任务的所有的时间约束条件进行任务周期的设计。这种设计思路及方法已经在具体案例的设计中使用,其对于飞行控制软件的设计具有很好的参考意义。     

MCU平台的嵌入式系统软件设计研究

嵌入式系统的运行需要可靠性和实时性的保证,因此良好的可靠性和实时性是嵌入式系统软件设计的重要标准。同时为了使软件系统的鲁棒性更强,嵌入式系统的设计需要一个非常好的软件架构。这里介绍了一种基于MCU平台的嵌入式系统软件架构方法。在这个方法中,事件驱动机制的引入满足了对软件架构的要求,主程序中不仅采用了优先调度机制,同时也加入了软件抗干扰措施,这些都使系统的实时性和可靠性得到了明显的提高。设计实验比较由该方法得到的软件架构与原始软件架构的实时性,得出由该方法优化后的软件架构确实具有更好的性能。     

基于VeriStand的实时飞行测试系统设计与实现

针对飞行器改装带来的实时模飞测试问题,提出了一种实时飞行测试系统设计及实现方案。首先分析了待测飞控及安控系统的工作过程和技术特性,给出了实时测试系统应该具备的功能。基于功能需求,明确了系统采用PC上位机-PXI实时下位机的硬件架构,同时给出了上位机、下位机的硬件资源配置。系统采用VeriStand、MathWorks Simulink?、LabVIEW分别完成实时测试项目配置与管理、实时模型开发、虚拟串口设备驱动开发任务,并详细讨论了实时模型和虚拟串口设备驱动的开发过程。最后分析了实时测试结果。     

基于RTAI的实时Linux系统构筑及其嵌入式程序移植

实时Linux操作系统已逐渐被人们用作嵌入式应用软件的支撑平台，它在提供了一个优异的实时可控制性的同时，也不可避免地带来了一些相关问题。本文结合基于RTAI的实时Linux系统的构筑以及在其上开发一个GPS应用程序的经验，阐述了在RTAI系统上开发应用软件中遇到的诸如程序流程控制、串口实时传输和远程控制等几个关键问题，并探讨和给出了相应的解决方法。     

应用形式化与实时语言的面向方面方法

面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式织入系统功能代码中的软件开发方法,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。形式化和实时语言为面向方面方法贯穿于实时软件开发提供了必要的支持,以形式化方法AO-RT-Z和实时语言PEARL为基础,给出了一种面向方面的实时软件开发框架,实现了软件生命周期各个阶段对面向方面的无缝支持,降低了实时软件开发的复杂性,提升了系统的可信度。