モデルベスデザン(mbd,モデルベス開発)は自動車,産業オートメーション,機械,およびその他の業界と適用分野での組み込みソフトウェアの開発に使用されます。エンジニアはモデルベースデザインを用いて,IEC 61508(機能安全規格)に準拠するソフトウェアを作成します。これらのアプリケーションは,規格により課された制限に対処する,また準拠の証明に必要な証拠を生成するため,追加の考慮が必要になります。
IEC 61508は産業オートメーション業界により策定されましたが,鉄道(EN 50128),医療(IEC 62304),および機械(IEC 62061)など,他の業界における派生の規格が存在します。自動車業界では,国際規格iso 26262が乗用車セグメントで代表的になってきています。Iec 61508はまだ商用車両,特にオフハeconfウェ車で使用されています。
IEC认证工具包は,IEC 61508とISO 26262などの派生規格の認定を補助します。これはEmbedded CoderおよびPolyspace代码验证製品をサポトします。
Iec 61508アプリケションの開発のための主な製品:
- IEC认证套件(iec 61508とiso 26262用)
- 万博1manbetx
- Stateflow
- 嵌入式编码器
- 万博1manbetx仿真软件检查
- 万博1manbetx仿真软件覆盖
- 需求的工具箱
- 嵌入式编码器
- PolySpace代码验证製品
IEC 61508向けのMathWorksサポトのその他の情報:
- Sae論文:安全性関連アプリケションのモデルベスデザン
- Sae論文:Iec 61508アプリケションの検証および認証ワクフロ
- Mbees論文:Iec 62304医療機器に対応するモデルベスデザン
- ビデオ:編集時チェックにより準拠性の問題を早期に発見(一28)