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

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

基于Windows CE.net平台的COM型嵌入式软件系统的设计与实现

首先介绍了嵌入式软件系统实现的主要功能，提出了嵌入式系统软件的设计架构，并根据所提出的模块式、组件式软件结构设计了一种用于地图导航和短消息通信的嵌入式软件系统，分析了软件设计中的一些关键问题并给出了解决方法，这种设计缩短了软件开发周期，提高了运行效率，对嵌入式软件的开发有着良好的借鉴作用。     

松耦合嵌入式软件系统设计研究与实现

本文在嵌入式软件设计的基础上,提出了一种松耦合设计的方法.通过嵌入式软件系统地横向松耦合,实现了嵌入式系统中各个子模块可以单独编译,单独运行,模块间故障隔离以及系统运行时动态升级的目的;通过嵌入式软件系统的纵向松耦合设计,实现了嵌入式系统跨操作系统,跨硬件平台运行的需求.通过实验结果以及在数据通信设备中的应用表明,松耦合嵌入式系统设计具有良好的可扩展性和可移植性,非常适合现代通信系统的要求.     

军用航空机载嵌入式软件第三方测评发展与挑战

随着国内第三代航空机载系统软件的研制,作为军工产品鉴定/定型考核试验的软件第三方测评在管理理念和测试技术等方面均取得了卓有成效的成绩.航空机载系统提升至第四代后,机载嵌入式软件在系统架构、新一代机载网络、基于模型的系统工程和人工智能应用等方面实现了跨越式转变,软件第三方测评在技术方面受到了严峻的挑战.描述了软件第三方测评的发展,分析了遇到的挑战,提出解决方案和应对新技术的测试重点.最后,描绘了军用航空机载嵌入式软件在未来几年的发展趋势和软件第三方测评的发展方向.     

嵌入式软件可靠性测试系统及其通信研究

传统的嵌入式软件测试系统，不论是单机结构还是分布式结构，在长时间大规模的嵌入式软件可靠性测试时，都在数据传输方面存在相应问题。本文针对嵌入式软件可靠性测试对数据通信的实时性、延迟确定性要求，结合在国防、通信、航天、工业控制等领域广泛应用的交换式以太网技术，介绍了一种星型拓扑嵌入式软件测试系统原型。     

以嵌入式软件开发模式与软件架构研究

当前,随着信息技术的日趋复杂化,对嵌入式软件开发水平的要求也越来越高,因此,为顺应信息技术的发展要求,嵌入式软件在开发的过程中须注意多功能的研发,确保嵌入式软件系统在操作和运行过程中的稳定性和安全性问题,但是就目前来看,嵌入式软件在开发和研制的过程中依然存在着许多问题,技术提升空间比较大.基于此,本文主要分析了嵌入式软件在开发过程中存在的问题,探讨了相关解决策略,以为嵌入式软件开发模式及其架构的研究提供参考.     

基于B/S架构的数据库原理及应用课程线上教学辅助系统设计

针对现有线上教育辅助系统存在事务成功率低、中央处理器（Central Processing Unit,CPU）占用率高的问题，研究基于浏览器/服务器模式（Browser/Server,B/S）架构的数据库原理及应用课程线上教学辅助系统。系统硬件设计方面，通过设计B/S架构进行数据访问与调用，安装数据处理芯片保证系统正常运行。系统软件设计方面，通过计算实际运行过程中的加密协同值对学生登录信息数据进行加密，对教学资源数据属性进行划分，实现优质教学资源的共享与存储。测试结果表明，该系统能够在规定时间内完成大规模并发访问，有效降低了CPU占有率，具有一定的应用价值。     

基于SPARC V8虚拟仿真测试平台的设计与实现

提出一种为SPARC V8微处理器搭建全数字仿真测试平台的方法,给出了详细的系统架构和设计方案.采用有限状态机构建系统模型,并对五级流水线和内存系统仿真等关键问题进行研究,设计并实现了SPARC V8微处理器的内核仿真器和与之相配套的仿真调试器.为目标软件的运行和调试提供了灵活的方法,解决了基于特定平台的实时嵌入式软件测试难以发现和定位错误的问题.     

一种嵌入式软件并行处理框架设计

在电子类产品设计中,嵌入式软件对提升产品自动化、智能化水平,发挥着不可替代的重要作用,同时系统对嵌入式软件的实时处理和并发处理能力也提出了更高的设计要求.该文提出了基于组件的数据驱动运行方式,采用FIFO+信号量+线程+CPU负载均衡等编程技术实现了一种任务级并行处理架构(适用于Windows和Linux操作系统),并...     

对计算机软件设计中嵌入式实时软件的运用分析

嵌入式实时软件的主要特征表现在三个方面,依次为时限性、可靠性以及安全性[1].在嵌入式系统中,时限性是极为关键的因素,主要作用表现在确定性方面,若不满足时限需求,则有可能给嵌入式实时软件带来严重的影响;同样地,计算机系统和工作时间均会对嵌入式软件的系统产生影响,在其管理因素中,最重要的便是可靠性,若在规定时间中未完成任务,威胁到可靠性,也会影响到嵌入系统,甚至造成经济损失;除此之外,只要工作的环境足够安全,计算机运行中运用嵌入式系统时,其安全性方可得到保证,且系统也能够高效运行.     

基于MDA的汽车嵌入式软件系统架构设计

为了高效管理愈来愈复杂的车辆电子、软件系统,并且在确保产品及服务质量的同时,提高成本效率,以统一建模语言(UML)和系统建模语言(SysML)为基础,参照汽车开放系统架构(AUTOSAR),提出一种基于模型驱动架构的汽车嵌入式软件开发方法,并以汽车引擎点火和敲打控制系统为例进行描述.性能分析表明,该方法缩短了汽车嵌入式软件开发周期,降低了开发成本.     

