中央级公益性科研院所基本科研业务费专项(NS2010110)
- 作品数:2 被引量:23H指数:2
- 相关作者:徐丙凤黄志球郑军蔡昕烨魏欧更多>>
- 相关机构:南京航空航天大学中国航空综合技术研究所更多>>
- 发文基金:中央级公益性科研院所基本科研业务费专项中国航空科学基金中国博士后科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 机载软件适航认证标准新进展及展望被引量:18
- 2012年
- 为了满足机载软件适航认证的迫切需求,对机载软件适航认证标准进行分析研究。阐述了DO-178B的发展动因及过程,总结了随着软件开发技术的快速更新DO-178B所表现的不足。说明了对DO-178B进行更新的必要性,并将即将发布的新版本DO-178C与DO-178B进行了对比。根据对比结果重点分析了DO-178C的4个新增特性。对DO-178C所带来的影响以及未来应用进行了展望。
- 郑军黄志球徐丙凤
- 关键词:机载软件适航认证
- 循环对称化简及在三值模型上的扩展被引量:5
- 2011年
- 为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环对称置换群或者由一组循环对称置换所生成的置换群仍可得到与原模型互模拟的对称商结构,从而达到化简系统规模的目的.进一步地,研究如何将对称化简应用于多值模型.多值模型可以有效地表示系统中的不确定信息,正越来越多地用于软件系统的建模与分析中.针对一种具体的多值模型——三值模型,定义传统的对称化简和循环对称化简在其上面的扩展.最后,分析三值模型的商结构与由约简得到的二值模型商结构之间的关系,证明了两种途径的等价性.
- 魏欧袁泳蔡昕烨黄志球徐丙凤
- 关键词:三值模型