Name of the participant: Sebastian Frank
Description of the IT research project:Today’s (distributed) software systems are often exposed to unexpected events and changes, e.g. load peaks, autoscaling or hardware failures. As a result, user satisfaction can be strongly influenced, e.g. if the availability or performance of the software system is reduced. Therefore, such events should also be considered in the specification in order to make the resilience of the software system assessable. However, requirements of this kind are usually not specified or are specified incorrectly. In particular, stakeholders often find it difficult to quantify these requirements adequately. The necessity and suitability of the requirements is often only recognised when an unexpected event actually occurs. The aim of the project is to develop an approach and a tool based on data-driven formal verification.
Stakeholders will be supported in the specification process by
(i) setting up known scenarios in a precise and quantifiable way,
(ii) proposing new scenarios based on past events, and
(iii) checking the relevance of already specified requirements.
Furthermore, it should be possible to predict the fulfilment of the established requirements (i) for individual, past events, ii) generalised for the system and (iii) for potential events in the future. In a continuous process, the quality and quantity of the resilience requirements should thus be increased, thereby creating confidence in the behaviour of the system.
Software Campus partners: Universität Stuttgart, DATEV
Implementation period: 01.04.2021-01.04.2023