苑春春

作品数：3被引量：4H指数：2
导出分析报告
供职机构：北京航空航天大学计算机学院更多>>
发文主题：GSNDO-178符合性适航认证软件测试过程更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《指挥控制与仿真》《计算机研究与发展》《计算机科学》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向软件安全性需求分析过程的追踪模型被引量：2
《计算机科学》2017年第4期30-34,共5页郑培真 苑春春 刘超 吴际 杨海燕 胡宁 
某国家重点科研项目(MJ-S-2012-05)资助
追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求。目前针对安全性分析过程的追踪性研究较少。安全相关标准如ARP-4...
关键词：追踪性 软件安全性需求 安全性分析 
面向DO-178C软件测试过程的目标符合性论证模式被引量：2
《计算机研究与发展》2017年第3期654-668,共15页杨阳 吴际 苑春春 刘超 杨海燕 邢亮 
安全关键软件已广泛应用于众多领域.鉴于其对防范灾害风险方面的特殊要求,必须符合相关领域的安全性标准.但是目前对于如何建立面向标准的目标符合性论证模型,尚缺乏有效的方法.针对DO-178C标准中关于软件测试过程目标的特征描述,提出...
关键词：安全关键性软件 适航认证 DO-178C GSN 论证模式 
基于AndroMDA的实时系统代码生成技术研究
《指挥控制与仿真》2010年第6期107-112,共6页苑春春 孔祥营 凌云锋 
针对实时系统软件的代码生成技术,基于开源软件AndroMDA,分析并建立了实时系统平台的PSM元模型,研究了基于类图和状态图的PIM到PSM和PSM到代码的转换规则,最后给出了模型转换的实现算法。应用效果分析表明,该方法与LACATRE和手工编码相...
关键词：MDA ANDROMDA PIM PSM 实时系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部