MATLABおよび仿真金宝app软件におけるMISRA - Cのサポート
電子コントロールユニットで用いられるソフトウェアコードの品質を評価するため,汽车行业软件可靠性协会(MISRA)は自動車および航空機用ソフトウェアでのCコードの使用におけるガイドラインを導入しました。1998年に米拉Ltd .はMISRA - C (MISRA - C: 1998)を公開し,安全完整性等级(SIL) 2以降を満たす,標準化され構造化された言語の制限されたサブセットを提示しました。
それからMISRA - C: 2004,自動コード生成のコンテキストにおけるMISRA AC AGC規格,c++向けMISRA c++: 2008年,およびMISRA - C: 2012規格などの,いくつかの規格に対する更新が行われてきました。
MISRA - Cの詳細については,www.misra.org.ukを参照してください。
金宝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準拠がチェックされ,結果はモデルまでトレースできます。モデルレベルに注釈を追加して,非準拠の理由を提示することができます。
MISRAに準拠した生成コードについて詳細を見る。
MISRA - C準拠の作業をさらに支援するため,MathWorksは仿金宝app真软件およびStateflowモデルを持つ嵌入式编码器を使用するMISRA支金宝app持表を提供します。
MISRA - C解析パッケージには次のものが含まれます。
- ルールの要約および詳細サンプル記載のドキュメンテーション
- 金宝app仿真软件モデル
Polyspace製品を使用したMISRA準拠の検証について詳細を見る。
MISRA - Cアプリケーションの開発のための主な製品:
ご不明な点があればご連絡ください。
カスタム評価とニーズに合った価格については,お問い合わせください。
