Model-Driven Dependability Assessment of Software Systems

• Κύριοι συγγραφείς: Bernardi, Simona (Συγγραφέας), Merseguer, José (Συγγραφέας), Petriu, Dorina Corina (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.