战芸娇,魏欧,胡军.面向DO-178C的襟缝翼控制系统需求的形式化描述[J].计算机科学,2018,45(4):196-202
面向DO-178C的襟缝翼控制系统需求的形式化描述
Formal Description of Requirement of Slats and Flaps Control System for DO-178C Case
投稿时间:2017-02-20  修订日期:2017-05-01
DOI:10.11896/j.issn.1002-137X.2018.04.033
中文关键词:  DO-178C,SCR方法,四变量模型,机载软件,T-VEC
英文关键词:DO-178C,SCR method,Four-variable model,Airborne software,T-VEC
基金项目:本文受国家自然科学基金项目(61170043),国家重点基础研究发展计划(973)项目(2014CB744904),航空科学基金项目(20155552047)资助
作者单位
战芸娇 南京航空航天大学计算机科学与技术学院 南京211106 
魏欧 南京航空航天大学计算机科学与技术学院 南京211106 
胡军 南京航空航天大学计算机科学与技术学院 南京211106 
摘要点击次数: 254
全文下载次数: 176
中文摘要:
      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.
查看全文  查看/发表评论  下载PDF阅读器