Automotive

業界規格

IEC 61508

モデルベースデザイン (MBD、モデルベース開発) により、エンジニアは自動車、産業オートメーション、機械、およびその他の規制産業と適用分野の組み込みソフトウェアを開発することができます。エンジニアはモデルベースデザインを使用することで、IEC 61508 に準拠するソフトウェアを効率的かつ効果的に作成します。

IEC 61508 は産業オートメーション業界により策定されましたが、自動車 (ISO 26262)、土木機械 (ISO 19014)、農業機械 (ISO 25119)、鉄道 (EN 50128)、医療 (IEC 62304)、および機械 (IEC 62061) など、他の業界における派生の規格が存在します。

IEC Certification Kit は、規格に準拠した製品とシステムの開発をガイドするリファレンス ワークフローとツールのマッピング文書により、IEC 61508 および派生規格の認証取得を支援します。

IEC Certification Kit は、IEC 61508-3 第 7.4.4 項記載のツール分類およびツール適格性確認の要件に準拠するための成果物も提供します。この成果物は、Embedded Coder やモデルおよびコード検証製品のユースケースに限らず、リファレンス ワークフローを構成するツールのユースケースをカバーしています。

IEC 61508 アプリケーションの開発のための主な製品:

• IEC Certification Kit (IEC 61508 と ISO 26262 用)
• MATLAB
• Simulink
• Stateflow
• Embedded Coder
• Simulink Check
• Simulink Coverage
• Requirements Toolbox
• Simulink Report Generator
• Simulink Design Verifier
• MATLAB Test
• Simulink Test
• Polyspace Bug Finder
• Polyspace Code Prover
• AUTOSAR Blockset
• HDL Coder

IEC 61508 向けの MathWorks サポートのその他の情報:

• SAE 論文: 安全性関連アプリケーションのモデルベースデザイン
• SAE 論文: IEC 61508 アプリケーションの検証および認証ワークフロー
• MBEES 論文: IEC 62304 医療機器に対応するモデルベースデザイン
• ビデオ: 編集時チェックにより準拠性の問題を早期に発見 (1:28)