ENsurance of Software evolUtion by Run-time cErtification (ENSURE)

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 analyzed 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 behavioral 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.


Runtime Quality Evaluation, Model Consistency, Safety, Reliability, Performance

Recent Publications