Formal Techniques in Real-Time and Fault-Tolerant Systems

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.