電子コントロールユニットで用いられるソフトウェアコードの品質を評価するため,汽车行业软件可靠性协会(MISRA)は自動車および航空機用ソフトウェアでのCコードの使用におけるガイドラインを導入しました。1998年に,MISRAはMISRA - C^®(MISRA - C: 1998)を公開し,安全完整性等级(SIL) 2以降を満たす,標準化および構造化された言語の制限されたサブセットを提供しました。

その後MISRA - C: 2004,自動コード生成のコンテキストにおけるMISRA AC AGC規格,c++向けMISRA c++: 2008年,およびMISRA - C: 2012規格などの,いくつかの規格に対する更新が行われてきました。

MISRA - Cの詳細については

金宝app^®, Stateflow^®,および嵌入式编码器^®はMISRA Cに対応した組み込みソフトウェアの生成に広く使われています。Polyspace^®コード検証製品は,手書きまたは生成されたコードのMISRA - C準拠の解析に使用されています。PolyspaceBug Finder™ は MISRA-C 2004、MISRA-C++:2008、MISRA C:2012、および MISRA AC AGC コーディングルールの検知をサポートします。

コード生成アドバイザーを用いてコードジェネレーターがMISRA - C: 2012規格準拠コードを生成するように,モデルまたはサブシステムを設定できます。生成されたコードはPolyspaceを使用してMISRA準拠がチェックされ,結果はモデルまでトレースできます。モデルレベルに注釈を追加して,非準拠の理由を提示することができます。