ACM SIGOPS Operating Systems Review
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
Adopting Cleanroom software engineering with a phased approach
IBM Systems Journal
Fault-tolerant computer system design
Fault-tolerant computer system design
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance
IEEE Transactions on Software Engineering
Reliability Issues in Computing System Design
ACM Computing Surveys (CSUR)
Software Quality
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Detectors and Correctors: A Theory of Fault-Tolerance Components
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Component based design of fault-tolerance
Component based design of fault-tolerance
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Model-Driven Development of Real-Time Systems with UML 2.0 and C
MBD-MOMPES '06 Proceedings of the Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Model-Driven Software Development: Technology, Engineering, Management
Model-Driven Software Development: Technology, Engineering, Management
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
DSN '07 Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
Towards Model-Based Failure-Management for Automotive Software
SEAS '07 Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems
Applying a Model-based Approach for Embedded System Development
EUROMICRO '07 Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications
Model-Based Testing of Automotive Systems
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Risk Modeling, Assessment, and Management
Risk Modeling, Assessment, and Management
Systematic Model-Based Testing of Embedded Automotive Software
Electronic Notes in Theoretical Computer Science (ENTCS)
Model based testing with labelled transition systems
Formal methods and testing
Model-Based Design for Embedded Systems
Model-Based Design for Embedded Systems
A symbolic framework for model-based testing
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
The term dependability was defined in the 1980s to encompass aspects like fault tolerance and system reliability. According to IFIP, it is defined as the trustworthiness of a computing system which allows reliance to be justifiably placed on the service it delivers. Hence, dependability is the capability of a system to successfully and safely complete its mission. This chapter concentrates on safety and reliability aspects. It starts with a review of the basic terminology including, for example, fault, failure, availability, and integrity. In the following, a mathematical model of fault-tolerant systems is defined. It is used in the further sections for comparison with different techniques for safety and reliability analysis. Also selected currently available model-based development tools are reviewed. A summary and identification of future research challenges conclude the chapter.