Dependable Computing For Critical Applications 7
Download Dependable Computing For Critical Applications 7 PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Dependable Computing For Critical Applications 7 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.
Dependable Computing for Critical Applications 7
Author: Charles B. Weinstock
language: en
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Release Date: 1999
Annotation Presenting all 20 of the conferences talks, covers assessing and coping with commercial off-the-shelf components, formal methods, distributed systems, time-triggered architecture, fault tolerance and safety, models of partitioning for integrated modular avionics, dependability evaluation, and probabilistic guarantees. A summary is also provided for a panel on certifying and assessing critical systems. Among the specific topics are building fault-tolerant hardware clocks from commercial components, improving the performance of atomic broadcast protocols using the newsmonger technique, the experimentally validating high-speed systems using physical fault injection, and evaluating dependability using a multi-criteria decision analysis procedure. No mention is made of where or when the conference was held. There is no subject index. Annotation copyrighted by Book News, Inc., Portland, OR.