SCADE平台下机载综合处理设备二余度切换逻辑设计方法

郭玉洁; 李昊昱; 马浩; 周斌; 汪利建

doi:10.13682/j.issn.2095-6533.2026.03.012

西安邮电大学学报 ›› 2026, Vol. 31 ›› Issue (3) : 119 -128. DOI: 10.13682/j.issn.2095-6533.2026.03.012

SCADE平台下机载综合处理设备二余度切换逻辑设计方法

郭玉洁, 李昊昱, 马浩, 周斌, 汪利建

作者信息 +

Author information +

文章历史 +

摘要

为满足机载综合处理设备对高安全性、高可靠性及低成本的需求，提出一种基于模型驱动开发的机载航电综合处理设备整机二余度-模块多余度切换逻辑设计方法。从二余度系统架构与安全性需求出发，基于SCADE工具链设计了涵盖健康状态监控、切换逻辑及数据输出的完整逻辑模型，并利用SCADE Design Verifier对模型进行形式化验证，证明其满足无死锁、无不可达状态及主从互斥等关键安全属性。通过模型驱动开发可减少约40%的编码与单元测试工作量，提升了开发与DO-178C认证效率，所设计的切换逻辑有效提升了系统的正确性与可靠性，为同类低成本高安全系统开发提供了可复用的工程实践参考。