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

Resource Information

The instance Dependable computing for critical applications 7, Charles B. Weinstock and John Rushby (eds.) represents a material embodiment of a distinct intellectual or artistic creation found in Missouri University of Science & Technology Library. This resource is a combination of several types including: Instance, Electronic.

Image

http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9780769502847&Type=L

Label

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

Statement of responsibility

Charles B. Weinstock and John Rushby (eds.)

Instantiates

• Dependable computing for critical applications 7

Publication

• Los Alamitos, Calif., IEEE Computer Society, ©1999

Copyright

• ©1999

Antecedent source

file reproduced from original

Bibliography note

Includes bibliographical references and index

Carrier category

online resource

Carrier category code

• cr

Carrier MARC source

rdacarrier

Color

black and white

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

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 [and others] -- 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 [and others] -- 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 [and others] -- 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 [and others] -- 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 [and others] -- 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 [and others] -- Fault detection for Byzantine quorum systems / Lorenzo Alvisi [and others] -- Dependable computing system evaluation criteria : SQUALE proposal / Yves Deswarte

Control code

680499770

Dimensions

unknown

Extent

1 online resource (xiii, 400 pages)

Form of item

online

Isbn

9780769502847

Level of compression

• lossless
• lossy

Media category

computer

Media MARC source

rdamedia

Media type code

• c

Other control number

9780769502847

Other physical details

illustrations

Record ID

.b125106403

Reformatting quality

• preservation
• access

Reproduction note

Electronic reproduction.

Specific material designation

remote

System control number

(OCoLC)680499770

System details

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.