时间和能量敏感的端——边—云车路协同系统资源调度优化方法

随着信息技术的不断发展,智能交通系统逐渐成为未来交通的发展方向.然而,智能交通系统中时间敏感型和计算密集型应用的日益增多,给资源有限的车辆终端带来了严峻挑战.端—边—云层次性计算架构是应对该挑战的有效手段.在基于端—边—云架构的车路协同系统中,车辆用户可以将时间敏感型任务卸载到附近的路边单元执行以保证应用的实时性,而将计算密集型任务卸载到云以满足其算力需求.但是,任务卸载也会导致额外的传输时延和能量开销.此外,任务在传输过程也可能遭受错误而导致可靠性降低.因此,为保障端—边—云车路协同系统中车辆的用户体验,提出一种基于多智能体强化学习的资源调度方案.该方案通过充分利用端—边—云架构的特点并采用集中训练—分散执行的框架来构建深度神经网络,以制定任务卸载和车路计算资源分配的最优决策,最终实现可靠性约束下的系统时延和能耗优化.为验证所提方案的有效性,实验通过效用值来体现算法在时延和能耗2方面的优化.实验结果表明,与现有算法相比,所提方案在满足可靠性约束的前提下,效用值可以提高到221.9%.     

一个嵌入式软件系统开发调试环境的建立

由于嵌入式软件系统往往需要固化在ＥＰＲＯＭ中，其运行平台（目标机）缺少甚至没有对软件进行调试的工具，因此，对于嵌入式软件系统的开发和调试而言，其工程复杂程度要比在通用ＰＣ机上开发调试一个系统软件大的多，本文通过一个作战应用软件系统开发调试的实例，来介绍一种建立嵌入式软件系统开发调试环境的方法。     

基于AVR的新型余氯检测仪的设计

介绍了基于Atmel公司的AVR-ATmega16L单片机的污水检测的设计。该系统由前端发光二极管、光敏电阻电路．MCU处理部分（包括A／D转换、软件滤波、键盘扫描、LCD显示、DS1302实时时钟芯片时间的读取、EEPROM数据存储与读写、下住机通讯）及上住机通讯程序三大块组成。该系统所采用的时间触发嵌入式软件架构，具有普遍意义。     

T-CBESD:一个构件化嵌入式软件设计模型验证工具

现代复杂嵌入式软件系统的高可靠性需要有效的基于模型的设计与分析技术.传统的嵌入式软件可靠性保障技术主要关注于系统开发后期.本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-CBESD(Tool for Component-Based Embedded Software Designs).工具直接使用UML顺序图模型作为系统规约,可以检验系统设计模型与场景式规约之间多种行为一致性问题;并使用消息事件的时间约束不等式,检验实时接口自动机网络与带时间约束的顺序图模型之间的实时行为一致性问题.工具设计与实现内容包括:输入输出接口、顺序图模型的预处理转换、状态空间数据结构设计、抽象验证算法的实现以及通信构件组合系统的实例应用分析.     

Unicore32架构下的Android系统链接加载优化

从Android链接加载系统入手,分析了系统目标文件格式及动态链接器的工作流程.结合Unicore32处理器架构特点,通过重新处理重定位符号、分配程序运行空间等方法实现了Unicore32架构下的动态链接器,重点分析了系统链接加载过程中与处理器架构紧密关联部分.引入了预链接处理工具-Apriori,通过重新分配动态库加载基地址、修改编译控制系统实现了链接优化技术Prelink.实验结果显示:动态链接器运行稳定,Prelink对动态链接性能提升明显,系统进程链接加载时间最高降低达51.47％.Prelink优化效果与程序依赖动态库数量成正比,能明显降低系统启动时间.     

一种用于星球探测机器人的计算系统体系结构

计算系统是星球探测机器人的重要组成部分，它不仅决定了机器人完成任务的能力、对环境事件的反应能力，而且还决定了机器人的生存能力．本文从计算系统的控制模型、容错模型和可靠性等多个方面，综合地讨论了用于星球探测机器人的计算系统硬件架构、软件架构和通信架构，提出了一种高可靠的分布式计算系统架构，为星球探测机器人计算系统的设计提供依据．     

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

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

基于SOA架构的嵌入式软件测试平台

随着嵌入式软件的性能越来越复杂,软件的质量对嵌入式产品的最终质量起到了决定性的作用.嵌入式软件测试是保证软件质量及嵌入式系统质量的重要技术手段,而嵌入式软件测试平台正是为提高测试效率、降低测试费用而提供的操作平台.论文介绍了面向服务的体系结构(Stervice-oriented,简称SOA)的概念及结构模型,着重阐述了如何采用SOA对DSTE(Distributed Simulation Testing Environment)进行架构,并解决了测试中各部分之间信息的传递问题,较好适应了嵌入式软件的交叉测试过程和嵌入式系统资源有限的特点.     

基于大数据嵌入式软件在物联网技术中的应用分析

在物联网技术的研究中，一些常见信息技术的应用并没有解决物联网内部多事务运行障碍问题，物联网鲁棒性比较差。针对此类现象，提出基于大数据嵌入式软件在物联网技术中的应用。在大数据嵌入式软件安装前，将相关文件系统和驱动程序移植到物联网中，保证嵌入式软件安装后能够正常运行，通过嵌入式软件在物联网内部设置事务优先级管理器，控制多事务切换，同时结合软件负载平衡实现物联网技术的正常使用。实验结果表明：应用大数据嵌入式软件的物联网技术在事务数增加不断增加的情况下，数据传输稳定，未发生请求失败的情况，并且其宕机恢复时间0.5 s以内，没有出现死锁情况，物联网的鲁棒性得到了改善。