Model-Driven Dependability Assessment of Software Systems.
In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extensio...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Ebook |
| Language: | English |
| Published: |
Dordrecht :
Springer,
2013.
|
| Subjects: | |
| Online Access: | Springer eBooks |
Table of Contents:
- Preface; Goal of the Book; Emphasis of the Book; Target Audience; Road Map of the Book; Acknowledgments; Contents; Acronyms; Chapter1 Dependability Assessment and Software Life Cycle; 1.1 Introduction; 1.1.1 Dependability as a Non-functional Property of Systems; 1.1.2 Dependability in the Software Life Cycle; 1.2 Model-Driven Dependability Assessment; 1.2.1 Domain-Specific Modeling Languages; 1.2.2 Model-Driven Dependability Approach and Advantages; Chapter2 Dependability Concepts; 2.1 Definition of Dependability; 2.2 Threats of the Dependability; 2.2.1 Faults; 2.2.2 Errors; 2.2.3 Failures
- 2.2.4 Hazards2.3 Means of the Dependability; 2.4 Model-Based Evaluation of the Dependability; 2.4.1 Dependability Measures, Properties, and Requirements; 2.4.2 Dependability Formulae; 2.4.2.1 Reliability; 2.4.2.2 Maintainability; 2.4.2.3 Availability; 2.4.2.4 Safety and Integrity Properties; Chapter3 Software Models; 3.1 Unified Modeling Language; 3.1.1 UML Metamodel; 3.1.2 UML Runtime Semantics; 3.1.3 UML Graphical Notation; 3.1.3.1 Class Diagram; 3.1.3.2 Interaction Diagrams; 3.1.3.3 StateCharts; 3.1.3.4 Use Case Diagrams; 3.1.3.5 Activity Diagrams; 3.1.3.6 Component Diagrams
- 3.1.3.7 Deployment Diagrams3.1.3.8 Package Diagrams; 3.1.4 Object Constraint Language; 3.1.5 UML Extension Mechanisms; 3.2 Domain-Specific Language: AADL; 3.2.1 Core Language Capabilities; 3.2.2 Example of an AADL Model; 3.2.3 AADL Versus UML; Chapter4 Dependability Domain Model; 4.1 Structure of the Domain Model; 4.2 System Core Model; 4.2.1 Integration Within MARTE Profile; 4.3 System Redundancy Model; 4.4 Threats Model; 4.5 Maintenance Model; Chapter5 Dependability Modeling and Analysis Profile; 5.1 Design of the DAM Profile; 5.1.1 DAM UML Extensions; 5.1.2 DAM Library
- 5.1.2.1 Complex Dependability Types5.1.2.2 Basic Dependability Types; 5.2 Application of the DAM Profile; 5.2.1 State-Based Failure Conditions; 5.2.2 Common Mode Impairments; 5.2.3 Error Propagation Dependencies; 5.3 Case Study 1: An Intrusion-Tolerant Message Service; 5.3.1 Modeling with UML; 5.3.2 DAM Annotation; 5.4 Case Study 2: A Mission Avionic System; 5.4.1 Modeling with UML and DAM; Chapter6 Dependability Analysis Techniques; 6.1 Introduction; 6.1.1 Applicability in the Life Cycle; 6.1.2 Aim of the Analysis; 6.1.3 Bottom-Up/Top-Down; 6.1.4 Cause-Effect Relationships Exploration
- 6.1.5 Dependencies Modeling6.2 Fault Tree Analysis; 6.3 Petri Net Analysis; 6.3.1 Non-stochastic Petri Nets; 6.4 Other Techniques; 6.4.1 Event Tree Analysis; 6.4.2 FMEA and FMECA; 6.4.3 Functional Failure Analysis; 6.4.4 HAZard and OPerability Studies; 6.4.5 Markov Analysis; 6.4.6 Preliminary Hazard Analysis; 6.4.7 Reliability Block Diagram Analysis; 6.4.8 Truth Table; 6.5 Tools Overview; Chapter7 Proposals for Dependability Assessment; 7.1 Criteria for Proposals Presentation; 7.2 Reliability; 7.3 Availability; 7.4 Maintainability; 7.5 Safety; 7.6 Reliability and Availability.