Vai al contenuto principale della pagina

Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings / / edited by Jan Vytopil



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings / / edited by Jan Vytopil Visualizza cluster
Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991
Edizione: 1st ed. 1991.
Descrizione fisica: 1 online resource (XII, 628 p.)
Disciplina: 004/.33
Soggetto topico: Computers
Applied mathematics
Engineering mathematics
Mathematical logic
Computer logic
Probabilities
Statistics 
Theory of Computation
Applications of Mathematics
Mathematical Logic and Foundations
Logics and Meanings of Programs
Probability Theory and Stochastic Processes
Statistics, general
Persona (resp. second.): VytopilJan
Note generali: Bibliographic Level Mode of Issuance: Monograph
Nota di contenuto: 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 refineable behaviours -- 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.
Sommario/riassunto: 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.
Titolo autorizzato: Formal Techniques in Real-Time and Fault-Tolerant Systems  Visualizza cluster
ISBN: 3-540-46692-4
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 996465330903316
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Serie: Lecture Notes in Computer Science, . 0302-9743 ; ; 571