基于量子框架和Stateflow模型的嵌入式系统软件设计

基于模型的设计是目前嵌入式系统软件设计的发展趋势,对嵌入式系统建模和根据模型自动生成代码是 其关键技术。量子框架作为一种事件驱动型的基础框架,可以作为嵌入式软件运行的支撑平台。Stateflow 模型适用 于描述嵌入式系统的逻辑控制功能,利用RTW 工具可以直接从该模型自动生成C 代码。以某飞行控制系统为应用 实例设计其活动对象和事件,针对时序控制功能建立Stateflow 模型并进行仿真,最后自动生成C 代码与量子框架集 成,从而实现飞行控制系统的软件设计。研究表明：量子框架较好地支持了Stateflow 模型自动生成的代码,两者结 合可以实现基于模型的设计在嵌入式系统软件设计中的应用。     

嵌入式自动代码生成技术应用研究

文中首先介绍了基于模型的设计方法,介绍了自动代码生成技术在机载嵌入式系统中的两种业内认可的解决方案,然后剖析了RTW自动代码生成过程及代码结构,最后给出了实际机载软件开发过程中的应用实例。     

基于Stateflow/Simulink的末制导系统仿真

针对末制导过程中复杂的逻辑监控问题,提出基于Stateflow技术的事件响应仿真模型。并结合末制导过程的制导方式,利用Simulink构建视线模块和制导规律模块。在仿真环境中,两者可以直接进行连结。所构建的模型可以很方便拖嵌到全系统仿真模型之中。仿真实验结果验证该仿真模型具有正确性、实用性和兼容性。     

基于Stateflow的水下航行器容错控制设计

介绍了水下航行器的深度控制方式,并针对姿态传感器的故障提出了一种基于Stateflow的水下航行器深度容错控制方法.     

基于模型的设计在弹载飞行控制器中软件实现的应用

基于模型的设计是面向越来越复杂的嵌入式控制器开发的一个创新的、高效的、具有长远前途的开发范式.采用基于模型的设计对于提升弹载飞行控制器研制部门自主开发能力具有重要的意义,文中以某型号弹载飞行控制器硬件为目标平台,按照基于模型的设计开发流程,实现了弹载飞行器产品级软件开发.对飞行控制器实物输出结果和仿真结果进行对比和验证,表明基于模型的设计在嵌入式控制器开发中所表现出的适用性和高效性.     

基于Simulink/Stateflow的某型战机燃油系统功能仿真

针对某型战机飞行模拟器燃油系统功能仿真中复杂的数值计算和逻辑控制问题,提出一种基于Simulink/Stateflow 的燃油系统建模与仿真方法.在分析仿真需求基础上,应用 Simulink/Stateflow 构建某型战机燃油系统的功能模型并进行仿真验证,说明模型代码的生成及使用.仿真结果表明:该方法能够直观有效地实现某型战机燃油系统的建模与仿真,并生成 C++代码嵌入到仿真平台中,减少代码编写工作量,可为其他机型飞行模拟器燃油系统的开发提供参考.     

基于Web的Table框架设计

基于Web应用开发的Table框架由表现层、传输层及调度层组成,采用面向接口编程实现.其调度层通过XML配置文件初始化系统中的所有Table对象,同时响应客户端请求,完成对Table的处理.表现层采用JSPTaglib技术简化编写脚本的过程.传输层则采用AJAX技术,将Web界面转化成交互性的AJAX应用程序,使Web页面上的其它信息不丢失,保证客户端和服务器端的通信.     

基于ARM和Linux的嵌入式系统软件设计核心技术

基于S3C2410ARM9处理器和Linux操作系统，对阵地手持终端机进行了设计。该系统由核心处理器板、电源管理电路、LCD、触摸屏、按键、锂电池等组成。采用裁减后的Linux作为操作系统，采用MINIGUI开发用户操作界面。软件设计的结构和主要内容包括编制Boot Loader程序启动并加载Linux内核，编译Linux内核和与之配套的根文件系统等。在设计过程中采用接口功能丰富的ARM处理器和开放性好、运行稳定的Linux操作系统，在很大程度上简化了软件与硬件的开发难度，提高了系统可靠性、可扩充性与可维护性。     

基于嵌入式Linux 系统下的Qt 测试软件开发

