汽车

モデルベースデザイン(MBD,モデルベース開発)は自動車,産業オートメーション,機械,およびその他の業界と適用分野での組み込みソフトウェアの開発に使用されます。エンジニアはモデルベースデザインを用いて,IEC 61508(機能安全規格)に準拠するソフトウェアを作成します。これらのアプリケーションは,規格により課された制限に対処する,また準拠の証明に必要な証拠を生成するため,追加の考慮が必要になります。

IEC 61508は産業オートメーション業界により策定されましたが,鉄道(EN 50128),医療(IEC 62304),および機械(IEC 62061)など,他の業界における派生の規格が存在します。自動車業界では,国際規格ISO 26262が乗用車セグメントで代表的になってきています。IEC 61508はまだ商用車両,特にオフハイウェー車で使用されています。

IEC认证工具包は,IEC 61508とISO 26262などの派生規格の認定を補助します。これは嵌入式编码器およびPolyspace代码验证製品をサポートします。

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

• IEC认证工具包(IEC 61508とISO 26262用)
  
• 金宝app
• Stateflow
• 嵌入式编码器
• 金宝app仿真软件检查
• 金宝app仿真软件覆盖
• 金宝app仿真软件的需求
• 嵌入式编码器
• PolySpace代码验证製品

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

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