Model-Driven Dependability Assessment of Software Systems

• Main Authors: Bernardi, Simona (Author), Merseguer, José (Author), Petriu, Dorina Corina (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Subjects: Computer science.; Computer system failures.; Software engineering.; Computers.; Computer Science.; Software Engineering.; Computation by Abstract Devices.; System Performance and Evaluation.

Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.   In this book, the authors present cutting-edge m...

Table of Contents:

• 1 Dependability Assessment and Software Life-cycle
• 2 Dependability Concepts
• 3 Software models
• 4 Dependability Domain Model
• 5 Dependability Modeling and Analysis Profile
• 6 Dependability Analysis Techniques
• 7 Proposals for Dependability Assessment
• 8 From Software Models to Dependability Analysis Models
• 9 Conclusions and Advanced Open Issues
• A The MARTE profile
• B Classes in the dependability domain model.