针对某型通信模块测试装备的嵌入式测试软件图形界面设计,阐述基于嵌入式Linux系统下Qt测试类程序图形界面的开发过程。详细介绍嵌入式Linux下Qt开发环境的搭建,使用Qt视图体系的QGraphicsScene场景及QGraphicsItem子类项完成该测试软件图形界面的设计和方法。结果证明:该图形界面具有开发周期较短、交互界面友好、界面反应速度快等优点,对于类似的嵌入式系统图形界面开发具有一定的参考价值。     

基于无人机的嵌入式标校系统

针对着舰引导系统标校装置中各模块体积大、功率大产生的架设不便和各合作目标独立的问题,结合校飞需求,设计一种便于无人机架设的小型化、轻功率的嵌入式标校方案.该方案合理运用嵌入式软硬件开发有关技术,对着舰引导系统各合作目标进行分析,完成了小型化和一体化的校飞系统设计与实现.研究结果表明:该系统在ARM芯片处理器的统一协同控制和时统下工作,有较强的实用价值,为无人机校飞领域开辟了新的思路.     

基于嵌入式操作系统的伺服软件开发

为了提高伺服系统的性能,在分析伺服结构的基础上,分别采用txC／OS-Ⅱ和TI公司的DSP／BIOS嵌入式操作系统进行了某无刷电机伺服系统的软件开发。介绍了系统设计的硬件组成、软件结构及运行过程,并对所设计的伺服系统软件进行了测试,结果表明,所开发软件满足伺服控制要求,并对这两种操作系统在设计中的使用给出建议。     

嵌入式软件实时动态仿真系统设计

为提高飞控软件研制效率,研制基于真实DSP的软件实时动态仿真系统,该系统采用与弹载计算机相同的DSP板作为仿真对象,通过中断驱动方式,使嵌入式软件运行;通过1553B接口板,RS-422接口板和双口RAM实现与外界的通讯;在仿真计算机上搭建模拟真实外部环境的数学模型对目标进行仿真,从而达到从功能上验证嵌入式软件的目的;最后给出该系统在实际中的应用。     

一种基于某嵌入式软件系统测试的方法

为了保证软件测试的安全性和可靠性,根据某嵌入式计算机软件的系统测试需求设计了一种系统测试的方法.该方法先介绍了军用、民用嵌入式软件测试现状及单位内部测试情况,然后从平台硬件构成、软件设计、主要功能及其应用效果阐述了测试平台的设计思路.研究结果表明:该方法的通信协议可以根据测试需求进行自定义,方法的通用性较强;能够按照项目的需求规格说明书,以脚本的方式自由编写测试用例,自动收集测试数据,提交测试报告,为嵌入式计算机软件的系统测试提供了有力的基础支撑和条件保障.     

光电伺服系统控制程序快速开发方法研究

针对控制系统的设计和开发中,手工方式编写代码存在开发周期延长、效率低下且容易出错的问题,提出一种基于模型设计思路实现控制程序的自动生成方法.以嵌入式光电运动控制系统为实验对象,利用Simulink的工具箱设计控制器以及搭建系统模型,并由框图模型生成产品级代码;通过对比半实物仿真系统和嵌入式系统对电机速度控制的不同效果,对系统进行验证.实验结果显示:由Simulink模型快速生成的代码能有效地完成直流电机速度控制功能,控制程序的开发时间缩短50%以上,证明基于模型设计方法在伺服系统开发中的有效性和快速性.     

嵌入式系统软件实现常见问题分析

嵌入式系统软件在武器系统中的应用越来越广泛,由此而引发的软件错误所造成的损失不可估量。针对嵌入式系统软件设计开发过程中容易出现的余量问题、中断问题等,分析问题发生的原因,找出解决问题和规避问题的方法。     

载人航天工程高可靠嵌入式软件设计方法

航天软件产品日益复杂并且在系统中所占比重越来越大,可靠性越来越受到关注.特别是载人航天任务对航天软件的可靠性提出了更高的要求,要求软件设计必需在保证功能性能正确的基础上,把可靠性措施落实到位,来避免各种存在于软硬件中的缺陷引发故障,最终导致任务失败.从程序设计和数据设计两个角度,来描述载人航天工程高可靠嵌入式软件的一些...