• <th id="mdm3y"><pre id="mdm3y"></pre></th>
    <rp id="mdm3y"></rp>

    立即登錄

    如果您已經擁有本站賬號,可以直接登錄。

    *為必填項注冊新會員

    • 登錄名: *  
    • 登錄密碼: *
    • 重復密碼: *  
    • 姓名: *  
    • 公司名稱: *  
    • 職務:
    • 聯系電話: *  
    • 電子郵件: *  
    • 驗證碼: *  

    立即登錄

    如果您已經擁有本站賬號,可以直接登錄。

    *為必填項找回密碼

    • 注冊郵箱:

      驗證碼會以郵件的方式發送到您的郵箱!

    • 驗證碼: *
    • 請輸入新密碼: *

    安全關鍵系統集成研制環境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級別機載軟件都需滿足此目標要求。



    為了實現這一目標,最直接的做法是將真實應用的源代碼與目標碼進行逐條對比分析,從而檢測出編譯過程引入的額外代碼,并分析額外代碼會不會影響軟件行為,帶來安全隱患。然而這種做法往往受到軟件研制的影響很大,一旦項目源代碼、編譯選項、編譯環境發生變化,源代碼目標碼追溯分析就要重新進行,工作量巨大。



    愛韋訊經過多年的技術積累,依據FAA CAST Paper 12中提出的“安全子集法”,研發了SCK-178,即“DO-178B/C安全子集認證包”。該認證包從重用性的角度出發,將C語言限制到一個安全子集范圍內(以MISRA-C-2004為基礎的適航軟件編碼標準),通過對“安全子集”范圍內符合軟件編碼標準的參考代碼進行完備的源代碼目標碼追溯分析,從而獲得編譯器在特定應用條件下不會引入錯誤的信心。這種做法穩定性較好,只要編譯選項和編譯環境不發生變化,且項目源代碼符合軟件編碼標準,即使項目源代碼發生變更,追溯分析工作的結果也能重用,無需重復工作。

    ▌DO-178B/C安全子集認證包中有什么


    愛韋訊的“DO-178B/C安全子集認證包”中包括以下數據:


    ★ 符合適航機載軟件編碼標準的C語言安全子集
    ★ 自動化編譯分析框架及驅動
    ★ 符合安全子集的參考源代碼
    ★ 認證包使用說明


    在項目編譯環境和選項確定后,用戶可以使用愛韋訊提供的參考源代碼編譯生成參考目標碼,分析與參考源代碼之間的追溯關系,識別其中由編譯器/鏈接器引入的、無法追溯的額外代碼,并對其進行驗證,以確保額外代碼正確地實現了其功能,不會帶來安全隱患。




    ▌DO-178B/C安全子集認證包有哪些特點


    穩定程度高

    只要項目的編譯環境和編譯選項不變,并且證明項目中所用到的源代碼是符合編碼標準的、在這個安全子集范圍內,那么對于安全子集的源代碼和目標代碼分析結果就作為有效的符合性驗證證據。該解決方案不受項目源代碼發生變更的影響,穩定程度較高。


    復用程度高

    該解決方案能夠協助用戶確定安全的軟件編碼標準,以及穩定可靠的編譯選項和編譯環境。對于編譯環境和編譯選項不變的項目,可以直接復用源代碼目標代碼追溯分析結果。對于編譯環境和編譯選項發生變化的項目,需要重復開展源代碼到目標代碼追溯分析,但工作量僅限于安全子集范圍內,為后期項目重用提供很大幫助。


    上海愛韋訊信息技術股份有限公司 版權所有 滬ICP備13019901號-1 COPYRIGHT ? 2017SHAVIATION 郵政編碼:201203
    日本线在免费线播放,日本亚洲欧美在线视观看|日本一区二区 亚洲人成影院在线播放 亚洲国产精品无码久久一线 亚洲无线观看国产 天天添夭天啪天天谢 亚洲中文欧美日韩在线不卡 亚洲va在线va天堂va电影 高清无码一区二区在线观看 三级特黄60分钟在线播放 丁香五月开心婷婷综合 日本在线不卡v二区三区 特黄特黄的欧美大片 天天干夜夜操 天天综合网网欲色 精品国产品在线2019 欧美a级v片 九九热这里只有精品视频 无码中文字幕av免费放 中国大陆国产高清aⅴ毛片 激情综合色综合啪啪五月 岛国av动作片免费观看 无码视频无需播放器a 日本成本人片视频免费 三级片网 亚洲综合欧美在线一区 超碰人妻97东京热 国产人成视频在线视频 久草视频新免费 黄页大全视频 精品人妻av区 无毒不卡亚洲 欧美 日韩 综合aⅴ 欧美日本日韩AⅤ在线视频 黄页网址大全免费观看 中文字幕精品亚洲人成在线 亚洲国产欧美国产综合一区 在线香蕉精品视频 岛国av动作片免费观看 三级片在线播放 不卡无在线一区二区三区视频 欧美午夜片在线观看 亚洲愉拍自拍视频一区 久99久视频免费观看视频 青青青国产在线观看手机免费 免费人成视频x8x8 亚洲av片在线观看 精品国产免费第一区二区三区 波多野结衣无码 av色图 2020国产亚洲在线播放 美国a级毛片 学生巨乳人妻视频 你懂的电影网