Cantitate/Preț
Produs

Duration Calculus: A Formal Approach to Real-Time Systems: Monographs in Theoretical Computer Science. An EATCS Series

Autor Chaochen Zhou, Michael R. Hansen
en Limba Engleză Hardback – 4 dec 2003
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 62528 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 9 dec 2010 62528 lei  6-8 săpt.
Hardback (1) 63515 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 4 dec 2003 63515 lei  6-8 săpt.

Din seria Monographs in Theoretical Computer Science. An EATCS Series

Preț: 63515 lei

Preț vechi: 79394 lei
-20% Nou

Puncte Express: 953

Preț estimativ în valută:
12159 12639$ 10081£

Carte tipărită la comandă

Livrare economică 05-19 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540408239
ISBN-10: 3540408231
Pagini: 264
Ilustrații: X, 250 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.49 kg
Ediția:2004
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Monographs in Theoretical Computer Science. An EATCS Series

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.

Notă biografică

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.

Textul de pe ultima copertă

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.

Caracteristici

Comprehensive introduction to interval logic and duration calculus, for modelling, analysing and verifying real-time systems Covers theory (completeness, decidability, undecidability, model-checking) results, as well as case studies (Deadline Driven Scheduler) Contains chapters which point to further research (Probabilistic DC, Neighbourhood logic) Includes supplementary material: sn.pub/extras