モデル駆動型開発/エンジニアリング (別名 OMG モデル駆動型アーキテクチャ) は、リアルタイムおよび組み込みソフトウェア開発の分野である程度取り入れられていると思います。人々が経験したことがあるツールとツール ベンダーは?
Google は多くの学術論文と 1 つまたは 2 つのベンダー (IBM の Rational Rose Technical Developer と VisSim) を提供してくれます。
さらに、モデル形式 (UML?)、プラットフォーム固有のモデルのターゲット言語/環境 (C? RTOS?)、およびテスト (ロジックベース?) に関する情報をいただければ幸いです。
EnterpriseArchitectとIBMSoftware-RationalRhapsodyを使用しました。Do178B認定に適したコードを生成する、組み込みのコード生成エンジンと独自のコード生成エンジンを使用しました。Rational Rhapsodyを使用して、VXWorksと独自のOSをターゲットにしました。これらのツールはUMLモデルを使用します。コードを生成するため、これらのツールへの統合を提供するツールに使用したものを使用して単体テストを実行できます。
セーフティクリティカルなソフトウェアを作成する場合は、Scadeもオプションです。当社の他の部門のいくつかはこれをうまく利用しています。非常にロジック指向であるため、すべてを実行することはできませんが、一部のプロジェクトでは最大70％のコードを生成できます。認定されたツールを使用すると、ほとんどのテストが不要になります。モデル検証ツールがあり、モデルが正しい場合はコードが正しいです。要件および構成管理ツールに統合されています。
経験豊富な開発者によるセーフティクリティカルでない開発の場合、モデル駆動型開発を使用することで節約できるかどうかを判断するのは困難です。テクノロジーが成熟し、モデルベースの開発に慣れる開発者が増えるにつれ、組み込み環境でこれがさらに多く見られるようになるので、試してみる価値があります。
当社の他の企業は、自動車環境での設計モデリングにSimulink / Stateflowを使用しています。自動コード生成用ではなく、PC上でモデルを実行するためだと思います。
NILabVIEWは別の可能性です。PCベースの自動テストシステムでのみ使用しましたが、モデルベースの設計にも使用できます。
これらのシステムはどちらもコードを生成できますが、これまでのところあまり経験がありません。コード生成を使用しなくても、モデルベースの設計には、高レベルおよび中レベルの設計プロセスと設計ドキュメントを支援するいくつかの利点があります。コード生成は、将来検討できるものです。
私は MS Visio を図面のみに使用しました。コード生成なし。エンタープライズ アーキテクトを検討し始めたばかりで、有望に見えます。
ステート マシンをモデル化したい場合は、 IAR Systems (組み込みコンパイラ会社) のvisualStateを試すよりも悪い結果になる可能性があります。