ENSURE - Ensurance of Software Evolution by Run-time Certification

Start date 01/10/2012
End date The project is closed: 01/09/2015

​Quality attributes play an important role in different classes of software systems, e.g. safety in embedded systems and performance in business information systems.

Currently, quality requirements are typically checked at design time. For evolving systems with changing environmental conditions this leads to the problem that the system may behave differently with respect to quality attributes than analysed at design time. We propose to address this problem by developing a holistic model-driven approach, which treats quality evaluation models as first class entities.

This approach uses dedicated model transformations to evolve quality evaluation models with structural and behavioural models.

Furthermore, the models will be continuously updated with statistical monitoring techniques to estimate model parameters like usage profiles and failure rates. As a result of this approach, we will be able to certify software evolution steps with consistent models.

The project is conducted in the division of Software Engineering, at the department of Computer Science and Engineering. The project is one of the key projects conducted in Software Center.


University of Stuttgart
​External partner at the project: Reliable Systems Group
This page is only available in english

Page manager Published: Mon 14 Apr 2014.