Verwandte Artikel zu Duration Calculus: A Formal Approach to Real-Time Systems...
Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series) - Hardcover
Inhaltsangabe
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).
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
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.
Von der hinteren Coverseite
Real-time systems are systems in which temporal properties are
essential for reliability and correctness. Examples of systems where
correctness and reliability are important for safety reasons include
control systems for cars, trains and air planes. In devices such as
washing machines, DVD players and mobile phones the correctness and
reliability of the embedded real-time computing systems are important
for economical reasons as it is expensive to repair errors after the
production phase.
Duration Calculus is an interval logic having special features for
expressing and analysing time durations of states in real-time
systems. Duration Calculus represents a formal approach to the
development of real-time systems, where requirements and designs can
be expressed and reasoned about at an appropriate level of
abstraction.
This book presents the logical foundations of Duration Calculus in a
coherent and thorough manner and through selective case studies it
expains how Durations Calculus can be applied to formal specification
and verification of real-time systems. The book also contains an
extensive survey of the research on Duration Calculus.
Material included in the book has been used for M.Sc. and
Ph.D. courses, but the book is also valuable for experienced
researchers and professionals.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 111,82
EUR 13,82 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für Duration Calculus: A Formal Approach to Real-Time Systems...
Beispielbild für diese ISBN
Duration Calculus: A Formal Approach to Real-Time Systems
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2003
ISBN 10: 3540408231
ISBN 13: 9783540408239
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2003. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 2003. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-627-413
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Duration Calculus: A Formal Approach to Real-Time Systems
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2003
ISBN 10: 3540408231
ISBN 13: 9783540408239
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2003. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2003. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-594-484
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Duration Calculus: A Formal Approach to Real-Time Systems
Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2004
ISBN 10: 3540408231
ISBN 13: 9783540408239
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2004. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2004. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-843-039
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Duration Calculus: A Formal Approach to Real-Time Systems
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9783540408239. Artikel-Nr. 8968886
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540408239_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Duration Calculus
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 264 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Artikel-Nr. 7503975
Anzahl: 1 verfügbar
Foto des Verkäufers
Duration Calculus
ISBN 10: 3540408231
ISBN 13: 9783540408239
Neu
Hardcover
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Neuware -Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction.This book presents the logical foundations of duration calculus in a coherent and thorough manner. Through selective case studies it explains how duration calculus can be applied to the formal specification and verification of real-time systems. The book also contains an extensive survey of the current research in this field.The material included in this book has been used for graduate and postgraduate courses, while it is also suitable for experienced researchers and professionals.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch. Artikel-Nr. 9783540408239
Anzahl: 2 verfügbar
Foto des Verkäufers
Duration Calculus : A Formal Approach to Real-Time Systems
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Duration calculus constitutes a formal approach to the development of real-time systems; as an interval logic with special features for expressing and analyzing time durations of states in real-time systems, it allows for representing and formally reasoning about requirements and designs at an appropriate level of abstraction.This book presents the logical foundations of duration calculus in a coherent and thorough manner. Through selective case studies it explains how duration calculus can be applied to the formal specification and verification of real-time systems. The book also contains an extensive survey of the current research in this field.The material included in this book has been used for graduate and postgraduate courses, while it is also suitable for experienced researchers and professionals. Artikel-Nr. 9783540408239
Anzahl: 1 verfügbar