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.
Produkteigenschaften
- Artikelnummer: 9783540550921
- Medium: Buch
- ISBN: 978-3-540-55092-1
- Verlag: Springer Berlin Heidelberg
- Erscheinungstermin: 11.12.1991
- Sprache(n): Englisch
- Auflage: 1991
- Serie: Lecture Notes in Computer Science
- Produktform: Kartoniert
- Gewicht: 1950 g
- Seiten: 628
- Format (B x H x T): 155 x 235 x 35 mm
- Ausgabetyp: Kein, Unbekannt
Themen
- Mathematik | Informatik
- Mathematik
- Numerik und Wissenschaftliches Rechnen
- Angewandte Mathematik, Mathematische Modelle
- Interdisziplinäres
- Wissenschaften
- Wissenschaften: Forschung und Information
- Kybernetik, Systemtheorie, Komplexe Systeme
- Mathematik | Informatik
- Mathematik
- Numerik und Wissenschaftliches Rechnen
- Computeranwendungen in der Mathematik
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Programmierung: Methoden und Allgemeines
- Mathematik | Informatik
- Mathematik
- Numerik und Wissenschaftliches Rechnen
- Angewandte Mathematik, Mathematische Modelle
- Interdisziplinäres
- Wissenschaften
- Wissenschaften: Forschung und Information
- Kybernetik, Systemtheorie, Komplexe Systeme
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Programmierung: Methoden und Allgemeines
- Interdisziplinäres
- Wissenschaften
- Wissenschaften: Forschung und Information
- Datenanalyse, Datenverarbeitung
- Mathematik | Informatik
- Mathematik
- Numerik und Wissenschaftliches Rechnen
- Computeranwendungen in der Mathematik