Model-Driven Dependability Assessment of Software Systems

1. Dependability Assessment and Software Life Cycle
Simona Bernardi, José Merseguer, Dorina Corina Petriu

2. Dependability Concepts
Simona Bernardi, José Merseguer, Dorina Corina Petriu

3. Software Models
Simona Bernardi, José Merseguer, Dorina Corina Petriu

4. Dependability Domain Model
Simona Bernardi, José Merseguer, Dorina Corina Petriu

5. Dependability Modeling and Analysis Profile
Simona Bernardi, José Merseguer, Dorina Corina Petriu

6. Dependability Analysis Techniques
Simona Bernardi, José Merseguer, Dorina Corina Petriu

7. Proposals for Dependability Assessment
Simona Bernardi, José Merseguer, Dorina Corina Petriu

8. From Software Models to Dependability Analysis Models
Simona Bernardi, José Merseguer, Dorina Corina Petriu

9. Conclusions and Advanced Open Issues
Simona Bernardi, José Merseguer, Dorina Corina Petriu

Keywords: Computer Science, Software Engineering, Computation by Abstract Devices, System Performance and Evaluation