skip to content
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems Preview this item
ClosePreview this item
Checking...

A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems

Author: David Powell
Publisher: Boston, MA : Springer US, 2001.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
The design of computer systems to be embedded in critical real-time applications is a complex task. Such systems must not only guarantee to meet hard real-time deadlines imposed by their physical environment, they must guarantee to do so dependably, despite both physical faults (in hardware) and design faults (in hardware or software). A fault-tolerance approach is mandatory for these guarantees to be commensurate  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:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: David Powell
ISBN: 9781475733532 1475733534
OCLC Number: 851746187
Description: 1 online resource (260 pages)
Contents: List of Figures. List of Tables. List of Contributors. Foreword. 1. Introduction and Overview; D. Powell, et al. 2. Inter-Channel Communication Network; C. Rabejac, D. Powell. 3. Scheduling; L. Beus-Dukic, A. Wellings. 4. Error Processing and Fault Treatment; A. Bondavalli, et al. 5. Output Consolidation; S. Lautier, E. Jenn. 6. Multilevel Integrity Mechanisms; E. Totel, et al. 7. Architecture Development Environment; L. Beus-Dukic, et al. 8. Formal Verification; C. Bernadeschi, et al. 9. Dependability Evaluation; J. Arlat, et al. 10. Demonstrators; C. Dambra, et al. Project Consortium. Abbreviations. References.
Responsibility: edited by David Powell.

Abstract:

The design of computer systems to be embedded in critical real-time applications is a complex task. Such systems must not only guarantee to meet hard real-time deadlines imposed by their physical  Read more...

Reviews

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

Tags

Be the first.
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/851746187> # A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "851746187" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/56613414#Place/boston_ma> ; # Boston, MA
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://dewey.info/class/004.6/e23/> ;
    schema:about <http://id.worldcat.org/fast/872078> ; # Computer engineering
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://id.worldcat.org/fast/872701> ; # Computer-aided design
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/90086760> ; # David Powell
    schema:datePublished "2001" ;
    schema:description "The design of computer systems to be embedded in critical real-time applications is a complex task. Such systems must not only guarantee to meet hard real-time deadlines imposed by their physical environment, they must guarantee to do so dependably, despite both physical faults (in hardware) and design faults (in hardware or software). A fault-tolerance approach is mandatory for these guarantees to be commensurate with the safety and reliability requirements of many life- and mission-critical applications. A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems explains the motivations and the results of a collaborative project(*), whose objective was to significantly decrease the lifecycle costs of such fault-tolerant systems. The end-user companies participating in this project currently deploy fault-tolerant systems in critical railway, space and nuclear-propulsion applications. However, these are proprietary systems whose architectures have been tailored to meet domain-specific requirements. This has led to very costly, inflexible, and often hardware-intensive solutions that, by the time they are developed, validated and certified for use in the field, can already be out-of-date in terms of their underlying hardware and software technology. The project thus designed a generic fault-tolerant architecture with two dimensions of redundancy and a third multi-level integrity dimension for accommodating software components of different levels of criticality. The architecture is largely based on commercial off-the-shelf (COTS) components and follows a software-implemented approach so as to minimise the need for special hardware. Using an associated development and validation environment, system developers may configure and validate instances of the architecture that can be shown to meet the very diverse requirements of railway, space, nuclear-propulsion and other critical real-time applications. This book describes the rationale of the generic architecture, the design and validation of its communication, scheduling and fault-tolerance components, and the tools that make up its design and validation environment. The book concludes with a description of three prototype systems that have been developed following the proposed approach. (*) Esprit project No. 20716: GUARDS: a Generic Upgradable Architecture for Real-time Dependable Systems."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/56613414> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/56613414#CreativeWork/> ;
    schema:name "A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems"@en ;
    schema:productID "851746187" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/851746187#PublicationEvent/boston_ma_springer_us_2001> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/56613414#Agent/springer_us> ; # Springer US
    schema:url <http://dx.doi.org/10.1007/978-1-4757-3353-2> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3087099> ;
    schema:workExample <http://worldcat.org/isbn/9781475733532> ;
    schema:workExample <http://dx.doi.org/10.1007/978-1-4757-3353-2> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/851746187> ;
    .


Related Entities

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/872078> # Computer engineering
    a schema:Intangible ;
    schema:name "Computer engineering"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/872701> # Computer-aided design
    a schema:Intangible ;
    schema:name "Computer-aided design"@en ;
    .

<http://viaf.org/viaf/90086760> # David Powell
    a schema:Person ;
    schema:familyName "Powell" ;
    schema:givenName "David" ;
    schema:name "David Powell" ;
    .

<http://worldcat.org/entity/work/data/56613414#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/851746187> ; # A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
    .

<http://worldcat.org/isbn/9781475733532>
    a schema:ProductModel ;
    schema:isbn "1475733534" ;
    schema:isbn "9781475733532" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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