terasoft
IEC安全驗證套裝組

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

Introduction

包括產品:Embedded Coder™, Polyspace® products, Simulink Design Verifier™, Simulink PLC Coder™, and Simulink Verification and Validation™. 支援的安全標準包括ISO 26262, IEC 61508, EN 50128,和 IEC 61511.

本工具箱使用需搭配MATLAB

Key Features

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

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