自動車業界での信頼性の高いシステム開発の特徴は、乗用車を対象にした機能安全の国際規格 ISO® 26262 に準拠していることの実証が求められる点です。ISO 26262 では、ASIL (Automotive Safety Integrity Level: 自動車の安全性レベル) において、機能性が A から D まで (つまり、厳しさのレベルが最小のものから最大のものまで) で分類されています。OEM や Tier-1 サプライヤーは、ISO 26262 準拠モデルベースデザイン(MBD、モデルベース開発)を用いた ECU 開発プロセスを採用しています。
MATLAB、Simulink、Stateflow、Embedded Coder®、MATLAB および Simulink® 検証ツール、および Polyspace® コード検証ツールは、ISO 26262 に準拠したツールとして TÜV SÜD から ASIL A – D に対する適合認証を得ています。この認証は、アプリケーション固有の自動検証ワークフローに基づいています。ASIL C および D に対して ISO 26262-6 で強く推奨されるように、Simulink のプロセッサインザループ (PIL) シミュレーション モードを使用したモデルとコードの等価性検証をサポートしています。このように、エンジニアは Embedded Coderによって生成されるプロセッサ固有のコードなどのコーダーとコンパイラの最適化を活用して、量産 ECU で必要とされる高速でメモリー効率が高いソフトウェアを作成できます。C コードの生成に加えて、Embedded Coder ISO 26262 ツール認証の使用事例には、AUTOSAR および C++ コード生成機能が含まれています。
HDL Coder™ は、TÜV SÜD の認証も受けており、すべての ASIL に対応した安全関連製品の開発に適しています。HDL Coder は、あらゆる FPGA、ASIC、SoC デバイスをターゲットにできる、可読性に優れかつトレース可能な VHDL および Verilog を生成します。HDL Verifier と密接に連携してテストベンチを生成し、HDL シミュレーターおよび FPGA ボードを使用した back-to-back テストを実行します。
ワークフロー ドキュメンテーション、TϋV SϋD 認証書、レポート、テストスイート、およびその他の成果物は、IEC Certification Kit (for ISO 26262 and IEC 61508) の中に含まれています。さらに、TÜV SÜD は、IEC Certification Kit サポート対象ツールに対し、ソフトウェア開発および品質エンジニアリング プロセスの監査を毎年実施しています。
「モデルベースデザインがなければ、ESCL アプリケーション ソフトウェアの開発と認定の時間は今より少なくとも 30% 長くかかっていたことでしょう。当社の求めるスピードとメモリーの要件をすべて満たす効率的なコードを生成することで、時間と労力を削減することができました」
Cheng Hui, platform and process manager, KOSTAL
ISO 26262 への MATLAB の使用
ISO 26262 アプリケーションの開発のための主な製品:
ISO 26262 向けの MathWorks サポートのその他の情報:
- プレスリリース: MathWorks の IEC Certification Kit が ISO 26262 第 2 版 に準拠
- 技術情報: LG Chem - モデルベースの設計によるハイブリッド自動車バッテリー管理システムのための AUTOSAR 準拠ソフトウェアの開発
- ユーザー事例: KOSTAL、モデルベースデザインで ISO 26262 ASIL D 認証を取得
- Web セミナー: TI Hercules MCU Optimized Code from Simulink for IEC 61508 and ISO 26262 (45:06)
- Web セミナー: ロバストかつ効率的なワークフローで適格性事前確認済み開発ツールを使用し、ISO 26262 に準拠 (42:27)
- アドバイザリサービス: ISO 26262 プロセス開発
- 記事: ISO 26262 プロジェクト向けの Simulink の使用方法
- ビデオ: 編集時チェックにより準拠性の問題を早期に発見 (1:28)
- ビデオ: ISO 26262 および IEC 61508 に準拠した ASIC および FPGA ワークフロー (3:06)
- SAE 論文: 安全性関連アプリケーションのモデルベースデザイン
- SAE 論文: IEC 61508 アプリケーションの検証および認証ワークフロー
- MBEES 論文: ISO 26262 に従ったソフトウェアツールの適合性の証明
- ERTS 論文: ISO 26262 に従った検証および認証
- ERTS 論文: Model Quality Objectives for Embedded Software Development with MATLAB and Simulink (MATLAB と Simulink を使用した組み込みソフトウェア開発における品質目標のモデル化) (Renault, PSA, Valeo, Delphi)
- ガイド: Simulink モデルによる AUTOSAR 適用 10 箇条
- リソース: Simulink による検証と妥当性確認の自動化
- Web セミナー: IEC 61508 と ISO 26262 向け TI C2000 MCU と MathWorks Simulink
- 記事: MATLAB を使用した自動運転アプリケーションの ISO 26262 ワークフロー: ガイドラインとベスト プラクティス