DO-178

作品数：129被引量：150H指数：7
导出分析报告
相关领域：自动化与计算机技术航空宇航科学技术更多>>
相关作者：章晓春牟明邢亮宋青朱怡安更多>>
相关机构：中国航空无线电电子研究所西安航空计算技术研究所上海飞机设计研究院中航工业西安航空计算技术研究所更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中国航空科学基金江西省自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向DO-178C的襟缝翼控制系统需求的形式化描述
《计算机科学》2018年第4期196-202,共7页战芸娇 魏欧 胡军 
国家自然科学基金项目(61170043);国家重点基础研究发展计划(973)项目(2014CB744904);航空科学基金项目(20155552047)资助
DO-178C是对机载软件适航认证标准DO-178B的改进和补充,用于对民用飞机机载系统和设备软件质量控制提供指导。SCR(Software Cost Reduction)方法作为一种形式化方法,基于四变量模型,可以对复杂和大型的嵌入式系统进行需求描述。文中基于...
关键词：DO-178C SCR方法 四变量模型 机载软件 T-VEC 
模型驱动的软件构件研制保证水平验证方法被引量：2
《航空学报》2015年第3期907-920,共14页朱和铨 徐浩军 张鹏 张登成 孙曦 
国家自然科学基金(61374145;U1333131);国家"973"计划(2015CB755802;2015CB755805);中国博士后科学基金(201150M1551);陕西省自然科学基础研究计划项目(2012JQ8010)~~
在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量。鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题。首先,分析了分布...
关键词：软件安全性 验证与确认 研制保证水平 SYSML DO-178B/C 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部