2021年6月25日 15時00分 - 16時20分 | MBSEに於ける形式検証実践オンラインセミナー

【過去セミナー】MBSEに於ける形式検証実践オンラインセミナー

 本セミナーでは、モデルベースシステムズエンジニアリング(Model-Based Systems)の実践において、システムの分析、設計、検証を正しく、効率よく実施して設計品質を向上させるための手法として、SysML(Systems Modeling Language)でモデルを構築し、形式検証(モデル検査)を適用することで厳密な振舞い検証を実現するプロセスを紹介します。  併せて、上記プロセスを実践するためのツール環境をデモを交えて紹介し、不具合のないシステム開発を実現する方法を紹介します。 【詳細・お申込み】https://kke.lmsg.jp/v2/seminar/11672/jPmf9

日時・場所

2021年6月25日 15時00分 - 16時20分
MBSEに於ける形式検証実践オンラインセミナー

このイベントをシェア