Model-Driven Dependability Assessment of Software Systems

Simona Bernardi is a professor at the University Center of Defence, General Military Academy of Zaragoza, Spain. She has participated in several projects dealing with the development of fault-tolerant distributed embedded systems. Her research interests include software performance and dependability engineering, UML and object-oriented software development methodologies, and formal methods for the modeling and analysis of software systems.José Merseguer is a professor at the Department of Computer Science and Systems Engineering, University of Zaragoza, where he teaches software engineering courses at graduate and undergraduate levels. His main research interests include performance and dependability analysis of software systems, UML semantics, self-adaptive systems and service-oriented software engineering.Dorina C. Petriu is a professor at the Department of Systems and Computer Engineering at Carleton University, Ottawa, ON, Canada. Her main research interests are in the areas of software performance modeling and model-driven development, with an emphasis on integrating performance and dependability engineering into the software development process. She was a contributor to two OMG standards, the “UML Profile for Schedulability, Performance and Time (SPT)” and the “UML Profile for Modeling and Analysis of Real Time Systems (MARTE)”.

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