Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings. 1st ed. 1991

種類:

電子ブック

責任表示:

edited by Jan Vytopil

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991

著者名:

• Vytopil, Jan.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 571

ISBN:

9783540466925 [3540466924]    

注記:

ISL: An interval logic for the specification of real-time programs -- Duration specifications for shared processors -- A compositional semantics for fault-tolerant real-time systems -- Modelling real-time behavior with an interval time calculus -- Multicycles and RTL logic satisfiability -- Voluntary preemption: A tool in the design of hard real-time systems -- Observing task preemption in Ada 9X -- Real-time scheduling by queue automata -- Broadcast communication for real-time processes -- Analysis of timeliness requirements in safety-critical systems -- Verification of a reliable net protocol -- Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization -- Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems -- On fault-tolerant symbolic computations -- Temporal logic applied to reliability modelling of fault-tolerant systems -- Specifying asynchronous transfer of control -- Protocol design by layer
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.

ローカル注記:

学内専用E-BOOKS (local access only)