terasoft
IEC安全驗證套裝組

IEC Certification Kit. IEC安全驗證套裝組:針對 ISO 26262 及IEC 61508

Introduction

MathWorks 提供的 IEC 認證套件,主要用於簡化嵌入式系統的認證工作,包括 ISO 26262、IEC 61508、ISO 25119、EN 50128、EN 50657 和 IEC 62304 等標準的工具資格認證。此套件支援不同的安全完整性等級,例如 ISO 26262 的 ASIL A 至 ASIL D 和 IEC 61508 的 SIL 1 至 SIL 4。同時,套件中也包含了來自認證機構 TUV SUD 的證書和評估報告。

此外,IEC 認證套件還提供了文件,可以幫助將基於模型的設計範例對應到功能安全標準和汽車標準,例如 ISO 21434(網路安全)、ISO 21448 (SOTIF) 和 Automotive SPICE。該套件中包含自動化工具和案例研究範例,可用於開始認證項目並生成所需的工作產品,以支援整個產品生命週期。

最後,文中特別提到 ISO 26262:2018 的規定,指出 Simulink 和 Stateflow 可用於軟體架構和軟體單元設計,並作為自動程式碼轉碼的基礎。

本工具箱使用需搭配MATLAB

Key Features

可針對DO-178及其他安全標準,自動進行原始碼的檢測。(什麼是DO-178B標準:民用航空電子系統的開發在提高生產力和保證安全性這兩方面有非常嚴格的要求。為此,國際航空無線電委員會(RTCA)針對民用航空電子系統的開發制定了DO-178B標準。在歐洲和美國,如果一架民用飛機沒有通過DO-178B品質認證就不允許在其領空飛行。越來越多的國家將DO-178B標準作為民航領域必須的資格認證。

支援2011年發布的ISO26262安規最終版