Author: Publisher:
ISBN:
Category :
Languages : en
Pages : 164
Book Description
Formal Design and Verification of a Reliable Computing Platform for Real-time Control. Phase 2: Results
Author: Scientific and Technical Aerospace Reports
Author: The Second NASA Formal Methods Workshop 1992
Author: Formal Design and Verification of a Reliable Computing Platform for Real-time Control. Phase 1: Results
Author: Dependable Computing for Critical Applications 3
Author: Carl E. LandwehrPublisher: Springer Science & Business Media
ISBN: 3709140099
Category : Computers
Languages : en
Pages : 380
Book Description
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.
Dependable Computing for Critical Applications 2
Author: John F. MeyerPublisher: Springer Science & Business Media
ISBN: 370919198X
Category : Computers
Languages : en
Pages : 439
Book Description
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
Author: United States. Superintendent of DocumentsPublisher:
ISBN:
Category : Government publications
Languages : en
Pages : 1072
Book Description
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
Monthly Catalogue, United States Public Documents
Author: Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 1994
Book Description
Specification and Verification of Gate-level VHDL Models of Synchronous and Asynchronous Circuits
Author: David M. RussinoffFormal Techniques in Real-Time and Fault-Tolerant Systems
Author: Jan VytopilPublisher: Springer Science & Business Media
ISBN: 9783540550921
Category : Computers
Languages : en
Pages : 636
Book Description
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.