Heinrich Rust – författare
Visar alla böcker från författaren Heinrich Rust. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
753 kr
Skickas inom 10-15 vardagar
Die aktuelle Frage nach der Zuverlassigkeit von programmgestutzten Maschinen verlangt in gewissen hochsensiblen Anwendungsbereichen, wie bsw. der Notfallmedizin oder dem Betrieb von Kraftwerken, moglichst prazise Anworten. In diesem Buch wird das Spektrum der Verfahren untersucht, die in der Informatik fur diesen Zweck entwickelt und vorgeschlagen werden. Im Verlaufe der Untersuchung, die von Spezifikationen und Beweisen uber Programmtests zur Bewertung verschiedener auf Statistik basierender Verfahren fortschreitet, wird die These erhartet, dass das menschliche Verstandnis und damit die Moglichkeit zu individueller Ubernahme von Verantwortung das Erfolgskriterium solcher Verfahren ist, und zwar sowohl aus theoretischen wie aus praktischen Grunden.
Operational Semantics for Timed Systems
A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
Häftad, Engelska, 2005
555 kr
Skickas inom 10-15 vardagar
This monograph is dedicated to a novel approach for uniform modeling of timed and hybrid systems. The author introduces a time model that allows for both the description of discrete time steps and continuous processes with a discrete time model with infinitesimal step widths.The underlying mathematical structure of this time model is based on the concepts of non-standard analysis. The discrete modeling, i.e., the description of sequential discrete algorithms at different abstraction levels, is done using the abstract state machines formalism.The presentation is well balanced between theoretical elaboration and critical discussion of the applicability of the theoretical results by means of appropriate case studies. The new temporal semantics proposed helps theoreticians as well as practitioners in gaining a better understanding of time models and in building better notations, models, and tools for the formal treatment of systems where time matters.