-
题名交互式维护系统中有限状态机的设计与实现
被引量:2
- 1
-
-
作者
吕镇邦
沈新刚
邹会荣
施伯乐
-
机构
航空工业西安航空计算技术研究所
复旦大学计算机科学与技术学院
-
出处
《计算机应用与软件》
北大核心
2020年第5期15-19,24,共6页
-
基金
装发预研重点基金项目(41403020102)。
-
文摘
针对飞机外场维护中存在的维护场景复杂、专用设备种类繁多、状态转换频繁、维护过程不规范等实际工程问题,提出一种基于有限状态机的交互式维护系统开发方法。描述系统的设计框架和通信协议;设计符合飞机维护领域标准的状态机模型,包括维护人员、ARINC624和成员设备状态机模型;解决状态机模型的多线程设计和同步问题,实现人机交互维护过程。通过在机载维护仿真平台中的使用,证明了采用有限状态机的设计理念可准确描述被测对象的行为,根据不同的测试指令和反馈消息完成状态跃迁,并有助于提高软件的通用性、健壮性和可扩展性。
-
关键词
有限状态机
交互式维护
状态转换
多线程
外场维护场景
-
Keywords
Finite state machine
Interactive maintenance
State transition
Multi-thread
Line maintenance scenario
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向舰载机使用维护的典型人机安全综合评估流程
- 2
-
-
作者
王宇健
刘振祥
-
机构
沈阳飞机设计研究所
-
出处
《飞机设计》
2020年第6期44-47,共4页
-
文摘
为合理规划维修任务、确定维修作业量和优化维修保障程序,针对典型舰载机使用维护场景,提出一种综合化的人机安全综合评估流程。分析工作负荷、人机界面、维修差错等人机安全主要影响对象,建立各影响因素的评估流程,将评估流程要素化后进行分类整合,构建人机安全综合评估模型。基于模型系统工程方法分析舰载飞机维护场景,根据舰载机特定运行场景,采用故障树分析方法,确定影响人机安全的具体行为或故障模式。
-
关键词
人机安全
评估流程
维护场景
故障树
-
Keywords
human-aircraft safety
evaluation flow
operation scene
fault tree
-
分类号
V214.1
[航空宇航科学与技术—航空宇航推进理论与工程]
-