一种模型驱动的嵌入式控制软件设计技术研究

针对当前嵌入式控制软件开发方法的不足,研究了一种将常规模型驱动开发技术与基于模型系统设计方法相结合的嵌入式控制软件模型驱动开发技术,首先分析了其应该具备的功能、特征并给出了方案实施步骤;然后,详细研究了方案中的PIM模型设计方法、PSM模型(代码)层次结构及OXT框架,并开发了针对Arm-Linux平台的适配器;最后,给出了基于该方法设计的微型飞行器控制软件运行测试实例.     

基于TMS320C6202的嵌入式系统实时软件模块设计

首先介绍了DSP嵌入式系统的基本概念、显著技术特性以及C6 0 0 0的软件编程环境和特点。再从工程和系统的角度出发 ,在设计一个实用高速DSP嵌入式系统———基于TMS32 0C6 2 0 2的实时多目标识别跟踪平台的基础上 ,详细介绍了该系统的软件体系结构和开发流程 ,进行了实时模块设计。并总结了在实际系统软硬件集成实验过程中的若干编程技巧和要点。     

空空导弹飞控软件实时仿真系统研究

飞控软件仿真技术已经成为现代化数字空空导弹研制的关键,如何对飞控软件进行验证是空空导弹研制的重点。分析了空空导弹飞控软件实时仿真系统实现的关键技术,建立Windows XP RTX实时操作系统平台和DSP嵌入式飞控软件调试系统,利用双口RAM实现数据交互,并采用外部硬件中断源协调各功能模块。以此为基础,设计了一套飞控软件仿真系统,联调测试表明,该仿真系统很好地解决了飞控软件的动态实时仿真问题。     

FMS可视化建模、仿真和验证的集成设计方法

本文提出了一种运用面向对象的建模语言“统一建模语言(UML)”和SPIN(PROMELA模型)来对柔性制造系统进行建模和验证的方法。运用UML中的类图来表示FMS中对象之间的静态关系,运用状态图来描述系统的动态行为。然后将UML的模型自动转化为PORMELA模型,运用模型检查工具SPIN来对此模型进行检查,以验证模型的正确性。此方法可以描述和检查系统的性质,从建模,仿真一直到模型检查,提供对FMS的全面系统的设计,并可被用来设计可靠的FMS控制软件。     

基于组态软件和Matlab的系统实时仿真平台设计

设计了一种基于力控组态软件、Matlab、VC++的控制系统实时仿真平台.该平台用Matlab建立被控对象模型,用力控组态软件实现上位机图形界面,用VC++编写控制算法模拟实际控制器.三者之间通过DDE协议完成通信.该方法弥补了试验条件的不足,为系统稳、动态性能分析提供了方便、快捷的实现途径.将该平台应用于压力无关型变风量空调末端控制仿真,实验结果验证了其可行性.     

XML仿真想定的Vega可视化研究

仿真想定开发是军事仿真中的重要环节.如何将作战任务从军事自然语言描述最终转换成视景仿真表述,是军事推演仿真中急需解决的问题.主要讨论使用XML技术和Vega技术相结合完成任务计划想定视景仿真的方法.首先描述了军事想定的概念、意义和建模方法,然后通过实例描述了任务计划想定的建模和形式化描述过程,继而阐述了使用Vega视景仿真表现XML想定的方法,最后确认了该思路的可行性,并总结了若干实践经验.     

基于UML实时扩展的嵌入式软件测试用例生成技术

