搜索筛选:
搜索耗时2.6120秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
发布年度:
[期刊论文] 作者：苑春春,孔祥营,凌云锋,
来源：指挥控制与仿真 年份：2010
针对实时系统软件的代码生成技术,基于开源软件AndroMDA,分析并建立了实时系统平台的PSM元模型,研究了基于类图和状态图的PIM到PSM和PSM到代码的转换规则,最后给出了模型转换...
[期刊论文] 作者：杨阳, 吴际, 苑春春, 刘超, 杨海燕, 邢亮,,
来源：计算机研究与发展 年份：2017
安全关键软件已广泛应用于众多领域.鉴于其对防范灾害风险方面的特殊要求,必须符合相关领域的安全性标准.但是目前对于如何建立面向标准的目标符合性论证模型,尚缺乏有效的方...
[会议论文] 作者：杨阳,苑春春,刘超,吴际,杨海燕,邢亮,
来源：第十四届全国软件与应用学术会议 年份：2015
适航认证对机载软件来说至关重要,DO-178C是重要的机载软件安全标准,但是目前还未建立成熟的面向DO-178C标准的目标符合性论证模型.本文基于DO-178C标准中针对软件测试过程目标的特征描述,提出了三种面向DO-178C软件测试过程的目标符合性论证模式,分别是:代码-......
[期刊论文] 作者：郑培真, 苑春春, 刘超, 吴际, 杨海燕, 胡宁,,
来源：计算机科学 年份：2017
追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求。目...
[会议论文] 作者：杨阳[1]苑春春[1]刘超[1]吴际[1]杨海燕[1]邢亮[2],
来源：第十四届全国软件与应用学术会议 年份：2015
适航认证对机载软件来说至关重要,DO-178C是重要的机载软件安全标准,但是目前还未建立成熟的面向DO-178C标准的目标符合性论证模型。本文基于DO-178C标准中针对软件测试...
[会议论文] 作者：郑培真[1]苑春春[1]刘超[1]吴际[1]杨海燕[1]胡宁[2],
来源：第十四届全国软件与应用学术会议 年份：2015
追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统开发过程，更重要的是必需要有独立的安全性分析，建立并验证系统的安全性需求。目......
相关搜索：
