大学ネットワーク

システム検証(4):モデリングソフトウェア、プロトコル、およびその他の動作

説明

システム検証は、システム通信と情報処理の基礎を研究する分野です。 これにより、システムの動作モデルに基づく自動分析が可能になり、システムが正しく機能するかどうかを確認できます。 システムが想定どおりに動作することを保証したいと思います。 システム検証で提唱された手法により、エラーがないことを証明できます。 これにより、構造的に健全な組み込みシステムの動作を設計でき、副作用として、動作を単純で洞察に満ちたものにすることができます。 これは、システムが正しく動作しているだけでなく、保守と適応がはるかに簡単であることを意味します。 「ソフトウェアプロトコルのモデリング、およびその他の動作」は、ソフトウェアモデリング、通信プロトコル、およびその他の例における形式手法の力を示しています。 読み物。 JFグルートとMRムサビ。 通信システムのモデリングと分析。 MIT Press、2014年。

価格:無料で登録!

言語: 英語

字幕: 英語

システム検証(4):モデリングソフトウェア、プロトコル、およびその他の動作 –EITデジタル