将统一建模语言(unified modeling language, UML)和对象约束语言(object constraint language, OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程。然后,给出了UML状态图和类图的实时扩展方法。最后,结合航空电子系统嵌入式软件测试用例生成过程,详细阐述了被测系统的静态和动态建模,提出了扩展的测试序列定义及其生成方法,最终将所生成测试用例采用扩展标记语言(extensible markup language, XML)格式存储。工程应用验证表明,上述方法可充分发挥UML作为工业标准的工具资源优势,提高嵌入式软件测试用例生成的准确性、有效性和自动化程度。     

基于面向方面技术的HLA联邦成员开发方法

高层体系结构的联邦成员中存在大量的横切关注点,直接影响了联邦成员的开发和性能。利用面向方面的编程技术,能够有效地解决邦员的横切问题。介绍了联邦成员横切关注点的确定和方面的分离,面向方面的邦员实现,用扩展的UML表示面向方面的邦员建模,结合一个恒温供热仿真系统邦员的开发实例,详细阐述了面向方面的联邦成员开发方法。     

嵌入式Linux系统实时性能测试研究

为了对比分析嵌入式实时Linux系统和嵌入式Linux系统的实时性能差异,提出了软硬件协同测试的思想,以任务响应时间和中断响应时间为切入点,依托软件编程和硬件辅助设备分别测试了二者的实时性能。测试结果表明,经过实时化改造后的Linux系统其实时性能较标准Linux有了很大改善,尤其是在有背景负载情况下这种改善更为明显。分别给出了软件和硬件测试的原理和方法,通过两者测试结果的对比分析,相互验证了测试结果的有效性和合理性。     

嵌入式实时调度系统抖动稳定性分析

分析了嵌入式实时调度系统中控制任务的采样周期和延时不规则抖动属性及稳定性能。并且,针对抖动范围有界但抖动属性不能精确已知的离散状态系统,提出一个保守的系统稳定性充分判据。该判据将抖动引起的时变不确定性描述为系统的离散时间闭环区间状态矩阵,利用李雅普诺夫方程和矩阵的无穷范数,导出区间系统鲁棒稳定的充分条件。该方法计算量小且能减小区间代数计算结果易于扩张的问题。仿真算例表明该判据简单有效且能降低保守性。     

一种实时系统中实现可视化仿真模拟测试的方法

探讨了一种为复杂的嵌入式系统搭建软件仿真平台的方法,给出了详细的系统架构和前后台的设计。该方法通过网络协议将界面开发工具和程序开发工具联系起来,从而实现了仿真平台的界面直观、操作方便。这种方法的特点是实现简单,具有通用性,可应用于一般生产监控实时系统中。     

63A水陆坦克驾驶训练模拟器仿真软件的研制

63A水陆坦克驾驶训练模拟器是一个具有两个自由度、能完成陆地和水上模拟训练任务的仿真系统，其仿真软件由视景仿真、姿态仿真、运动学动力学仿真、声音仿真和考评等五个功能模块组成。本文建立了各模块的仿真模型，基于VizualC 和8098汇编语言开发了仿真程序，并进行了模型检验，该软件已得到实际应用，效果良好。     

坦克综合训练模拟器的软件系统

坦克综合训练模拟器是一个三乘员三自由度综合训练模拟系统。其应用软件系统由视景仿真、运动学动力学仿真、姿态仿真、声音仿真和通讯等七个软件组成。本文介绍该模拟器的软件系统的功能、特点、开发与应用。     

视景仿真系统的一种软件体系结构

当前,软件体系结构在各个应用领域的研究成为热点,从而,基于已研和在研项目,本文提出了视景仿真系统的一种PRCE软件体系结构—“物理构件-表现构件-控制器-引擎”,设计并实现该软件体系结构的各个构件以及构件之间的设计模式,应用到项目开发中,并进一步分析其性能。     

基于分形的软件衰退预测

许多研究人员指出导致软件性能衰退的主要原因之一是系统资源的耗尽,而软件系统实时运行时采集到的系统资源耗费数据展示出了分形这一几何特征,因此应用了基于分形分析的方法,计算反映软件衰退状态的霍尔德指数,实现软件性能衰退的预测。首先改进和扩展了霍尔德指数计算算法,使得能够计算多维霍尔德指数;然后使用经典的统计方法预测软件衰退导致宕机的时间,接着用实验验证了改进的多维霍尔德指数计算算法的精度,最后使用软件运行中采集到的系统资源耗费数据进行了仿真实验,实验结果显示该算法有效的预测宕机时间,从而为执行软件自愈策略提供依据。     

实时任波流的一个接入控制算法

研究具有实时限制的任波流的接入控制算法，对给定时间要求的任波流，当该算法运行结果给出成功信息时，就找到了满足要求的任波路径和其目的地，接着只需检验对应道路上的带宽是否足够即可。该接入控制算法是可规模扩充的。     

分布式控制系统可视化组态仿真软件开发

介绍了最新研制的基于分布式控制系统的火电站全ＣＲＴ仿真培训装置中热力系统控制回路的可视化组态软件系统。该系统采用面向对象的开发手段,具有易用性,开放性和通用性等特点。该系统具有在线组态功能,可以根据组态结果直接实现控制策略,同时可进行控制系统结构和参数的在线修改。     

土地利用规划的系统方法及软件工程

本文围绕着土地利用规划编制的科学方法和土地利用规划实施的技术手段进行了深入的探讨,论述了土地利用规划系统方法的原理、模型体系及与之相配套的软件工程,为土地资源的合理利用和管理控制提供了一种新的方法和手段