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

• 作者: 杨忠 樊琼剑 沈春林 谭皓
• 来源期刊: 南京航空航天大学学报
• 学科: 工学
• 关键词: 飞行器 控制软件 虚拟原型 离散状态图
• 年，卷（期）: 2005,（2）
• 页码范围: 217-221
• 页数: 5页
• 分类号: TP368
• 字数: 3814字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-2615.2005.02.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈春林	南京航空航天大学自动化学院	167	2275	26.0	37.0
2	谭皓	南京航空航天大学自动化学院	9	201	6.0	9.0
3	杨忠	南京航空航天大学自动化学院	125	1388	18.0	32.0
4	樊琼剑	南京航空航天大学自动化学院	21	251	8.0	15.0