説明
システム検証は、システム通信と情報処理の基礎を研究する分野です。 これにより、システムの動作モデルに基づく自動分析が可能になり、システムが正しく機能するかどうかを確認できます。 システムが想定どおりに動作することを保証したいと思います。 システム検証で提唱された手法により、エラーがないことを証明できます。 これにより、構造的に健全な組み込みシステムの動作を設計でき、副作用として、動作を単純で洞察に満ちたものにすることができます。 これは、システムが正しく動作しているだけでなく、保守と適応がはるかに簡単であることを意味します。 「モーダル式による要件」は、要件とシステムの動作との正しい関係を確立するために、オートマトンの要件を指定する方法を示す2014番目のコースです。 読み物。 JFグルートとMRムサビ。 通信システムのモデリングと分析。 MIT Press、XNUMX年。
価格：無料で登録！
言語： 英語
字幕: 英語