システム検証 (2): プロセス動作のモデル化

説明

システム検証は、システム通信と情報処理の基礎を研究する分野です。これは、コンピューターサイエンスとソフトウェア開発全般の改善における次の当然のステップです。これにより、システムの動作モデルに基づいた自動分析が可能になり、システムが正しく動作するかどうかを確認できます。私たちは、システムが期待どおりに動作することを保証したいと考えています。システム検証で提唱された技術により、エラーがないことを証明できます。これにより、構造的に健全な組み込みシステムの動作を設計できるようになり、副作用として動作をシンプルかつ洞察に富んだものにすることができます。これは、システムが正しく動作するだけでなく、保守と適応がはるかに容易になることを意味します。「Model process behaviour」は、「Automata and behavioural equivalences」のフォローアップ MOOC です。この MOOC では、プロセスの動作、特にプロトコルと分散アルゴリズムをモデル化し、システム動作の特性を深く掘り下げ、状態空間の爆発を避けるために物事をシンプルに保つ方法を示します。読み物。 JF グルートと MR ムーサヴィ。通信システムのモデリングと分析。 MIT プレス、2014 年。

このコースは、システム検証の一連のコースのパート 2 です。システム検証は、一連のコースとして、「組み込みシステムによるモノのインターネット」と呼ばれる、より大規模な EIT デジタルオンラインプログラムの一部です。