Formal Design And Verification Of A Reliable Computing Platform For Real Time Control Phase 3 Results
DOWNLOAD
Download Formal Design And Verification Of A Reliable Computing Platform For Real Time Control Phase 3 Results PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Formal Design And Verification Of A Reliable Computing Platform For Real Time Control Phase 3 Results book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Formal Design And Verification Of A Reliable Computing Platform For Real Time Control Phase 3 Results
DOWNLOAD
Author : National Aeronautics and Space Administration (NASA)
language : en
Publisher: Createspace Independent Publishing Platform
Release Date : 2018-07-17
Formal Design And Verification Of A Reliable Computing Platform For Real Time Control Phase 3 Results written by National Aeronautics and Space Administration (NASA) and has been published by Createspace Independent Publishing Platform this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-07-17 with categories.
In this paper the design and formal verification of the lower levels of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital flight control applications, are presented. The RCP uses NMR-style redundancy to mask faults and internal majority voting to flush the effects of transient faults. Two new layers of the RCP hierarchy are introduced: the Minimal Voting refinement (DA_minv) of the Distributed Asynchronous (DA) model and the Local Executive (LE) Model. Both the DA_minv model and the LE model are specified formally and have been verified using the Ehdm verification system. All specifications and proofs are available electronically via the Internet using anonymous FTP or World Wide Web (WWW) access. Butler, Ricky W. and Divito, Ben L. and Holloway, C. Michael Langley Research Center ARCHITECTURE (COMPUTERS); DIGITAL COMPUTERS; DIGITAL ELECTRONICS; DIGITAL SYSTEMS; ELECTROMAGNETIC INTERFERENCE; FAULT TOLERANCE; FLIGHT CONTROL; NUMERICAL CONTROL; PROGRAM VERIFICATION (COMPUTERS); REAL TIME OPERATION; HIERARCHIES; REDUNDANCY; SYNCHRONISM; WORLD WIDE WEB...
Formal Design And Verification Of A Reliable Computing Platform For Real Time Control Phase 3 Results
DOWNLOAD
Author :
language : en
Publisher:
Release Date : 1994
Formal Design And Verification Of A Reliable Computing Platform For Real Time Control Phase 3 Results written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1994 with categories.
Formal Design And Verification Of A Reliable Computing Platform For Real Time Control Phase 1 Results
DOWNLOAD
Author :
language : en
Publisher:
Release Date : 1990
Formal Design And Verification Of A Reliable Computing Platform For Real Time Control Phase 1 Results written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1990 with categories.
Formal Design And Verification Of A Reliable Computing Platform For Real Time Control Phase 2 Results
DOWNLOAD
Author :
language : en
Publisher:
Release Date : 1992
Formal Design And Verification Of A Reliable Computing Platform For Real Time Control Phase 2 Results written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1992 with categories.
Dependable Computing For Critical Applications 3
DOWNLOAD
Author : Carl E. Landwehr
language : en
Publisher: Springer Science & Business Media
Release Date : 2013-06-29
Dependable Computing For Critical Applications 3 written by Carl E. Landwehr and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-06-29 with Computers categories.
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.
Scientific And Technical Aerospace Reports
DOWNLOAD
Author :
language : en
Publisher:
Release Date : 1995
Scientific And Technical Aerospace Reports written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1995 with Aeronautics categories.
Monthly Catalogue United States Public Documents
DOWNLOAD
Author :
language : en
Publisher:
Release Date : 1995
Monthly Catalogue United States Public Documents written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1995 with Government publications categories.
Monthly Catalog Of United States Government Publications
DOWNLOAD
Author : United States. Superintendent of Documents
language : en
Publisher:
Release Date : 1993
Monthly Catalog Of United States Government Publications written by United States. Superintendent of Documents and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1993 with Government publications categories.
February issue includes Appendix entitled Directory of United States Government periodicals and subscription publications; September issue includes List of depository libraries; June and December issues include semiannual index
Dependable Computing For Critical Applications 2
DOWNLOAD
Author : John F. Meyer
language : en
Publisher: Springer Science & Business Media
Release Date : 2012-12-06
Dependable Computing For Critical Applications 2 written by John F. Meyer and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2012-12-06 with Computers categories.
This volume contains the papers presented at the Second International Work ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991. In keeping with the first such conference on this topic, which took place at the University of California, Santa Barbara in 1989, this meeting was like wise concerned with an important basic question: Can we rely on Computers? In more precise terms, it addressed various aspects of computer system de pendability, a broad concept defined as th'e trustworthiness of computer service such that reliance can justifiably be placed on this service. Given that this term includes attributes such as reliability, availability, safety, and security, it is our hope that these papers will contribute to further integration of these ideas in the context of critical applications. The program consisted of 20 papers and three panel sessions. The papers were selected from a total of 61 submissions at a November 1990 meeting of the Program Committee in Ann Arbor, Michigan. We were very fortunate to have a broad spectrum of interests represented, with papers in the final program coming from seven different countries, representing work at universities, corporations, and government agencies. The process was greatly facilitated by the diligent work of the Program Committee and the quality of reviews provided by outside referees. In addition to the paper presentations, there were three panel sessions or ganized to examine particular topics in detail.
Monthly Catalog Of United States Government Publications
DOWNLOAD
Author :
language : en
Publisher:
Release Date : 1995
Monthly Catalog Of United States Government Publications written by and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1995 with Government publications categories.