Simulinkモデル用ガイドライン適合度チェックツール　mint


		mintの機能詳細

mint 製品概要

mintはSimulinkおよびStateflow用のモデルガイドライン適合度チェックツールです。
チェック可能なモデルガイドラインは、MAAB、MAAB2、JMAAB、MISRA TargetLink、MISRA Simulink Stateflowです。

モデルベース開発の信頼性向上

自動車をはじめ制御系ソフトウェアの開発ではMATLAB/Simulinkを代表とするモデルベース開発が盛んになっています。モデルベース開発での自動コード生成機能により、従来の開発プロセス後半に発生していた品質問題は減少しています。
　
しかしながら、自動コード生成の発達は、Simulinkモデルの品質がそのままコードの品質に直結することを意味するので、Simulinkモデルの品質がこれまで以上に重要になってきます。一貫性、読みやすさ、冗長性の低さはSimulinkモデルの品質を高める上での重要な要素です。
　
モデルガイドラインに準拠することで、これらの特性がモデルに備わり、モデルの品質を高めることができます。

mintのメリット

厳格なガイドライン適合度チェック

MAAB、MAAB2、JMAAB、MISRA TargetLink、MISRA Simulink Stateflowモデルガイドラインへの適合度をチェックできます。ガイドラインの更新に応じて、mintのチェックルールも更新していますので、最新のガイドラインを用いてモデルベース開発を行うことができます。