Formal Design and Verification of a Reliable Computing Platform for Real-time Control. Phase 2: Results PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Formal Design and Verification of a Reliable Computing Platform for Real-time Control. Phase 2: Results PDF full book. Access full book title Formal Design and Verification of a Reliable Computing Platform for Real-time Control. Phase 2: Results by . Download full books in PDF and EPUB format.
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 164
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 164
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 72
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 994
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 248
Get Book Here
Book Description
Author: Carl E. Landwehr
Publisher: Springer Science & Business Media
ISBN: 3709140099
Category : Computers
Languages : en
Pages : 380
Get Book Here
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.
Author: United States. Superintendent of Documents
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 678
Get Book Here
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
Author:
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 1048
Get Book Here
Book Description
Author: Paul S. Miner
Publisher:
ISBN:
Category : Fault-tolerant computing
Languages : en
Pages : 148
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 1096
Get Book Here
Book Description
Author: Jan Vytopil
Publisher: Springer Science & Business Media
ISBN: 9783540550921
Category : Computers
Languages : en
Pages : 636
Get Book Here
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.
