Titolo: 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, 571)
Editore: Springer
Data di pubblicazione: 1991
Lingua: Inglese
ISBN 10: 3540550925
ISBN 13: 9783540550921
Rilegatura: Brossura
Condizione: New

Descrizione articolo

Riassunto

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.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Hello! Ria Christie Collections is an online venture that was initially set up in 2012 to sell books. We do not have a physical high street store. We are professional online booksellers. We only sell brand new books in perfect condition that we source from various suppliers and the publishers. Primarily, our aim is to provide an excellent service to all our customers. We always work as a team to achieve this. Our other objectives are to: 1. Ensure that all our products reach their destination quickly in a safe and secure manner 2. Answer to all our customer queries within 24 hours 3. Ensure that our customers are happy with their purchases 4. Provide all the items at a competitive price 5. Always listen to our customers Ria Christie Collections is not a registered company. It is a Sole Trader venture. Other key information is shown below: Contact Person Name: Rakesh Luchmun (Mr) Storefront Name: Ria Christie Collections Place of Establishment Address: Suite B; ARUN House; ARUN Building Arundel Road Uxbridge UB8 2RR United Kingdom E-Mail Address: riachristie@hotmail.co.uk VAT Number: GB 160 5650 25 We always work hard and aim to comply with all of Abebooks Policies. If you have any issues, please do not hesitate to write to us whether before or after a purchase. We promise to reply to you promptly and, in any case, within 24 hours. Thank you kindly! Yours sincerely Mr Rakesh Luchmun (Founder) and the Ria Christie Collections Team

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Ryefield Investments Limited
175 Pield Heath Road, Uxbridge, UB8 3NL, United Kingdom

Condizioni di vendita e spedizione

Condizioni di vendita

All Returns and Refund are as per Abebooks policies.

Diritto di recesso

Condizioni di spedizione

Orders usually ship within 2 business days. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. Thank you!

Tariffe di spedizione da Regno Unito a U.S.A.

Tariffe di spedizione da Regno Unito a U.S.A.
Quantit� dell?ordine	Da 6 a 12 giorni lavorativi	Da 6 a 12 giorni lavorativi
Primo articolo	EUR 13.80	EUR 13.80

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.