skip to content
Software Performability: From Concepts to Applications Preview this item
ClosePreview this item
Checking...

Software Performability: From Concepts to Applications

Author: Ann T Tai; John F Meyer; Algirdas Avižienis
Publisher: Boston, MA : Springer US, 1996.
Series: Kluwer international series in engineering and computer science, 347.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Computers are currently used in a variety of critical applications, including systems for nuclear reactor control, flight control (both aircraft and spacecraft), and air traffic control. Moreover, experience has shown that the dependability of such systems is particularly sensitive to that of its software components, both the system software of the embedded computers and the application software they support.  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: Ann T Tai; John F Meyer; Algirdas Avižienis
ISBN: 9781461313250 1461313252
OCLC Number: 852779185
Description: 1 online resource (220 pages).
Contents: 1 Introduction --
1.1 Need for Unified Measures --
1.2 Basic Definitions and Associated Terminology --
1.3 Overview of Chapters --
2 General Concepts and Applications of Performability Modeling --
2.1 Concepts --
2.2 Developments and Applications --
3 Framework of Software Performability Modeling --
3.1 Overview --
3.2 Formal Framework --
4 Viable Techniques for Model Construction and Solution --
4.1 Introduction --
4.2 Modeling Techniques --
4.3 Using Different Modeling Techniques: Examples --
5 Case Study I: Comparative Studies of Fault-Tolerant Software --
5.1 Introduction --
5.2 General Approach --
5.3 RB Model --
5.4 Basic NVP Model --
5.5 Comparative Evaluation Results --
5.6 Improving Effectiveness --
5.7 Conclusion --
6 Case Study II: Performability-Management Oriented Adaptive Fault Tolerance --
6.1 Introduction --
6.2 An Adaptive Fault-Tolerant System --
6.3 Performability Variable --
6.4 Base Model Construction and Solution --
6.5 Adaptive Rule Generation --
6.6 Analysis --
6.7 Discussion --
7 Case Study III: Performability Management in Distributed Database Systems --
7.1 Introduction --
7.2 Background --
7.3 Performability Models --
7.4 Evaluation and Discussion --
7.5 Summary and Future Work --
References --
A San Specifications --
A.1 SAN Model for Synchronized Checkpointing --
A.2 SAN Model for Asynchronous Checkpointing --
B Sample Mathematica Programs and Outputs --
B.1 Mathematica Program for Performability Evaluation of RB --
B.2 Mathematica Output for Performability Evaluation of RB --
B.3 Mathematica Program for Performability Evaluation of Basic NVP --
B.4 Mathematica Output for Performability Evaluation of Basic NVP --
B.5 Mathematica Program for Performability Evaluation of NVP-TB --
B.6 Mathematica Output for Performability Evaluation of NVP-TB.
Series Title: Kluwer international series in engineering and computer science, 347.
Responsibility: by Ann T. Tai, John F. Meyer, Algirdas Avižienis.

Abstract:

