ソフト開発のシフトレフトを目的としてモデルベース開発 (MBD) の導入が進んでいます。 本講演では、高信頼システム向けソフト開発で支持を集めるAnsys SCADEの基盤技術「形式言語」について、役割と重要性を解説します。 モデルが単に実行できるだけにとどまらず、仕様の正しさや不具合がないことの証明に利用できることは、ライフサイクル全体を大幅に効率化します。 単なる動く仕様書から脱却できる形式言語をぜひ一緒に学びませんか?
