Suomen Akatemia
Nimi Troubitsyna, Elena
Organisaatio ÅA
Tutkimusaihe CoRA: Continuous Resilience Assurance of Complex Software-Intensive Systems
Päätös 298887
Päätöspvm 10.06.2016
Rahoituskausi 01.09.2016 - 31.08.2020
Rahoitus (€) 383 012
WebFOCUS Report
Hankkeen julkinen kuvaus
Nowadays the vast majority of computer-based systems are software-intensive, i.e., they extensively rely on software to deliver their services. Though the range of software-intensive systems is broad, they share common features of being complex, heterogeneous and continuously changing due to evolving platforms, novel network technologies and business needs. However, despite changes, we expect the software-intensive systems to persistently provide trustworthy services critical for our society, i.e., we require software-intensive systems to be resilient. The project will combine the state-of-the-art formal modelling techniques, complex event processing and logical support for reasoning about knowledge to augment complex software-intensive systems with the means to monitor their behaviour at run-time, autonomously diagnose the causes of faults or resilience threats and adapt to ensure uninterrupted provisioning of correct services.