Computers are currently used in a variety of critical applications, including systems for nuclear reactor control, flight control (both aircraft and spacecraft), and air traffic control.  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/852779185> # Software Performability: From Concepts to Applications
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "852779185" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/39283686#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://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/91536953> ; # Algirdas Avižienis
    schema:contributor <http://viaf.org/viaf/3671646> ; # John F. Meyer
    schema:creator <http://viaf.org/viaf/55867412> ; # Ann T. Tai
    schema:datePublished "1996" ;
    schema:description "1 Introduction -- 1.1 Need for Unified Measures -- 1.2 Basic Definitions and Associated Terminology -- 1.3 Overview of Chapters -- 2 General Concepts and Applications of Performability Modeling -- 2.1 Concepts -- 2.2 Developments and Applications -- 3 Framework of Software Performability Modeling -- 3.1 Overview -- 3.2 Formal Framework -- 4 Viable Techniques for Model Construction and Solution -- 4.1 Introduction -- 4.2 Modeling Techniques -- 4.3 Using Different Modeling Techniques: Examples -- 5 Case Study I: Comparative Studies of Fault-Tolerant Software -- 5.1 Introduction -- 5.2 General Approach -- 5.3 RB Model -- 5.4 Basic NVP Model -- 5.5 Comparative Evaluation Results -- 5.6 Improving Effectiveness -- 5.7 Conclusion -- 6 Case Study II: Performability-Management Oriented Adaptive Fault Tolerance -- 6.1 Introduction -- 6.2 An Adaptive Fault-Tolerant System -- 6.3 Performability Variable -- 6.4 Base Model Construction and Solution -- 6.5 Adaptive Rule Generation -- 6.6 Analysis -- 6.7 Discussion -- 7 Case Study III: Performability Management in Distributed Database Systems -- 7.1 Introduction -- 7.2 Background -- 7.3 Performability Models -- 7.4 Evaluation and Discussion -- 7.5 Summary and Future Work -- References -- A San Specifications -- A.1 SAN Model for Synchronized Checkpointing -- A.2 SAN Model for Asynchronous Checkpointing -- B Sample Mathematica Programs and Outputs -- B.1 Mathematica Program for Performability Evaluation of RB -- B.2 Mathematica Output for Performability Evaluation of RB -- B.3 Mathematica Program for Performability Evaluation of Basic NVP -- B.4 Mathematica Output for Performability Evaluation of Basic NVP -- B.5 Mathematica Program for Performability Evaluation of NVP-TB -- B.6 Mathematica Output for Performability Evaluation of NVP-TB."@en ;
    schema:description "Computers are currently used in a variety of critical applications, including systems for nuclear reactor control, flight control (both aircraft and spacecraft), and air traffic control. Moreover, experience has shown that the dependability of such systems is particularly sensitive to that of its software components, both the system software of the embedded computers and the application software they support. Software Performability: From Concepts to Applications addresses the construction and solution of analytic performability models for critical-application software. The book includes a review of general performability concepts along with notions which are peculiar to software performability. Since fault tolerance is widely recognized as a viable means for improving the dependability of computer system (beyond what can be achieved by fault prevention), the examples considered are fault-tolerant software systems that incorporate particular methods of design diversity and fault recovery. Software Performability: From Concepts to Applications will be of direct benefit to both practitioners and researchers in the area of performance and dependability evaluation, fault-tolerant computing, and dependable systems for critical applications. For practitioners, it supplies a basis for defining combined performance-dependability criteria (in the form of objective functions) that can be used to enhance the performability (performance/dependability) of existing software designs. For those with research interests in model-based evaluation, the book provides an analytic framework and a variety of performability modeling examples in an application context of recognized importance. The material contained in this book will both stimulate future research on related topics and, for teaching purposes, serve as a reference text in courses on computer system evaluation, fault-tolerant computing, and dependable high-performance computer systems."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/39283686> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/39283686#Series/kluwer_international_series_in_engineering_and_computer_science> ; # Kluwer international series in engineering and computer science ;
    schema:isPartOf <http://worldcat.org/issn/0893-3405> ; # The Kluwer International Series in Engineering and Computer Science,
    schema:isSimilarTo <http://worldcat.org/entity/work/data/39283686#CreativeWork/> ;
    schema:name "Software Performability: From Concepts to Applications"@en ;
    schema:productID "852779185" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/852779185#PublicationEvent/boston_ma_springer_us_1996> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/39283686#Agent/springer_us> ; # Springer US
    schema:url <http://dx.doi.org/10.1007/978-1-4613-1325-0> ;
    schema:url <http://link.springer.com/10.1007/978-1-4613-1325-0> ;
    schema:workExample <http://worldcat.org/isbn/9781461313250> ;
    schema:workExample <http://dx.doi.org/10.1007/978-1-4613-1325-0> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/852779185> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/39283686#Series/kluwer_international_series_in_engineering_and_computer_science> # Kluwer international series in engineering and computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/852779185> ; # Software Performability: From Concepts to Applications
    schema:name "Kluwer international series in engineering and computer science ;" ;
    .

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

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

<http://link.springer.com/10.1007/978-1-4613-1325-0>
    rdfs:comment "from Springer" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/3671646> # John F. Meyer
    a schema:Person ;
    schema:familyName "Meyer" ;
    schema:givenName "John F." ;
    schema:name "John F. Meyer" ;
    .

<http://viaf.org/viaf/55867412> # Ann T. Tai
    a schema:Person ;
    schema:familyName "Tai" ;
    schema:givenName "Ann T." ;
    schema:name "Ann T. Tai" ;
    .

<http://viaf.org/viaf/91536953> # Algirdas Avižienis
    a schema:Person ;
    schema:familyName "Avižienis" ;
    schema:givenName "Algirdas" ;
    schema:name "Algirdas Avižienis" ;
    .

<http://worldcat.org/entity/work/data/39283686#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/852779185> ; # Software Performability: From Concepts to Applications
    .

<http://worldcat.org/isbn/9781461313250>
    a schema:ProductModel ;
    schema:isbn "1461313252" ;
    schema:isbn "9781461313250" ;
    .

<http://worldcat.org/issn/0893-3405> # The Kluwer International Series in Engineering and Computer Science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/852779185> ; # Software Performability: From Concepts to Applications
    schema:issn "0893-3405" ;
    schema:name "The Kluwer International Series in Engineering and Computer Science," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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