Formal Method。厳密に記述された仕様に基づいてシステム設計や開発を行う手法です。厳密に記述されたという意味は、数学的に厳密に定義された言語によって記述することを指しています。仕様が厳密に定義されることによって、仕様の曖昧さが排除され、また数学的に厳密に定義されているため、仕様の検証を数学的なアプローチで行うことができます。仕様が検証できることによって、詳細設計工程やコーディング工程で発生する不具合による手戻りを大幅に削減することができる技術です。Ansys SCADEでは、仕様を厳密に記述する言語として、LUSTRE言語がカーネルとして使用され、さらに仕様をグラフィカルに記述できるため、直感的なソフトウェアウェア設計を可能にします。