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

摘要：

DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导.SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述.文中基于DO-178C,使用SCR方法对原飞机系统中的襟缝翼控制系统的需求文档进行形式化的需求描述,针对襟缝翼控制系统中的襟翼电机转速控制模块进行详细的案例分析,判断其是否满足DO-178C的相关验证指标.通过分析和验证,提出了SCR方法中的一些应用技巧.该工作可为SCR方法在机载软件系统中的应用提供依据.

关键词：DO-178C、SCR方法、四变量模型、机载软件、T-VEC

所属期刊栏目：45

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目61170043;国家重点基础研究发展计划973项目2014CB744904;航空科学基金项目20155552047

在线出版日期：2018-06-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：196-202