苑春春
- 作品数:3 被引量:3H指数:1
- 供职机构:北京航空航天大学计算机学院更多>>
- 相关领域:自动化与计算机技术更多>>
- 面向DO-178C软件测试过程的目标符合性论证模式被引量:1
- 2017年
- 安全关键软件已广泛应用于众多领域.鉴于其对防范灾害风险方面的特殊要求,必须符合相关领域的安全性标准.但是目前对于如何建立面向标准的目标符合性论证模型,尚缺乏有效的方法.针对DO-178C标准中关于软件测试过程目标的特征描述,提出了一个基于GSN的目标论证模式描述框架,分别从解决问题、解决方案、应用方法和产生效果4个方面对目标论证模式进行描述;同时使用一种扩展的安全案例模式描述方式,用以描述面向标准的目标符合性论证模式.在此基础上,提出了3种面向DO-178C软件测试过程的目标符合性论证模式,分别是代码-需求符合性论证模式、需求测试覆盖率论证模式、结构测试覆盖率论证模式,并提出基于这些模式建立针对特定项目的目标符合性论证结构的实例化方法,为建立面向DO-178C软件测试过程的目标符合性论证结构提供了有效指导.通过一个机载嵌入式实时操作系统的案例,说明了提出的目标符合性论证模式的可用性和有效性.
- 杨阳吴际苑春春刘超杨海燕邢亮
- 关键词:适航认证GSN
- 面向软件安全性需求分析过程的追踪模型被引量:2
- 2017年
- 追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求。目前针对安全性分析过程的追踪性研究较少。安全相关标准如ARP-4761和DO 178C等提供了安全性分析过程的指导意见,然而其由于涉及的概念和方法很多,因此在实际应用和研究中常会忽略对一些关键信息的追踪。此外,软件安全性需求分析不仅应考虑系统到软件的安全性分析,还应考虑软件到系统的安全性分析。面向软件安全性需求分析过程建立安全性相关信息的双向追踪,有助于了解安全性需求的前因后果,为验证工作和影响分析提供便利。参照标准,构建面向软件安全性需求分析过程的追踪模型。
- 郑培真苑春春刘超吴际杨海燕胡宁
- 基于AndroMDA的实时系统代码生成技术研究
- 2010年
- 针对实时系统软件的代码生成技术,基于开源软件AndroMDA,分析并建立了实时系统平台的PSM元模型,研究了基于类图和状态图的PIM到PSM和PSM到代码的转换规则,最后给出了模型转换的实现算法。应用效果分析表明,该方法与LACATRE和手工编码相比,开发软件的效率和质量都有较大的提高。
- 苑春春孔祥营凌云锋
- 关键词:MDAANDROMDAPIMPSM实时系统