Ensure: ENsurance of Software evolUtion by Run-time cErtification

Software is an innovation driver in many different domains, e.g., 90% of the innovation in cars is realized by software. Hence, the quality of the software is of utmost importance and needs to be properly addressed during its development. Examples of quality attributes which ENSURE addresses are safety in embedded systems and performance in business information systems. Currently, the quality is usually analysed at design time under non-perfect knowledge about the behaviour of the system and its environment which can result in incorrect analysis results. Another problem is that related models may be developed by different teams, leading to inconsistencies between the models that are only discovered at a later date.

Hence, ENSURE addresses this problem by a holistic model-driven approach, which treats quality evaluation models as first class entities. We focus on probabilistic quality properties, e.g., reliability, availability and safety. We developed an approach for architectural as well as quality evaluation models which supports incremental change propagation between the models. This is achieved by, for example, adding traces which indicate that elements in different models are related. Another approach is to efficiently learn the attributes of the quality evaluation models from the actual running system and an approach to specify the quality properties to analyse using controlled natural language. Complementary to these activities, we empirically studied model-driven engineering and its challenges related to our topics as well as how meta models of modelling languages change over time. We evaluated our approach on the Pick&Place Unit (PPU) case study.

In the future, we will extend our approach by providing automated recommendation support for cases where related models change in parallel using machine learning techniques on the models' histories. The second major extension is to improve the performance of the quality analysis by only analysing the parts of the models that have changed after an update. Finally, we will empirically study and evaluate the results from our approaches with experts from industry as well as on the PPU.

This project is funded by the DFG as part of the Priority Programme 1593 from 2012 until 2019.


Henrik Kaijser, Henrik Lönn, Matthias Tichy, Wenjing Yuan and Saimir Baci
Tool Assisted Model Based Multi Objective Analyses of Automotive Embedded Systems
Proceedings of the 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, 7th of July 2015, Lund, Sweden
July 2015
Barbara Paech, Sven Apel, Lars Grunske and Christian Prehofer
Empirische Forschung zu Software-Evolution
M. Autili, L. Grunske, M. Lumpe, P. Pelliccione and A. Tang
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar
IEEE Transactions on Software Engineering,
ISSN: 0098-5589
Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer and Matthias Tichy
Evolution of software in automated production systems - Challenges and Research Directions
Journal of Systems and Software,
  to be published
Sinem Getir, Lars Grunske, Christian Karl Bernasko, Verena Kaefer, Tim Sanwald and Matthias Tichy.
CoWolf - A generic framework for multi-view co-evolution and evaluation of models
Proceedings of International Conference on Model Transformation
Darko Durisic, Miroslaw Staron and Matthias Tichy
ARCA - Automated Analysis of AUTOSAR Meta-Model Changes
Proc. of 7th International Workshop on Modelling in Software Engineering (MiSE¹2015) co-located with ICSE 2015 Florence, Italy, May 16 - 17, 2015
Darko Durisic, Miroslaw Staron and Matthias Tichy
Identifying Optimal Sets of Standardized Architectural Features - A Method and its Automotive Application
In Ipek Ozkaya and Heiko Koziolek, editor, Proc. of the 11th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2015), Montreal, Canada, May 4 - 8
A. Filieri, L. Grunske and A. Leva
Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models
Proc. of the 37th International Conference on Software Engineering (ICSE), May 16-24, Florence, Italy, 2015
Indika Meedeniya, Irene Moser, Aldeida Aleti and Lars Grunske
Evaluating probabilistic models with uncertain model parameters
Software & Systems Modeling, :1-21
ISSN: 1619-1366
Sinem Getir, Michaela Rindt and Timo Kehrer
A Generic Framework for Analyzing Model Co-Evolution
Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain. , page 12--21.
Grischa Liebel, Nadja Marko, Matthias Tichy, Andrea Leitner and Jörgen Hansson
Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain
In Juergen Dingel and Wolfram Schulte, editor, Model Driven Engineering Languages and Systems, 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3
Emil Backlund, Mikael Bolle, Matthias Tichy, Helena Holmström Olsson and Jan Bosch
Automated User Interaction Analysis for Workflow-Based Web Portals
Proc. of the 5th International Conference on Software Business (ICSOB 2014), Paphos, Cyprus
Darko Durisic, Miroslaw Staron, Matthias Tichy and Jörgen Hansson
Evolution of Long-Term Industrial Meta-Models ­ A Case Study
Proc. of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Verona, Italy
Darko Durisic, Miroslaw Staron, Matthias Tichy and Jörgen Hansson
Quantifying Long-Term Evolution of Industrial Meta-Models - A Case Study
Proc. of the IWSM Mensura Conference (2014), Rotterdam, Netherlands
Claudia Priesterjahn, Dominik Steenken and Matthias Tichy
Timed Hazard Analysis of Self-healing Systems
In Rogério de Lemos Javier Camara, Carlo Ghezzi and Antonia Lopes, editor, Assurances for Self-Adaptive Systems Volume 7740 of Lecture Notes in Computer Science
page 112-151.
Publisher: Springer Berlin / Heidelberg,
Sinem Getir, André van Hoorn, Lars Grunske and Matthias Tichy
Co-Evolution of Software Architecture and Fault Tree Models: An Explorative Case Study on a Pick and Place Factory Automation System
Proc. of the 5th International Workshop on Non-functional Properties in Modeling, September 29, Miami, USA
Matthias Tichy, Christian Krause and Grischa Liebel
Detecting performance bad smells for Henshin model transformations
In Benoit Baudry, Jürgen Dingel and Levi Lécio and Hans Vangheluwe, editor, Proc. of the 2nd Workshop on the Analysis of Model Transformations (AMT), September 29, Miami, USA