机载软件

作品数：236被引量：373H指数：8
导出分析报告
相关领域：自动化与计算机技术航空宇航科学技术更多>>
相关作者：刘佳李育童岳威史建琦钱向农更多>>
相关机构：中国航空工业集团公司上海飞机设计研究院中国航空无线电电子研究所中国航空工业集团公司成都飞机设计研究所更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中国航空科学基金国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=中央高校基本科研业务费专项资金x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向DO-333的襟缝翼控制单元安全性分析被引量：6
《计算机科学》2016年第5期150-156,161,共8页陈光颖 黄志球 陈哲 阚双龙 
国家自然科学基金(61100034;61170043);中国博士后科学基金(20110491411);江苏省普通高校研究生科研创新计划资助项目;中央高校基本科研业务费专项资金(CXZZ11_0218)资助
DO-333是对机载软件安全性标准DO-178C关于形式化方法的补充,为机载软件开发过程中形式化方法的使用提供指导。模型检验作为一种形式化方法,可以应用于对软件需求和设计阶段制品的严格验证。基于DO-333,使用模型检验对飞控系统中襟缝翼...
关键词：适航认证 形式化方法 模型检验 机载软件 SPIN 
嵌入式机载软件安全性分析标准、方法及工具研究综述被引量：65
《软件学报》2014年第2期200-218,共19页黄志球 徐丙凤 阚双龙 胡军 陈哲 
国家自然科学基金(61272083;61100034);江苏省普通高校研究生科研创新计划(CXZZ11_0218);中央高校基本科研业务费专项资金(CXZZ11_0218)
嵌入式软件在安全关键系统中的应用,使得保障软件安全性成为软件工程领域的研究热点之一.以典型嵌入式软件系统机载软件为基础,对机载软件安全性保障的标准、方法及工具进行综述.首先,对机载软件领域所采用的软件安全性相关的标准进行简...
关键词：嵌入式软件 机载软件安全性 适航认证 安全性分析 软件工具 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部