简介：摘要：信息化时代，机务维修工作的开展，需依靠自动化系统而进行。需全面完善安全管理理论体系，这样就可以降低飞机事故率，保障航空事业的发展。在本文的分析中，基于形式化STPA的机务维修模块设计进行分析，为相关维护工作的开展提供良好的参考，同时保障飞机可以实现稳定的飞行。
基于形式化STPA的机务维修模块研究
