システムの検証：オートマトンと行動の同等性| 大学ネットワーク

説明

ソフトウェアシステムの障害を経験したことがありますか？ Webサイトがクラッシュしたり、カレンダーが同期しなかったり、停電になったりすることもあります。もちろんあります！しかし、これらのエラーの多くがシステム内またはシステム間の通信エラーの結果であることをご存知ですか？システムによっては、ソフトウェア障害の影響が非常に大きくなる可能性があり、結果として甚大な経済的損害や人命の損失につながることさえあります。ソフトウェア、特にソフトウェア集約型システム間の通信は、非常に複雑であり、正しく理解することが非常に困難です。しかし、私たちは日常生活で私たちをサポートするために、直接的または間接的に使用するシステムに信頼性を_必要とします_。

システム検証は、構造的に健全な組み込みシステム動作を設計するのに役立ちます。また、動作を単純かつ洞察力のあるものにするように強制します。音の振る舞いのために設計されたシステムは、維持と適応もはるかに簡単です。システム検証は、システム通信と情報処理の基礎を研究する分野です。システム検証で提案された手法により、エラーがないことを証明できます。

この最初のコース「オートマトンと動作の同等性」は、後続のコースの基礎を構築し、システムの動作をステートマシンとして見る方法を示します。行動の同等性について説明し、いくつかの例とクイズでこれらを説明します。このコースでは、特にソフトウェア制御システムの動作をモデル化するためのラベル付き遷移システムまたはオートマトンについて説明します。重要な問題は、そのようなオートマトンによって表されるXNUMXつの動作が等しい場合です。この質問への答えはまったく単純ではありませんが、結果として得られる同等性は、複雑な動作を単純化するための強力なツールとして使用されます。これにより、このようなシステムの動作特性を正確に調査して理解することができます。特に、動作の非表示と組み合わせた場合、等価性の削減は、システムの動作に関する洞察を得るための独自の手法であり、シミュレーションやテストよりもはるかに効果的です。この洞察を使用して、モデルを正しくすることができます。このようなモデルは、簡潔で信頼性が高く、保守可能なソフトウェアを作成するための優れた基盤を形成します。

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