skip to content
Methods, models and tools for fault tolerance Preview this item
ClosePreview this item
Checking...

Methods, models and tools for fault tolerance

Author: Michael Butler
Publisher: Berlin ; New York : Springer, 2009.
Series: Lecture notes in computer science, 5454.; Lecture notes in computer science., State-of-the-art survey.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

The complexity of modern software systems makes it difficult to ensure the dependability of software-intensive systems. This book is based on the workshop on Methods, Models and Tools for Fault  Read more...

Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Aufsatzsammlung
Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Michael Butler
ISBN: 9783642008665 3642008666
OCLC Number: 317920902
Notes: "This book is an outcome of the workshop on Methods, Models and Tools for Fault Tolerance, MeMoT 2007, held in conjuction with the 6th international conferences on Integrated Formal Methods, iFM 2007, in Oxford, UK, in July 2007"--Cover.
Description: viii, 341 pages : illustrations ; 24 cm.
Contents: Graphical modelling for simulation and formal analysis of wireless network protocols / A. Fehnker, M. Fruth, and A.K. McIver --
Reasoning about system-degredation and fault-recovery with deontic logic / Pablo F. Castro and T.S.E. Manibaum --
Temporal verification of fault-tolerant protocols / Michael Fisher, Boris Konev, and Alexci Lisitsa --
Design and verification of fault-tolerant components / Miaominao Zhang [and others] --
Dynamically detecting faults via integrity constraints / Ian J. Hayes --
Event-B patters for specifying fault-tolerance in multi-agent interaction / Elisabeth Ball and Michael Butler --
Formal reasoning about fault tolerance and parallelism in communicating systems / Linas Laibinis, Elena Troubitsyna, and Sari Leppanen --
Formal development of a total order broadcast for distributed transactions using Event-B / Divakar Yadav and Michael Butler --
Model-based testing using scenarios and Event-B refinements / Qaisar A. Malik, Johan Lilius, and Linas Laibinis --
Recording process documentation in the presence of failures / Zheng Chen and Luc Moreau --
DREP: A requirements engineering process for dependable reactive systems / Sadaf Mustafiz and Jorg Keinzle --
Documenting the progress of the system development / Marta Plaska, Marina Walden, and Colin Snook --
Fault toleranse requirements analysis using deviations in the CORRECT development process / Andrey Berizev and Nicolas Guelfi --
Step-wise development of resilient ambient campus scenarios / Alexei Iliasov, Budi Arief, and Alexander Romanovsky --
Using inerent service redundancy and diversity to ensure web services dependability / Anatoliy Gorbenko, Vyacheslav Kharchenko, and Alexander Romanovsky.
Series Title: Lecture notes in computer science, 5454.; Lecture notes in computer science., State-of-the-art survey.
Responsibility: Michael Butler [and others] (eds.).

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/317920902> # Methods, models and tools for fault tolerance
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "317920902" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/906168089#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/906168089#Topic/fehlertoleranz> ; # Fehlertoleranz
    schema:about <http://dewey.info/class/004.2/e22/ger/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/906168089#Topic/fault_tolerant_computing> ; # Fault-tolerant computing
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/906168089#Meeting/international_conference_on_integrated_formal_methods_6th_2007_oxford_england> ; # International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England)
    schema:contributor <http://viaf.org/viaf/85189249> ; # Michael Butler
    schema:contributor <http://experiment.worldcat.org/entity/work/data/906168089#Meeting/workshop_on_methods_models_and_tools_for_fault_tolerance_2007_oxford_england> ; # Workshop on Methods, Models and Tools for Fault Tolerance (2007 : Oxford, England)
    schema:datePublished "2009" ;
    schema:description "Graphical modelling for simulation and formal analysis of wireless network protocols / A. Fehnker, M. Fruth, and A.K. McIver -- Reasoning about system-degredation and fault-recovery with deontic logic / Pablo F. Castro and T.S.E. Manibaum -- Temporal verification of fault-tolerant protocols / Michael Fisher, Boris Konev, and Alexci Lisitsa -- Design and verification of fault-tolerant components / Miaominao Zhang [and others] -- Dynamically detecting faults via integrity constraints / Ian J. Hayes -- Event-B patters for specifying fault-tolerance in multi-agent interaction / Elisabeth Ball and Michael Butler -- Formal reasoning about fault tolerance and parallelism in communicating systems / Linas Laibinis, Elena Troubitsyna, and Sari Leppanen -- Formal development of a total order broadcast for distributed transactions using Event-B / Divakar Yadav and Michael Butler -- Model-based testing using scenarios and Event-B refinements / Qaisar A. Malik, Johan Lilius, and Linas Laibinis -- Recording process documentation in the presence of failures / Zheng Chen and Luc Moreau -- DREP: A requirements engineering process for dependable reactive systems / Sadaf Mustafiz and Jorg Keinzle -- Documenting the progress of the system development / Marta Plaska, Marina Walden, and Colin Snook -- Fault toleranse requirements analysis using deviations in the CORRECT development process / Andrey Berizev and Nicolas Guelfi -- Step-wise development of resilient ambient campus scenarios / Alexei Iliasov, Budi Arief, and Alexander Romanovsky -- Using inerent service redundancy and diversity to ensure web services dependability / Anatoliy Gorbenko, Vyacheslav Kharchenko, and Alexander Romanovsky."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/906168089> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Aufsatzsammlung"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906168089#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906168089#Series/state_of_the_art_survey> ; # State-of-the-art survey
    schema:name "Methods, models and tools for fault tolerance"@en ;
    schema:productID "317920902" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/317920902#PublicationEvent/berlin_new_york_springer_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/906168089#Agent/springer> ; # Springer
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017355198&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017355198&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:workExample <http://worldcat.org/isbn/9783642008665> ;
    umbel:isLike <http://d-nb.info/992870763> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/317920902> ;
    .


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/906168089#Meeting/international_conference_on_integrated_formal_methods_6th_2007_oxford_england> # International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/906168089#Place/oxford_england> ; # Oxford, England)
    schema:name "International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906168089#Meeting/workshop_on_methods_models_and_tools_for_fault_tolerance_2007_oxford_england> # Workshop on Methods, Models and Tools for Fault Tolerance (2007 : Oxford, England)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/906168089#Place/oxford_england> ; # Oxford, England)
    schema:name "Workshop on Methods, Models and Tools for Fault Tolerance (2007 : Oxford, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906168089#Place/oxford_england> # Oxford, England)
    a schema:Place ;
    schema:name "Oxford, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906168089#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/317920902> ; # Methods, models and tools for fault tolerance
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/906168089#Series/state_of_the_art_survey> # State-of-the-art survey
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/317920902> ; # Methods, models and tools for fault tolerance
    schema:name "State-of-the-art survey" ;
    .

<http://viaf.org/viaf/85189249> # Michael Butler
    a schema:Person ;
    schema:birthDate "1967" ;
    schema:familyName "Butler" ;
    schema:givenName "Michael" ;
    schema:name "Michael Butler" ;
    .

<http://worldcat.org/isbn/9783642008665>
    a schema:ProductModel ;
    schema:isbn "3642008666" ;
    schema:isbn "9783642008665" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/317920902> ; # Methods, models and tools for fault tolerance
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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