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

Formal Description of Requirement of Slats and Flaps Control System for DO-178C Case

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

DO-178C is an improvement and supplement for airborne software airworthiness certification standard DO-178B,and it is used to provide guidance for software quality control of civil aircraft airborne systems and equipments.SCR(Software Cost Reduction),as a formal method,can be applied to the description of complex and large-scale embedded systems based on four-variable model.Based on the DO-178C,this paper used the SCR method to formalize the requirement specification of the flap slat control system in the original aircraft system,and carried on the detailed case for the flap motor speed control module in the flap slat control system.Through analysis,whether the DO-178C meets the relevant validation indicators can be determined.Through analyzing and validating,some application techniques of SCR method were proposed.This work will provide the basis for the application of SCR method in airborne software system.