EAN: 9783030128340

Bilder-Quelle: shopping24.de – Sport

In modern distributed systems such as the Internet of Things or cloud computing verifying their correctness is an essential aspect. This requires modeling approaches that reflect the natural characteristics of such systems: the locality of their components autonomy of their decisions and their asynchronous communication. However most of the available verifiers are unrealistic because one or more of these features are not reflected. Accordingly in this book we present an original formalism: the Integrated Distributed Systems Model (IMDS) which defines a system as two sets (states and messages) and a relation of the actions between these sets. The server view and the traveling agent's view of the system provide communication duality while general temporal formulas for the IMDS allow automatic verification. The features that the model checks include: partial deadlock and partial termination communication deadlock and resource deadlock. Automatic verification can support the rapid development of distributed systems. Further on the basis of the IMDS the Dedan tool for automatic verification of distributed systems has been developed.

Produktinformationen zuletzt aktualisiert am
12.05.2025 um 19:33 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

(Preise zuletzt aktualisiert am: 12.05.2025 um 18:05 Uhr)

Die Preise und Versandkosten können sich seit der letzten Aktualisierung beim jeweiligen Händler verändert haben.
Alle Preise sind Angaben des jeweiligen Anbieters inklusive Umsatzsteuer, zzgl. Versand - alle Angaben ohne Gewähr.

Grundpreise werden angezeigt und berechnet sofern möglich in Abhängigkeit eindeutiger und auslesbarer Daten
aus dem Produktnamen des jeweiligen Produktes und dem vom Shop angegeben Verkaufspreises des Produktes.