飞行控制软件测试中的插桩技术

插桩技术是软件测试中常用的关键技术之一.插桩技术应用在飞行控制软件测试中所遇到的一个严重的问题是其带来的额外开销将导致原程序的实时性下降甚至软件的失效.针对该问题,提出了一种基于布尔型存储数组的新的插桩方法.与传统方法相比,该方法优化了插桩的内容,降低了插桩对程序实时性的影响.搭建了一个仿真测试平台并以某型飞行控制软件为实验对象验证了该方法的有效性.实验结果表明该方法大大减少了插桩后程序的运行时间,保证了飞控软件的实时性要求.     

飞行器控制软件的Statechart原型及其验证

为快速构建飞行器控制软件的系统功能与行为模型,以无人飞行器为时象研究了一种飞控软件的Statechart原型(简称SCP)及其验证技术。基于软件虚拟原型,该SCP采用形式化语言Statechart对飞控软件进行自顶而下的功能与行为建模。先通过顶层模块定义系统的入口与主流程,接着构造两个并发的子模块：主控模块描述飞行控制与设备管理的状态演变,定时控制模块完成控制输出的实时更新。之后分别从语法、功能及性能3个层面对SCP进行验证与测试,并给出相关实验。该SCP具有层次性、模块化、可视化、可执行和快速反应等特点,适用于各种复杂嵌入式系统(包括有人飞行器和高空高速无人飞行器的飞控系统)的软件规范设计。     

FMS动态调度软件自动生成

在面向对象建模的基础上，首先给出了FMS的对象模型，着重研究了FMS动态调度软件自动生成的关键技术。在FMS调度软件的自动生成中，作者提出了运用构造调度指令表的方法，比较好地解决了FMS高度软件自动生存中系统触发唯一高度活动问题，而且将源代码自动生存的顺序，转化为调度摊在调度指令表中的顺序的生存，降低了软件自动生成的难度。文中给出了关键操作的算法，并考虑了死锁的预防，文末给出了应用实例。     

JKCR120／800B型微机数控纤维缠绕机控制软件的研制

本文介绍了ＪＫＣＲ１２０／８００Ｂ型微机数控纤维缠绕机的控制软件，内容包括该软件的特点及其主程序，分频中断子程序和键盘中断子程序的编制。     

适应性调控系统ALSYS信息流分析

分析了ＦＭＳ控制系统信息流，总结出ＦＭＳ信息流的任务和结构特点。结合与德国合作项目“ＦＭＳ适应性调控软件ＡＬＳＹＳ”的开发，对该系统的信息流做了实例分析     

飞机结构件在FMS中加工的特点和要求

从工艺准备、工装设计、刀具管理及技术经济效益等几方面阐述了飞机结构件进入柔性制造系统（ＦＭＳ）中加工的特点，并结合柔性制造系统运行实践，提出了ＦＭＳ设计时的基本要求。     

日本柔性制造系统的发展

自1967年英国研制出世界第一条FMS（Flexible Manufacturing Systcm）以后，其优越性性为世界所瞩目，更引起擅长借用西方智慧和日本的注意，于1979-1982年间，就开发出35条FMS，到1983年底，已建成FMS75条。（据联合国资料，1985年世界有FMS350条）现在     

控制系统飞行控制软件重用技术研究

探讨了航天型号控制系统飞行控制软件的重用技术。结合航天型号控制系统飞行控制软件的研制现状,针对现行软件开发过程中存在的问题,按照代码重用、任务重用以及代码自动生成的思路阐述了飞行控制软件的重用应用。     

面向AOCS软件的构件技术研究

为了对航天器姿态轨道控制系统(AOCS)领域进行大规模的软件复用,与国内该领域现有的复用技术不同,介绍了一种基于构件的AOCS控制软件框架技术.首先简要描述了AOCS软件的框架构件模型、AOCS软件总体框架以及框架中各种构件间的通讯方式,接着给出了应用这种复用技术的一个具体实例,最后指出了这种框架构件技术的应用前景.     

FMS通信技术和制造信息服务研究与开发

以柔性制造系统FMS-500为应用背景,提出了在工业控制实时局域网基础上适合FMS实时控制和信息集成需求的通信体系结构,并以加工中心为例介绍了底层设备FMS通信接口和制造信息服务的设计与开发.