Download or read book An Extension to Schneider s General Paradigm for Fault tolerant Clock Synchronization written by Paul S. Miner and published by . This book was released on 1992 with total page 60 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book A Formally Verified Algorithm for Clock Synchronization Under a Hybrid Fault Model written by and published by . This book was released on 1996 with total page 46 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Formal Techniques in Real Time and Fault Tolerant Systems written by Jan Vytopil and published by Springer Science & Business Media. This book was released on 1991-12-11 with total page 636 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1991 with total page 312 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book A Verified Design of a Fault tolerant Clock Synchronization Circuit Preliminary Investigations written by and published by . This book was released on 1992 with total page 106 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book The Second NASA Formal Methods Workshop 1992 written by and published by . This book was released on 1992 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Dependable Computing for Critical Applications 3 written by Carl E. Landwehr and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 380 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the papers presented. at the Third IFIP International Working Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group 10.4 and held in Mondello (Sicily), Italy on September 14-16, 1992. System developers increasingly apply computers where they can affect the safety and security of people and equipment. The Third IFIP International Working Conference on Dependable Computing for Critical Applications, like its predecessors, addressed various aspects of computer system dependability, a broad term defined as the degree of trust that may justifiably be placed in a system's reliability, availability, safety, security, and performance. Because the scope of the conference was so broad, we hope the presentations and discussions will contribute to the integration of these concepts so that future computer-based systems will indeed be more dependable. The Program Committee selected 18 papers for presentation from a total of 7 4 submissions at a May meeting in Newcastle upon Tyne, UK. The resulting program represented a broad spectrum of interests, with papers from universities, corporations, and government agencies in eight countries. Much diligent work by the Program Committee and the quality of reviews from more than a hundred external referees from around the world, for which we are most grateful, significantly eased the production of this technical program.

Download or read book Verification of Fault tolerant Clock Synchronization Systems written by Paul S. Miner and published by . This book was released on 1993 with total page 148 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Third NASA Langley Formal Methods Workshop written by and published by . This book was released on 1995 with total page 274 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book COMPASS written by and published by . This book was released on 1995 with total page 312 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Formal Specification and Verification of a Fault masking and Transient recovery Model for Digital Flight control Systems written by John Rushby and published by . This book was released on 1991 with total page 136 pages. Available in PDF, EPUB and Kindle. Book excerpt: Abstract: "We present a formal model for fault-masking and transient-recovery among the replicated computers of digital flight-control systems. We establish conditions under which majority voting causes the same commands to be sent to the actuators as those that would be sent by a single computer that suffers no failures. The model and its analysis have been subjected to formal specification and mechanically checked verification using the EHDM system."

Download or read book NASA Contractor Report written by and published by . This book was released on 1991 with total page 382 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Formal Techniques in Real time and Fault tolerant Systems written by and published by . This book was released on 1991 with total page 640 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Formal Verification of an Oral Messages Algorithm for Interactive Consistency written by John Rushby and published by . This book was released on 1992 with total page 56 pages. Available in PDF, EPUB and Kindle. Book excerpt: This example illustrates how delicate choices in the formulation of a problem can have significant impact on the readability of its formal specification and on the tractability of its formal verification."

Download or read book Probabilistic Internal Clock Synchronization written by Flaviu Cristian and published by . This book was released on 1994 with total page 76 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Proceedings written by and published by . This book was released on 1992 with total page 640 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Monthly Catalog of United States Government Publications written by and published by . This book was released on 1994 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: