首页 期刊 计算机科学 面向DO-178C的襟缝翼控制系统需求的形式化描述 【正文】

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

作者:战芸娇; 魏欧; 胡军 南京航空航天大学计算机科学与技术学院; 南京211106
scr方法   四变量模型   机载软件  

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

学术咨询 免费咨询 杂志订阅