|
个人信息Personal Information
副教授 硕士生导师
招生学科专业：
计算机科学与技术 -- 【招收硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
网络空间安全 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
毕业院校：南京大学
学历：南京大学
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院/软件学院
办公地点：江苏省南京市将军大道29号
南京航空航天大学 计算机科学与技术学院楼118房间
联系方式：hujun@nuaa.edu.cn
扫描关注
面向DO-178C的襟缝翼控制系统需求的形式化描述
点击次数：
所属单位：计算机科学与技术学院/人工智能学院/软件学院
发表刊物：计算机科学
关键字：DO-178C;SCR方法;四变量模型;机载软件;T-VEC;
摘要：DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于DO-178C,使用SCR方法对原飞机系统中的襟缝翼控制系统的需求文档进行形式化的需求描述,针对襟缝翼控制系统中的襟翼电机转速控制模块进行详细的案例分析,判断其是否满足DO-178C的相关验证指标。通过分析和验证,提出了SCR方法中的一些应用技巧。该工作可为SCR方法在机载软件系统中的应用提供依据。
是否译文：否
发表时间：2018-04-15
合写作者：战芸娇,胡军
通讯作者：魏欧