Predictably Dependable Computing Systems

Herausgegeben von Randell, Brian; Laprie, Jean-Claude; Kopetz, Hermann; Littlewood, Bev

• Broschiertes Buch

Produktbeschreibung

The first ESPRIT Basic Research Project on Predictably Dependable Computing Systems (No. 3092, PDCS) commenced in May 1989, and ran until March 1992. The institutions and principal investigators that were involved in PDCS were: City University, London, UK (Bev Littlewood), lEI del CNR, Pisa, Italy (Lorenzo Strigini), Universitiit Karlsruhe, Germany (Tom Beth), LAAS-CNRS, Toulouse, France (Jean-Claude Laprie), University of Newcastle upon Tyne, UK (Brian Randell), LRI-CNRS/Universite Paris-Sud, France (Marie-Claude Gaudel), Technische Universitiit Wien, Austria (Hermann Kopetz), and University of York, UK (John McDermid). The work continued after March 1992, and a three-year successor project (No. 6362, PDCS2) officially started in August 1992, with a slightly changed membership: Chalmers University of Technology, Goteborg, Sweden (Erland Jonsson), City University, London, UK (Bev Littlewood), CNR, Pisa, Italy (Lorenzo Strigini), LAAS-CNRS, Toulouse, France (Jean-Claude Laprie), Universite Catholique de Louvain, Belgium (Pierre-Jacques Courtois), University of Newcastle upon Tyne, UK (Brian Randell), LRI-CNRS/Universite Paris-Sud, France (Marie-Claude Gaudel), Technische Universitiit Wien, Austria (Hermann Kopetz), and University of York, UK (John McDermid). The summary objective of both projects has been "to contribute to making the process of designing and constructing dependable computing systems much more predictable and cost-effective". In the case of PDCS2, the concentration has been on the problems of producing dependable distributed real-time systems and especially those where the dependability requirements centre on issues of safety and/or security.

Produktdetails

• ESPRIT Basic Research Series
• Verlag: Springer, Berlin
• Softcover reprint of the original 1st ed. 1995
• Seitenzahl: 612
• Erscheinungstermin: 8. Dezember 2011
• Englisch
• Abmessung: 235mm x 155mm x 33mm
• Gewicht: 914g
• ISBN-13: 9783642797910
• ISBN-10: 3642797911
• Artikelnr.: 36118576

Inhaltsangabe

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 Evaluationof 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.