摘要

研究了一种基于SysML建模语言的双余度飞控系统软件的设计方法。分析了双余度飞控计算机的硬件结构,利用SCADE建模工具建立软件的系统架构模型,通过SysML的内部块图构建双余度管理模型。以某双余度飞控系统为例,利用SCADE提供的仿真工具对双余度管理模型进行仿真验证,结果表明所提出的设计方法可行有效。