面向DO-333的襟缝翼控制单元安全性分析

陈光颖; 黄志球; 陈哲; 阚双龙

首页> 中文期刊> 《计算机科学》 >面向DO-333的襟缝翼控制单元安全性分析

面向DO-333的襟缝翼控制单元安全性分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

DO-333是对机载软件安全性标准DO-178C关于形式化方法的补充,为机载软件开发过程中形式化方法的使用提供指导.模型检验作为一种形式化方法,可以应用于对软件需求和设计阶段制品的严格验证.基于DO-333,使用模型检验对飞控系统中襟缝翼控制单元不同阶段的软件制品进行验证与分析,判断其是否满足DO-178C的相关验证目标并提供证据支持.首先,对控制单元中襟翼与缝翼必须互斥更新的高级需求进行规约和验证;其次,对单个机翼控制逻辑的低级需求进行规约和验证.通过以上验证与分析,分别为标准中关于高级和低级需求的验证目标提供证据.文中展示了模型检验在一个机载软件认证中的应用实例,该工作将为机载软件的安全性保障和适航认证提供技术支持.

著录项

来源
《计算机科学》 |2016年第5期|150-156161|共8页
作者
陈光颖; 黄志球; 陈哲; 阚双龙;
展开▼
作者单位

南京航空航天大学计算机科学与技术学院南京 210016;

南京航空航天大学计算机科学与技术学院南京 210016;

南京航空航天大学计算机科学与技术学院南京 210016;

南京航空航天大学计算机科学与技术学院南京 210016;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
适航认证; 形式化方法; 模型检验; 机载软件; SPIN;

相似文献

中文文献
外文文献
专利

1. 面向DO-178C的襟缝翼控制系统需求的形式化描述 [J] . 战芸娇 ,魏欧 ,胡军 . 计算机科学 . 2018,第004期
2. 民用飞机襟缝翼系统控制精度计算 [J] . 谢剑 ,黄帅 . 机械设计与制造工程 . 2017,第006期
3. 襟缝翼PDU无刷电机控制系统的设计与实现 [J] . 庞登峰 ,冯作全 ,董峰 . 机电工程技术 . 2015,第012期
4. 基于MSPC的民机襟／缝翼控制系统健康监测技术 [J] . 王伟达 ,王晓熠 . 航空计算技术 . 2015,第004期
5. 襟缝翼控制运动机构及特点分析 [J] . 刘锦涛 . 中国科技纵横 . 2014,第013期
6. 民用飞机襟/缝翼控制系统精度分析 [C] . 刘彦生 ,严少波 . 第八届长三角科技论坛——航空航天科技创新与长三角经济发展分论坛 . 2011
7. 襟缝翼控制系统的设计及仿真 [A] . 马廷祥 . 2012

面向DO-333的襟缝翼控制单元安全性分析

摘要

著录项

相似文献

相关主题

期刊订阅