Cantitate/Preț
Produs
Total produse
Vezi coșul
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings de Jan Vytopil

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings: Lecture Notes in Computer Science, cartea 571

Editat de Jan Vytopil
en Limba Engleză Paperback – 11 dec 1991
This book presents state-of-the-art research results in thearea of formal methods for real-time and fault-tolerantsystems. The papers consider problems and solutions insafety-critical system design and examine how wellthe useof formal techniques for design, analysis and verificationserves in relating theory to practical realities.The book contains papers on real-time and fault-toleranceissues. Formal logic, process algebra, and action/eventmodels are applied:- to specify and model qualitative and quantitativereal-time and fault-tolerant behavior,- to analyze timeliness requirements and consequences offaulthypotheses,- to verify protocols and program code,- to formulate formal frameworks for development ofreal-time and fault-tolerant systems,- to formulate semantics of languages.The integration and cross-fertilization of real-time andfault-tolerance issues have brought newinsights in recentyears, and these are presented in this book.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (2) 63686 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 11 dec 1991 63686 lei  6-8 săpt.
  Springer Us – 27 sep 2012 94550 lei  6-8 săpt.
Hardback (1) 95151 lei  6-8 săpt.
  Springer Us – 30 apr 1993 95151 lei  6-8 săpt.

Din seria Lecture Notes in Computer Science

Preț: 63686 lei

Preț vechi: 79608 lei
-20% Nou

Puncte Express: 955
Preț estimativ în valută:
11268€ • 13247$ • 9869£

Carte tipărită la comandă

Livrare economică 28 ianuarie-11 februarie 26

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540550921
ISBN-10: 3540550925
Pagini: 640
Ilustrații: XII, 628 p.
Dimensiuni: 155 x 235 x 34 mm
Greutate: 0.89 kg
Ediția:1991
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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 layered decomposition.- Scheduling in Real-Time Models.- A temporal approach to requirements specification of real-time systems.- RLucid, a general real-time dataflow language.- A mechanized theory for the verification of real-time program code using higher order logic.- Specification and verification of real-time behaviour using Z and RTL.- TAM: A formal framework for the development of distributed real-time systems.- An attempt to confront asynchronous reality to synchronous modelization in the ESTEREL language.- The real-time behaviour of asynchronously communicating processes.- Asynchronous communication in real space process algebra.- Translating timed process algebra into prioritized process algebra.- Operational semantics for timed observations.- Real-timed concurrent refineablebehaviours.- Stepwise development of model-oriented real-time specifications from action/event models.- Formal specification of fault tolerant real time systems using minimal 3-sorted modal logic.- Timed and Hybrid Statecharts and their textual representation.