skip to content
Predictably dependable computing systems Preview this item
ClosePreview this item
Checking...

Predictably dependable computing systems

Author: Brian Randell
Publisher: Berlin ; New York : Springer, ©1995.
Series: ESPRIT basic research series.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Systems engineers are increasingly having to deal with the problem of how to make the process of designing and constructing dependable computing systems much more predictable and cost-effective. The great challenge about dependability is that it is a systems issue, since virtually all aspects of a computing system, and of the means by which it was specified, designed and constructed, can affect the system's overall  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Predictably dependable computing systems.
Berlin ; New York : Springer, ©1995
(DLC) 95205903
(OCoLC)33202445
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Brian Randell
ISBN: 9783642797897 364279789X 9783642797910 3642797911
OCLC Number: 604178771
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (xix, 588 pages) : illustrations.
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.
Contents: I. Basic Concepts --
A. Dependability --
Its Attributes, Impairments and Means --
References for Chapter 1 --
II. Fault Prevention --
A. Analysis of Safety Requirements for Process Control Systems --
B. Real-Time System Scheduling --
C. The Time-Triggered Approach to Real-Time System Design --
D. Software Measurement: A Necessary Scientific Basis --
References for Chapter II --
III. Fault Tolerance --
A. From Recovery Blocks to Concurrent Atomic Actions --
B. Definition and Analysis of Hardware-and-Software Fault-Tolerant Architectures --
C. Failure Mode Assumptions and Assumption Coverage --
D. Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment --
E. Dynamic Adjustment of Dependability and Efficiency in Fault-Tolerant Software --
F. Designing Secure and Reliable Applications using FragmentationRedundancy-Scattering: an Object Oriented Approach --
G. Implementing Fault Tolerant Applications Using Reflective Object-Oriented Programming --
H. The PDCS Implementation of MARS Hardware and Software --
References for Chapter III --
IV. Fault Removal --
A. Advantages and Limits of Formal Approaches for Ultra-High Dependability --
B. Software Statistical Testing --
C. An Experimental Evaluation of Formal Testing and Statistical Testing --
D. Testing Distributed Real-Time Systems: An Overview --
References for Chapter IV --
V. Fault Forecasting --
Fault Injection --
A. Integration and Comparison of Three Physical Fault Injection Techniques --
B. Fault Injection into VHDL Models: The MEFISTO Tool --
C. Estimators for Fault Tolerance Coverage Evaluation --
References for Chapter V --
VI. Fault Forecasting --
Software Reliability --
A. Software Reliability Trend Analyses: From Theoretical to Practical Considerations --
B. The Transformation Approach to the Modeling and Evaluation of Reliability and Availability Growth --
C. New Ways to Get Accurate Reliability Measures --
D. Combination of Predictions Obtained from Different Software Reliability Growth Models --
E. Dependability Modelling and Evaluation of Software Fault-Tolerant Systems --
F. Dependability Analysis of Iterative Fault-Tolerant Software Considering Correlation --
G. Validation of Ultra-High Dependability for Software-based Systems --
References for Chapter VI --
VII. Fault Forecasting --
Large State Space Modelling --
A. Computable Dependability Bounds for Large Markov Chains --
B. Fast Numerical Solution for a Class of Markov Models --
References for Chapter VII --
VIII. Fault Forecasting --
Security Modelling --
A. Towards Operational Measures of Computer Security: Concepts --
B. Towards Operational Measures of Computer Security: Experimentation and Modelling --
References for Chapter VIII --
Pdcs Publications.
Series Title: ESPRIT basic research series.
Responsibility: B. Randell [and others] (eds).

Abstract:

