Del i serien ESPRIT Basic Research Series

Predictably Dependable Computing Systems

Häftad, Engelska, 2011

AvBrian Randell,Jean-Claude Laprie,Hermann Kopetz,Bev Littlewood

1 479 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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 and cost-effective". Papers on fault prevention, fault tolerance, fault removal, and fault forecasting are included.

Produktinformation

Utgivningsdatum2011-12-08
Mått155 x 235 x 33 mm
Vikt914 g
FormatHäftad
SpråkEngelska
SerieESPRIT Basic Research Series
Antal sidor588
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642797910

Tillhör följande kategorier

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.

Du kanske också är intresserad av

Del 4

Dependable Computing for Critical Applications

Algirdas Avizienis, Jean-Claude Laprie

Häftad, 2012

719 kr

Computer Safety, Reliability, and Security

Stuart Anderson, Massimo Felici, Bev Littlewood

Häftad, 2003

739 kr

Dependability: Basic Concepts and Terminology

Jean-Claude Laprie

Häftad, 2014

719 kr

Dependable Computing for Critical Applications 3

Carl E. Landwehr, Brian Randell, Luca Simoncini

Häftad, 2013

719 kr

Simplicity is Complex

Hermann Kopetz

Häftad, 2020

2 009 kr

Real-Time Systems

Hermann Kopetz, Wilfried Steiner

Inbunden, 2022

869 kr

Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg - Design Methods and Applications for Distributed Embedded Systems, Häftad

Del 150

Design Methods and Applications for Distributed Embedded Systems

Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg

Häftad, 2013

739 kr

Real-Time Systems

Hermann Kopetz, Wilfried Steiner

Häftad, 2023

789 kr

Data, Information, and Time

Hermann Kopetz

Häftad, 2022

739 kr

Simplicity is Complex

Hermann Kopetz

Inbunden, 2019

2 009 kr

Del i serien ESPRIT Basic Research Series

Predictably Dependable Computing Systems

Häftad, Engelska, 2011

AvBrian Randell,Jean-Claude Laprie,Hermann Kopetz,Bev Littlewood

1 479 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2011-12-08
Mått155 x 235 x 33 mm
Vikt914 g
FormatHäftad
SpråkEngelska
SerieESPRIT Basic Research Series
Antal sidor588
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642797910

Tillhör följande kategorier

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.