Dependable Computing for Critical Applications 7
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Assessment of COTS Microkernels by Fault Injection
Minimalist Recovery Techniques for Single Event Effects in
Building FaultTolerant Hardware Clocks from COTS Components
13 other sections not shown
active algorithm analysis application application software approach architecture arrival pattern atomic broadcast behavior braking clock synchronization communication components configuration CORBA defined denote design faults distributed drift rate DSPN model errata error detection evaluation event execution failure fault injection fault-tolerant Fault-Tolerant Systems Figure formal formal verification function global GPRS group members hardware clock IEEE IIOP implementation input Integrated Modular Avionics integrity Intel Intel Corporation interface interval kernel latency LOTOS mechanisms method microcontroller microkernel microprocessor mode module multicast newsmonger technique nodes noninterference number of messages º º object operation output parameters partition Pentium Pentium II performance phase processor properties quorum received replication group request requirements reset safety scheduling Section sequence number servers SGSN signal slot specification step synchronization algorithm temporal logic theorem time-triggered timer tolerance unit update arrival validation verification