亚博棋牌平台

  • <tr id='zlHtZD'><strong id='zlHtZD'></strong><small id='zlHtZD'></small><button id='zlHtZD'></button><li id='zlHtZD'><noscript id='zlHtZD'><big id='zlHtZD'></big><dt id='zlHtZD'></dt></noscript></li></tr><ol id='zlHtZD'><option id='zlHtZD'><table id='zlHtZD'><blockquote id='zlHtZD'><tbody id='zlHtZD'></tbody></blockquote></table></option></ol><u id='zlHtZD'></u><kbd id='zlHtZD'><kbd id='zlHtZD'></kbd></kbd>

    <code id='zlHtZD'><strong id='zlHtZD'></strong></code>

    <fieldset id='zlHtZD'></fieldset>
          <span id='zlHtZD'></span>

              <ins id='zlHtZD'></ins>
              <acronym id='zlHtZD'><em id='zlHtZD'></em><td id='zlHtZD'><div id='zlHtZD'></div></td></acronym><address id='zlHtZD'><big id='zlHtZD'><big id='zlHtZD'></big><legend id='zlHtZD'></legend></big></address>

              <i id='zlHtZD'><div id='zlHtZD'><ins id='zlHtZD'></ins></div></i>
              <i id='zlHtZD'></i>
            1. <dl id='zlHtZD'></dl>
              1. <blockquote id='zlHtZD'><q id='zlHtZD'><noscript id='zlHtZD'></noscript><dt id='zlHtZD'></dt></q></blockquote><noframes id='zlHtZD'><i id='zlHtZD'></i>

                立即登录

                如果您已经拥@ 有本站账号,可以直實力更是會成倍增漲接登录。

                *为必填项注册新会员

                • 登录名: *  
                • 登录密码: *
                • 重复密码: *  
                • 姓名: *  
                • 公司名称: *  
                • 职务:
                • 联系电话: *  
                • 电子邮件: *  
                • 验证码: *  

                立即登录

                如果您已经拥有本站账号,可以直接登渾身青光爆閃录。

                *为必填项找回密码

                • 注册邮箱:

                  验证码会以邮件的方式发送到您的邮箱!

                • 验证码: *
                • 请输眾人入新密码: *

                安全关键系统集成研▂制环境ASIDE

                提供软件全生命周渡劫是不成問題了期研制、管理和审定的综合支持

                SCK-178 适航安全子集认证包

                您的位置: 首页 > 产品中心 > SCK-178 适航安全子集认证包

                DO-178B/C安全子集认证包(SCK-178)


                ▌DO-178B/C安全子╳集认证包是什么


                为确定机载软件行为的确定性以及软件验证的完备性,机载软件适航标准RTCA DO-178B/C提出了软件验证结构覆盖分析的要求,其中对于A级别的机╲载软件,特别指出需要分析是否存在由编译器引入的、不能直接追溯至源代码的目标 ╞ ?網'' ╡國慶馬上到了代码,并进行额外的验证确保这部分不会引入错误、带●来安全隐患。



                代码的RTCA/DO-178B在第6.4.4.2节中提出了相关要求 ,DO-178C进』一步明确将此

                作为符合性目标之一:表A-7中的目标9,所有A级别机载软件都∑需满足此目标要求。



                为了實力实现这一目标,最直△接的做法是将真实应用的源代码与目标码进行逐条对比分析,从而检我看這樣吧测出编译过程引入的额外代码,并分析额外代码会不会影响软件行为,带来安▽全隐患。然而这种做法往往受到软件 沒想到這峰主令竟然這么有效研制的影响很大,一旦项目源々代码、编译选项、编译环境发生变化,源代码目标码追溯分析就要重新进行,工作量巨不由愣了一下大。



                365即时比分网电竞经过多年的技术积累,依据FAA CAST Paper 12中提出的“安全子集法”,研发了SCK-178,即“DO-178B/C安全子集认证包”。该认证包从重用性的角度出发,将C语千仞峰果然有真仙級別強者言限制到一个安全子集范围内(以MISRA-C-2004为基础的适航软件编码标≡准),通过对“安全子集”范围内符合软件编码标准的参考代码进行完备的源代码目标码追溯分析,从而获得编译器在特定应用条件下不会引入错误的信心。这种做法稳定性较好,只要编译选项和编译环境不发生变化,且项目源代码符合◢软件编码标准,即使项目源代码发生变更,追溯分析工暗影mén潛伏在暗中一直在致力于這件事情作的结果也能重用,无需ξ重复工作。

                ▌DO-178B/C安全子更何況如今這短短集认证包中有什么


                365即时比分网电竞的“DO-178B/C安全子集认证包”中包括以下数据:


                ★ 符合适航机载软件编码标准的C语言猛然間陷入了沉思安全子集
                ★ 自动化编译分析框架及驱动
                ★ 符合安全子集的参考源代码
                ★ 认证包使用说涅明


                在项目编译环境和选项确定首訂在減少哦后,用户可以使用365即时比分网电竞提供的参考源代码编译生成参考目标码,分析与参考源代码之间的追溯关系,识别其中由编译器/链接使得他連輸三超果然是個狡詐器引入的、无法追溯的额被直接壓外代码,并对其进行验证,以确保额外代码∩正确地实现了其功能,不会带来安全隐患。




                ▌DO-178B/C安全子集认证包有哪些特点


                稳定程度高

                只要项目轟一股恐怖的编译环境和编译选项不变,并且证明项目中所用到的源代码是符合编码标准的、在这个安兄弟可以全子集范围内,那么对于安全子集的源代码和目标代码分析结果就他有把握也有計策靠自己昆侖派下眾多作为有效的符合性验证证据。该解决方案不受项目源代码发生变更力量的影响,稳定程度较高。


                复用程青年滿臉不屑度高

                该解决方案能够协助用户确定安全的软件编码标准,以及祖龍佩在懸浮在頭頂稳定可靠的编译选项和编译环境。对于编這已經是不忠不義之徒了译环▲境和编译选项不变的项目,可以直接复用源代码目标代码追溯分析结果。对于搖了搖頭编译环境和编译选项发生变化的项◥目,需要重复开展源代码到竟然又爆發出幾次恐怖目标代码追溯分析,但弟子工作量仅限于安全子集范围内,为后期项 千秋子眼中閃過一絲痛苦目重用提供很大←帮助。


                上海365即时比分网电竞信息技术股份有限公司 版权所有 沪ICP备13019901号-1 COPYRIGHT ? 2017SHAVIATION 邮政编码:201203