Dependable Computing for Critical Applications 7

by Institute of Electrical and Electronics Engineers (Editor), Charles B. Weinstock, John Rushby

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 c. Book News, Inc., Portland, OR (booknews.com)

400 pages, Hardcover

First published November 1, 1999

About the author

The Institute of Electrical and Electronics Engineers (IEEE) is a professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operations center in Piscataway, New Jersey. It was formed in 1963 from the amalgamation of the American Institute of Electrical Engineers and the Institute of Radio Engineers.

Due to its expansion of scope into so many related fields, it is simply referred to by the letters I-E-E-E (pronounced Eye-triple-E), except on legal business documents. As of 2018, it is the world's largest association of technical professionals with more than 423,000 members in over 160 countries around the world. Its objectives are the educational and technical advancement of electrical and electronic engineering, telecommunications, computer engineering and allied disciplines.