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

作     者：杨忠 谭皓 樊琼剑 沈春林 YANG Zhong;TAN Hao;FAN Qiong-jian;SHEN Chun-lin

作者机构：南京航空航天大学自动化学院南京210016 

出 版 物：《南京航空航天大学学报》 (Journal of Nanjing University of Aeronautics & Astronautics)

年 卷 期：2005年第37卷第2期

页      码：217-221页

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

主 题 词：飞行器 控制软件 虚拟原型 离散状态图 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1005-2615.2005.02.018

馆 藏 号：203331629...