共查询到10条相似文献,搜索用时 156 毫秒
1.
2.
基于DO-178B的机载软件开发过程及其监控评审方法 总被引:1,自引:0,他引:1
《科技视界》2015,(27)
DO-178B自1992年颁发以来,一直作为航空业普遍认可的机载软件设计保证指南,FAA、EASA和CAAC等民航当局在对含软件的机载系统和设备进行适航审定时,都将DO-178B作为可接受的机载软件符合性方法。本文结合民用飞机机载软件开发和评审的工程经验对相关适航标准和指导性文件进行解读,梳理了基于DO-178B的机载软件开发过程,并对其监控评审方法进行了研究。 相似文献
3.
4.
5.
民用飞机A级别机载软件项目源代码到目标代码追溯性分析研究 总被引:1,自引:0,他引:1
《科技视界》2016,(20)
机载软件在某些特定情况下应该分析源代码和目标代码之间的对应关系,RTCA/DO-178B第6.4.4.2节指出:机载软件结构覆盖率分析可以在源代码层级进行,如果软件为A级别并且编译过程中生成了无法追溯到源代码的目标代码,则应该在目标代码层级完成额外的验证工作以保证这些目标代码的正确性。因此,对于A级别软件,如果编译器生成了无法追溯到源代码的目标代码,那么除了完成源代码层级结构覆盖率分析,还应该完成源代码和目标代码之间的追溯性分析,并对不能追溯到源代码的目标代码进行额外的验证。本文研究了源代码到目标代码的追溯性分析方法。 相似文献
6.
7.
8.
9.