亚博网合法吗

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

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

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

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

              <i id='uJjMky'><div id='uJjMky'><ins id='uJjMky'></ins></div></i>
              <i id='uJjMky'></i>
            1. <dl id='uJjMky'></dl>
              1. <blockquote id='uJjMky'><q id='uJjMky'><noscript id='uJjMky'></noscript><dt id='uJjMky'></dt></q></blockquote><noframes id='uJjMky'><i id='uJjMky'></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级别机载软件都需满足此目标要求。



                为了实现这一目标,最直接的做法是将真实应用的源代码与目标码进行逐条对比分析,从而检测出编译过程引入的额外代码,并分析额外代◥码会不会影响软件行为,带来安全隐患。然而这种做法往往受到软♀件研制的影响很大,一旦项目源代码、编译选项、编译环境发生变化,源代码目标码追溯分析就要重新进行,工作量巨大。



                best365足球外围经过多年的技术积累←,依据FAA CAST Paper 12中提出的“安全子很好集法”,研发了SCK-178,即“DO-178B/C安全子集认证包”。该认证包从重用性的角度出发,将C语言限制到一个安全子集范围内(以MISRA-C-2004为基础的适航软件编码标准),通过对“安全子集”范围内符合软件编码标准的参考代码进行完备的源代码目标码追溯分析,从而获得编译器在特定应用条件下不会引入错误的信心。这种做法稳定性较好,只要编译选项和编译环境不发生变正好就遇到了零零散散化,且项目源代码符合软件编码标准,即使项目源代码发生变更,追溯分析工作的结果體內也能重用,无需重复工作。

                ▌DO-178B/C安全子∮集认证包中有什么


                best365足球外围的“DO-178B/C安全子集认证包”中包括以下数据:


                ★ 符合适航机载软件编码标准的C语言安全子〓集
                ★ 自动化编译分析框架及驱动
                ★ 符合安卐全子集的参考源代码
                ★ 认证包使用说明


                在项目编译环境和选项确定后,用户可以使用best365足球外围提供的参考源代码编译生成参考目标那群瘋狂码,分析与参考源代码之间的追溯关系,识别其中由编译器/链接器引入的、无法追溯的额外代码,并对其进行验证,以确保额外代码正确地实现了其功能,不会带来安全隐患。




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


                稳定程度高

                只要项目的编译环境和编译选项不变,并且证明我斷魂谷和云嶺峰在此時此刻結盟项目中所用到的源代码是符合编︻码标准的、在我肯定會把它放在讓人想不到这个安全子集范围内,那么对于安全子集的源代码和目标代码分析结果√就作为有效的符合性验证证据。该解决方案不受项目源代码发生变更的影响,稳定程度较高。


                复用★程度高

                该解决方案能够协助用户确定安全的软件编码标准,以及稳定可靠的编译选项∮和编译环境。对于编译环境和编译选项不变的项目,可以直接复用源代码目标代码追溯分析结果。对于编译环境和编译选☉项发生变化的而后苦笑道项目,需要重复开展源代码到目标代码追溯分析,但工作量仅限于安全子集范围内,为后期项目重用提供很大帮助⊙。


                上海best365足球外围話信息技术股份有限公司 版权所有 沪ICP备13019901号-1 COPYRIGHT ? 2017SHAVIATION 邮政编码:201203