我々が内製したツールではないのですが、モデル図とプログラム間でのBack to Back一致性検証が国際規格の要件案として審議されていた時期に、ガイオ・テクノロジー株式会社が企画され、我々がユーザの立場でツール開発に参画したツールで、当時は単体のツール“MC-Checker”としてリリースされました。
その後、テストカバレッジ測定などの親和性から”カバレッジマスターwinAMS”(ガイオ・テクノロジー株式会社)のオプションとしてリニューアルされました。
開発の種類(研究 、制御のプロトタイピングや量産開発等)、単発の開発 or 長期間の継続的な開発、組織の大小などのプロジェクトの内容により、上記のメリットや課題について、その重要度や難易度が変わり、課題に対する適切な対策方法も変わると思います。
MBD手法はあくまで手段でありMBD手法を導入することを主目的にすると、直面する課題に対する対策に迷う場合もあるかもしれません。