Dependable computing for critical applications 7 / Charles B. Weinstock and John Rushby (eds.).

Format:

Book

Contributor:

Weinstock, Charles B.

Rushby, John, 1949-

IEEE Xplore (Online service)

Series:

Dependable computing and fault-tolerant systems ; v. 12.

Dependable computing and fault-tolerant systems ; v. 12

Language:

English

Subjects (All):

Fault-tolerant computing.

Computers--Reliability.

Computers.

Physical Description:

xiii, 400 pages : illustrations.

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society, [1999]

System Details:

Mode of access: World Wide Web.

text file

Contents:

Microprocessor entomology : a taxonomy of design faults in COTS microprocessors / Algirdas Avžienis and Yutao He

Assessment of COTS microkernels by fault injection / J.-C. Fabre ... [et al.]

Minimalist recovery techniques for single event effects in spaceborne microcontrollers / Douglas W. Caldwell and David A. Rennels

Building fault-tolerant hardware clocks from COTS components / Christof Fetzer and Flaviu Cristian

A methodology for proving control systems with lustre and PVS / S. Bensalem ... [et al.]

Prototyping and formal requirement validation of GPRS : a mobile data packet radio service for GSM / Laurent Andriantsiferana, Brahim Ghribi, Luigi Logrippo

Formal description and validation for an integrity policy supporting multiple levels of criticality / A. Fantechi, S. Gnesi, L. Semini

Proteus : a flexible infrastructure to implement adaptive fault tolerance in AQuA / Chetan Sabnis ... [et al.]

Improving performance of atomic broadcast protocols using the newsmonger technique / Shivakant Mishra and Sudha M. Kuntur

The transparent implementation of fault tolerance in the time-triggered architecture / Hermann Kopetz and Dietmar Millinger

Formal verification for time-triggered clock synchronization / Holger Pfeifer, Detlef Schwier, Friedrich W. von Henke

PADRE : a protocol for asymmetric duplex REdundancy / D. Essamé, J. Arlat, D. Powell

Experimental validation of high-speed fault-tolerant systems using physical fault injection / R.J. Martínez ... [et al.]

A model of cooperative noninterference for integrated modular avionics / Ben L. Di Vito

Invariant performance : a statement of task isolation useful for embedded application integration / Matthew M. Wilding, David S. Hardin, David A. Greve

A model of noninterference for integrating mixed-criticality software components / Bruno Duterte and Victoria Stavridou

Dependability modeling and evaluation of phased mission systems : a DSPN approach / I. Mura ... [et al.]

Dependability evaluation using a multi-criteria decision analysis procedure / Divya Prasad and John McDermid

Probabilistic scheduling guarantees for fault-tolerant real-time systems / A. Burns ... [et al.]

Fault detection for Byzantine quorum systems / Lorenzo Alvisi ... [et al.]

Dependable computing system evaluation criteria : SQUALE proposal / Yves Deswarte.

Notes:

Includes bibliographical references and index.

ISBN:

0769502849

9780769502847

OCLC:

42600841

Access Restriction:

Restricted for use by site license.