面向DO-178C的襟缝翼控制系统需求的形式化描述.pdfVIP

第 卷 第 期 计 算 机 科 学 ４５ ４ Ｖｏｌ．４５Ｎｏ．４ 　 ２０ 年 月 ｒ．２ １８ ４ ＣＯＭＰＵＴＥＲ ＳＣＩＥＮＣＥ Ａ ０１８ 　 ｐ 面向ＤＯ １７８Ｃ的襟缝翼控制系统需求的形式化描述 － 战芸娇 魏 欧 胡 军 　 　 　 　 （ ） 南京航空航天大学计算机科学与技术学院 南京 １０６ ２１１ 　 　 ， 摘 要 Ｃ是对机载软件适航认证标准 ＤＯ Ｂ的改进和补充 用于对民用飞机机载系统和设备软件质量控 ＤＯ １７８ １７８ － － 　 　 制提供指导。 （ ） ， ， ＳＣＲ Ｓ 方法作为一种形式化方法 基于四变量模型 可以对复杂和大型的嵌入 ｏｆｔｗａｒｅＣｏｓｔＲｅｄｕｃｔｉｏｎ 　 　 。 ， 式系统进行需求描述 文中基于 １７８ 使用 方法对原飞机系统中的襟缝翼控制系统的需求文档进行形式化 ＤＯ Ｃ ＳＣＲ － ， ， 的需求描述 针对襟缝翼控制系统中的襟翼电机转速控制模块进行详细的案例分析 判断其是否满足 ＤＯ １７８ 的相 － Ｃ 。 ， 。 关验证指标 通过分析和验证 提出了 ＳＣＲ方法中的一些应用技巧 该工作可为 ＳＣＲ方法在机载软件系统中的应 用提供依据。 关键词 ， ， ， ， ＤＯ １７８ 方法 四变量模型 机载软件 ＶＥＣ Ｃ ＳＣＲ Ｔ － － 　 中图法分类号 文献标识码 ＯＩ １ ／ ３７