面向机载软件适航审查的软件计划阶段的证据模型

袁巍; 吴际; 刘超; 杨海燕

首页> 中文期刊> 《计算机科学》 >面向机载软件适航审查的软件计划阶段的证据模型

面向机载软件适航审查的软件计划阶段的证据模型

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

适航认证对机载软件至关重要,178C标准是重要的适航认证安全标准.O rder8110.49指南提出了介入审查的适航认证方法,但是目前还未有对介入审查中软件计划阶段的178C目标符合性证据的研究.文中基于软件计划阶段需要审查的目标和DO-178C标准中针对目标的特征描述,提出了3种模型(标准证据模型、项目制品模型、项目相关证据模型),并通过项目相关证据模型向项目证据数据模型的转换生成证据信息检查单,确定了证据信息的来源.建立证据模型的审查方法为软件计划阶段的审查提供了证据收集的指导,减少了证据收集过程对审定方审定人员的依赖,提高了审查效率.最后,通过一个机载飞行显示器软件的案例说明了提出的证据模型具有可用性与有效性.

著录项

来源
《计算机科学》 |2018年第9期|52-59|共8页
作者
袁巍; 吴际; 刘超; 杨海燕;
展开▼
作者单位

北京航空航天大学计算机学院北京100191;

北京航空航天大学计算机学院北京100191;

北京航空航天大学计算机学院北京100191;

北京航空航天大学计算机学院北京100191;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
机载软件; 适航审查; 证据模型; DO-178CO; rder8110.49;

相似文献

中文文献
外文文献
专利

1. 民用飞机机载软件开发阶段适航审查工作研究 [J] . 郭祺君 . 科技视界 . 2017,第032期
2. 基于DO-178B/C的机载软件适航审查研究 [J] . 崔利杰 ,任博 ,李泽 . 指挥与控制学报 . 2016,第001期
3. 基于DO-178B/C的机载软件适航审查研究 [J] . 崔利杰 ,任博 ,李泽 . 指挥与控制学报 . 2016,第001期
4. 面向适航标准的机载软件测试验证工具综述 [J] . 刘友林 ,郑巍 ,谭莉娟 . 计算机工程与应用 . 2021,第011期
5. 面向适航标准的机载软件测试验证方法综述 [J] . 谭莉娟 ,郑巍 ,刘友林 . 计算机工程与应用 . 2021,第015期
6. 面向机载软件适航审查软件计划阶段的证据模型 [C] . YUAN Wei ,袁巍 ,WU Ji . 第十六届全国软件与应用学术会议 . 2017
7. 刑事公诉案件证据审查问题研究——以审查起诉阶段为视角 [A] . 李安民 . 2018

面向机载软件适航审查的软件计划阶段的证据模型

摘要

著录项

相似文献

相关主题

期刊订阅