基于Simulink/AMESim控制系统仿真研究

利用基于MATLAB平台的Simulink和AMESim软件的各自特点,将用Simulink建立的控制系统模型转化成AMESim模型,在AMESim软件中建模仿真,并与Simulink的模型进行对比验证一致性。     

基于模型的开发方法在通讯管理模块软件中的应用

本文介绍了Harmony的基于模型的嵌入式软件开发方法，并采用该方法对综合数据管理系统中的通讯管理模块应用软件进行了软件实现。介绍了通讯管理模块所应完成的功能，阐述了采用基于模型的开发方法所设计的类及其功能，也描述了这些类的关系以及状态图。最后阐述了Rhapsody根据模型自动生成代码和可执行文件的方法。     

基于ATL引擎的UML到Simulink模型转换方法研究

针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink／Stateflow的模型转换方法,建立UML状态机元模型、Simulink／Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例,验证该方法的正确性。方法实现UML设计模型和Simulink仿真模型的自动转换,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为嵌入式软件开发提供了技术支持。     

基于模型的飞机机电综合管理系统设计应用研究

针对飞机机电综合管理系统功能高度集成、系统架构和接口设计复杂等特点,基于Harmony MBSE设计方法,开展了基于模型的机电综合管理系统设计应用研究。采用系统建模软件Rhapsody构建了某型飞机机电综合管理系统需求模型、功能分析模型和架构设计模型,实现了系统需求确定、功能分解、架构设计等关键技术过程,并通过状态机模型对系统设计的正确性进行了验证。应用结果证明,该方法可以有效支持机电综合管理系统的研制,为复杂系统的设计提供了一种有效的实施途径。     

基于Rhapsody的综合数据管理软件设计与实现

介绍了基于Rhapsody的面向对象的设计方法在综合数据管理软件中的应用。对软件的功能进行了描述,阐述了采用面向对象的方法所设计的类及其操作。对其中需要起动任务运行的类的状态图进行描绘,对软件中各元素的集成也进行了说明。采用该方法设计并实现的软件已经在某飞机上运行并得到了验证,其功能和性能能够满足飞机的使用需求。     

基于UML的可执行模型实现机制研究

模型驱动开发(MDD)是由OMG提出的通用软件开发标准,旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用UML作为建模语言,然而UML是一种符号化语言系统,其语义采用自然语言描述,是半形式化语言,无法精确和严格描述模型行为从而实现模型的验证。为了解决这个问题,提出一种UML模型验证的方法,其核心是xUML的状态图,xUML是UML的增强子集,拥有精确的语义。并在分析Rhapsody可执行框架OXF的基础上,设计并实现了一个模型可执行框架。最后通过一个模型执行的例子验证了该框架的可用性。     

基于滑模控制器的PMSM的矢量控制系统研究

为了提高三相PMSM调速系统的动态品质,利用滑模控制对扰动和参数不敏感,相应速度快等优点,设计了一种基于滑模控制的速度控制器。利用MATLAB/Simulink仿真软件,搭建控制系统模型并进行仿真分析。仿真验证了所提永磁同步电机速度控制器的有效性,获得很好的速度跟踪精度和抗负载扰动能力。     

基于Questasim与Matlab/Simulink的光纤陀螺代码验证技术研究

介绍了基于联合仿真的光纤陀螺（FOG）代码验证技术,并把该技术应用于光纤陀螺（FOG）闭环反馈模块的验证中。应用Questasim与Matlab/Simulink软件的各自优点,进行联合仿真,可以提高设计效率,降低研究成本。     

模型驱动设计方法在显控系统软件中的应用

本文介绍了应用Rhapsody支持的模型化设计方法进行显控系统的软件设计,在PC视窗环境下运用OpenGL显示图像。该技术可用于显控系统软件设计方法的提升,也可用于型号显控系统的前期论证演示。     

基于Simulink的无人机自主飞行全程仿真研究

研究在Simulink下进行无人机自主飞行全程仿真的方案,用Aerospace模块建立无人机的非线性数学模型,以Simulink的使能模块构造内回路控制律,Stateflow实现外回路的制导、导航模块,并使用仪表模块和虚拟现实模块实现实时监控,可以搭建出完全基于Simulink的模型,能够实现控制律和控制策略的仿真验证。无人机的多模态仿真结果说明Matlab/Simulink下实现飞行控制全程仿真的有效性。     