This ESPRIT Basic Research volume provides an overview of two projects intended "to contribute to making the process of designing and constructing dependable computing systems much more predictable  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/604178771> # Predictably dependable computing systems
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "604178771" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/37253985#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/921988> ; # Fault-tolerant computing
   schema:about <http://id.loc.gov/authorities/subjects/sh85029561> ; # Computers--Reliability
   schema:about <http://dewey.info/class/004.21/e20/> ;
   schema:about <http://id.worldcat.org/fast/872847> ; # Computers--Reliability
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/108213253> ; # Brian Randell
   schema:copyrightYear "1995" ;
   schema:datePublished "1995" ;
   schema:description "Systems engineers are increasingly having to deal with the problem of how to make the process of designing and constructing dependable computing systems much more predictable and cost-effective. The great challenge about dependability is that it is a systems issue, since virtually all aspects of a computing system, and of the means by which it was specified, designed and constructed, can affect the system's overall dependability. This book explores links, and gaps, between topics that are often investigated separately, but whose interactions can be of considerable relevance to issues of overall system dependability. It contains material on all four of the main topics that are crucial to the successful production of dependable computing systems namely: fault prevention, fault tolerance, fault removal, and fault forecasting. Particular emphasis is placed on the problems of real-time and distributed computing systems. This book provides up to date information about the latest research on these topics from a team made up of many of Europe's leading researchers - it is based on the work of two successive major ESPRIT Basic Research Projects on Predictably Dependable Computing Systems. These projects lasted over six years in total, and each involved approximately forty researchers at any one time. The book contains a carefully edited selection from among the over two hundred published papers produced by the PDCS projects and provides a good general overview of the work of the two projects, as well as coverage of most of the projects' major research achievements."@en ;
   schema:description "I. Basic Concepts -- A. Dependability -- Its Attributes, Impairments and Means -- References for Chapter 1 -- II. Fault Prevention -- A. Analysis of Safety Requirements for Process Control Systems -- B. Real-Time System Scheduling -- C. The Time-Triggered Approach to Real-Time System Design -- D. Software Measurement: A Necessary Scientific Basis -- References for Chapter II -- III. Fault Tolerance -- A. From Recovery Blocks to Concurrent Atomic Actions -- B. Definition and Analysis of Hardware-and-Software Fault-Tolerant Architectures -- C. Failure Mode Assumptions and Assumption Coverage -- D. Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment -- E. Dynamic Adjustment of Dependability and Efficiency in Fault-Tolerant Software -- F. Designing Secure and Reliable Applications using FragmentationRedundancy-Scattering: an Object Oriented Approach -- G. Implementing Fault Tolerant Applications Using Reflective Object-Oriented Programming -- H. The PDCS Implementation of MARS Hardware and Software -- References for Chapter III -- IV. Fault Removal -- A. Advantages and Limits of Formal Approaches for Ultra-High Dependability -- B. Software Statistical Testing -- C. An Experimental Evaluation of Formal Testing and Statistical Testing -- D. Testing Distributed Real-Time Systems: An Overview -- References for Chapter IV -- V. Fault Forecasting -- Fault Injection -- A. Integration and Comparison of Three Physical Fault Injection Techniques -- B. Fault Injection into VHDL Models: The MEFISTO Tool -- C. Estimators for Fault Tolerance Coverage Evaluation -- References for Chapter V -- VI. Fault Forecasting -- Software Reliability -- A. Software Reliability Trend Analyses: From Theoretical to Practical Considerations -- B. The Transformation Approach to the Modeling and Evaluation of Reliability and Availability Growth -- C. New Ways to Get Accurate Reliability Measures -- D. Combination of Predictions Obtained from Different Software Reliability Growth Models -- E. Dependability Modelling and Evaluation of Software Fault-Tolerant Systems -- F. Dependability Analysis of Iterative Fault-Tolerant Software Considering Correlation -- G. Validation of Ultra-High Dependability for Software-based Systems -- References for Chapter VI -- VII. Fault Forecasting -- Large State Space Modelling -- A. Computable Dependability Bounds for Large Markov Chains -- B. Fast Numerical Solution for a Class of Markov Models -- References for Chapter VII -- VIII. Fault Forecasting -- Security Modelling -- A. Towards Operational Measures of Computer Security: Concepts -- B. Towards Operational Measures of Computer Security: Experimentation and Modelling -- References for Chapter VIII -- Pdcs Publications."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/37253985> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/37253985#Series/esprit_basic_research_series> ; # ESPRIT basic research series.
   schema:isSimilarTo <http://www.worldcat.org/oclc/33202445> ;
   schema:name "Predictably dependable computing systems"@en ;
   schema:productID "604178771" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/604178771#PublicationEvent/berlin_new_york_springer_1995> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/37253985#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/978-3-642-79789-7> ;
   schema:url <http://books.google.com/books?id=6edQAAAAMAAJ> ;
   schema:url <http://catalog.hathitrust.org/api/volumes/oclc/33202445.html> ;
   schema:url <http://link.springer.com/10.1007/978-3-642-79789-7> ;
   schema:workExample <http://worldcat.org/isbn/9783642797910> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-642-79789-7> ;
   schema:workExample <http://worldcat.org/isbn/9783642797897> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/604178771> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/37253985#Series/esprit_basic_research_series> # ESPRIT basic research series.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/604178771> ; # Predictably dependable computing systems
   schema:name "ESPRIT basic research series." ;
   schema:name "ESPRIT basic research series" ;
    .

<http://id.loc.gov/authorities/subjects/sh85029561> # Computers--Reliability
    a schema:Intangible ;
   schema:name "Computers--Reliability"@en ;
    .

<http://id.worldcat.org/fast/872847> # Computers--Reliability
    a schema:Intangible ;
   schema:name "Computers--Reliability"@en ;
    .

<http://id.worldcat.org/fast/921988> # Fault-tolerant computing
    a schema:Intangible ;
   schema:name "Fault-tolerant computing"@en ;
    .

<http://link.springer.com/10.1007/978-3-642-79789-7>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/108213253> # Brian Randell
    a schema:Person ;
   schema:birthDate "1936" ;
   schema:familyName "Randell" ;
   schema:givenName "Brian" ;
   schema:name "Brian Randell" ;
    .

<http://worldcat.org/isbn/9783642797897>
    a schema:ProductModel ;
   schema:isbn "364279789X" ;
   schema:isbn "9783642797897" ;
    .

<http://worldcat.org/isbn/9783642797910>
    a schema:ProductModel ;
   schema:isbn "3642797911" ;
   schema:isbn "9783642797910" ;
    .

<http://www.worldcat.org/oclc/33202445>
    a schema:CreativeWork ;
   rdfs:label "Predictably dependable computing systems." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/604178771> ; # Predictably dependable computing systems
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.