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
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Subjects: Computer science.; Computer system performance.; Software engineering.; Computer Science.; Software Engineering.; Computation by Abstract Devices.; System Performance and Evaluation.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-39512-3

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.