Formal Techniques in Real-time and Fault-Tolerant Systems. Lecture Notes in Computer Science No. 571

Vytopil, J. (ed.)

ISBN 10: 3540550925 / ISBN 13: 9783540550921

Published by Springer-Verlag, New York, 1991

About this Item

Still in publisher's shrinkwrap ; 620 pages.

Seller Inventory # 2311

Bibliographic Details

• Title: Formal Techniques in Real-time and Fault-Tolerant Systems. Lecture Notes in Computer Science No. 571
• Publisher: Springer-Verlag, New York
• Publication Date: 1991
• Language: English
• ISBN 10: 3540550925
• ISBN 13: 9783540550921
• Binding: Softcover
• Edition: First Edition.
• Condition: New
• Seller catalogs:
  • All
  • Science/Technology
  • Computer
  • Texts

About this title

Synopsis

This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.