Duration Calculus
A Formal Approach to Real-time Systems
(Sprache: Englisch)
A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to...
Leider schon ausverkauft
versandkostenfrei
Buch
153.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Duration Calculus “
Klappentext zu „Duration Calculus “
A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {0,1}-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic to a calculus to specify and reason about properties of state durations. The text covers theory (completeness, decidability, undecidability, model-checking), results, as well as case studies (Deadline Driven Scheduler).
Inhaltsverzeichnis zu „Duration Calculus “
1. Introduction.- 2. Interval Logic.- 3. Duration Calculus.- 4. Deadline-Driven Scheduler.- 5. Relative Completeness.- 6. Decidability.- 7. Undecidability.- 8. Model Checking: Linear Duration Invariants.- 9. State Transitions and Events.- 10. Superdense State Transitions.- 11. Neighborhood Logic.- 12. Probabilistic Duration Calculus.- References.- Abbreviations.- Symbol Index.
Autoren-Porträt von Chaochen Zhou, Michael R. Hansen
Professor ZHOU Chaochen, Institute of Software, Chinese Academy of Sciences. Members of Chinese Academy of Sciences and the Third World Academy of Sciences. Former Director of International Institute for Software Technology, United Nations University. He has had about 30 years research experience in the area of formal techniques for computing systems, in particular for distributed and real-time systems. Associate Prof. Michael R. Hansen. Informatics and Mathematical Modelling, Technical University of Denmark Research interests: Formal Methods, Computer Based Systems, Real-time systems, Hybrid systems, Duration Calculus.
Bibliographische Angaben
- Autoren: Chaochen Zhou , Michael R. Hansen
- 2003, 2004, 250 Seiten, Maße: 16 x 24,1 cm, Gebunden, Englisch
- Herausgegeben: Grzegorz Rozenberg, Arto Salomaa
- Verlag: Springer
- ISBN-10: 3540408231
- ISBN-13: 9783540408239
- Erscheinungsdatum: 04.12.2003
Sprache:
Englisch
Kommentar zu "Duration Calculus"
Schreiben Sie einen Kommentar zu "Duration Calculus".
Kommentar verfassen