软件测试的控制论方法

 软件测试被认为是软件开发过程中理解最为不清的一环。部分原因是虽然有很多策略被定义和分析,但很少有策略被设计和优化。软件测试的反馈机制迄今尚未形成。基于此种情况,软件测试的控制论方法将软件测试问题当作控制问题,被测软件当作被控对象,软件测试策略当作相应的控制器,被测软件和测试策略构成一个闭环反馈控制系统。软件控制论是一门探讨软件理论和工程与控制理论和工程交叉的学科,软件测试的受控马尔可夫链方法利用受控马尔可夫链理论设计和优化软件测试策略,是软件控制论思想的体现。在受控马尔可夫链方法的框架内讨论软件系统的自适应测试,并与随机测试进行比较,发现自适应测试方法相对于传统的随机测试方法具有较大的优越性。     

基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。     

计算机软件可靠性分析及抗不可靠性方法

现代技术数字化、自动化、智能化、系统化及综合一体化的高速发展,计算机软件起着重要作用。软件的可靠性是软件研制和开发中的关键问题。对软件的可靠性进行了全面分析,以实例阐明不可靠软件导致的突发性、灾难性后果。给出了软件可靠性预计表达式。提出并探索了排除软件不可靠的方法,这些方法可方便地应用于工程实践。     

基于特定域软件体系结构的软件开发

特定域软件体系结构（DSSA）是美国国防部倡导的于90年代出现的软件开发新技术,它通过域分析和造型,得到软件参考体系结构,为软件开发提供了一种通用性构架,提高了软件开发的效率;其生命周期和传统开发方法的生命周期大不相同。DSSA还和软件重用紧密结合在一起,更增强了它的开发能力。     

Performability analysis of avionics system with multilayer HM/FM using stochastic Petri nets

The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management (HM/FM) scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets (SPN) to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.     

导航计算机测试软件的架构设计

为解决多种型号被测产品、在不同测试设备上的测试软件开发的问题，尽可能地缩短开发和调试时间，并确保软件的开发质量，提出了一种针对导航计算机测试这一特定领域，以提高扩展性和重用性为目标的软件架构。该架构提供了统一的测试软件设计和开发方法，规范了软件的实现过程，为测试软件的开发提供了一致性的解决方案。采用组件化的开发方法，将具有复用价值的内容封装为组件，为测试软件开发和运行提供了共享的基础平台；提供了开放式的体系结构，规定了内部的组织结构、组件类别与职责、接口规范、交互方式、组件开发方法，便于软件的扩展和修改。经过工程项目的验证，该架构满足在各种专用测试设备上、针对不同型号被测产品的测试软件快速、高质量开发的需要。     

软件体系结构的探讨

软件体系结构是软件工程中的一个新兴研究领域，它与软件工程技术的发展有着密切的关系。首先，从软件工程技术的发展了解软件体系结构研究的必然性；然后，给出软件体系结构的概念描述，介绍有关体系结构研究的内容；最后，举出一个实例。     

基于故障注入的实时嵌入式软件仿真测试技术研究

由于强实时性、参与闭环控制、软硬件耦合及可靠性要求高等特点,飞行控制系统嵌入式软件在软件研制、测试及验收阶段往往缺少动态测试环境。本文在仿真测试技术基础上,针对飞行控制系统嵌入式软件的特点与测试需求,进行了基于故障注入技术的仿真测试技术研究,设计了一种实时嵌入式软件仿真测试平台方案。     

弹载专用计算机工作软件测试分析

弹载专用计算机软件是影响导弹飞行的关键软件,在研制单位进行软件测试后,应由监造单位组织第三方独立的测试。文中介绍了软件测试的体会,强调对飞行控制软件的测试需要一定的理论支持和丰富的实践经验,在软件测试中,对软件设计提出了修改意见,以加强软件研制的质量监督。     

遥测软件标准化复用库系统的设计与实现

利用软件复用技术充分提取遥测处理的共性,构建脱离具体任务和操作系统,符合C编码规范的遥测软件标准化复用件,并形成复用库。遥测软件标准化复用库适用于多任务和多系统平台,可以充分提高软件的开发效率和质量,降低程序维护的工作量和难度,并对各测控单位开展测控应用软件标准化复用库系统的建设起到借鉴作用。