Elena Troubitsyna: Formal goal-oriented development of adaptable and resilient systems
Time: Tue 2017-10-10 13.15
Lecturer: Elena Troubitsyna, Åbo Akademi, Finland
Location: Room 4618, Lindstedtsvägen 5, KTH CSC
Abstract: Goal-oriented development facilitates structuring complex requirements. To ensure resilience, the designers should guarantee that the system achieves its goals despite changes, e.g., caused by failures of system components. In my talk, I will present a formalisation of basic concepts of goal-oriented multi-agent systems and their essential properties. I will focus on describing reasoning about resilience and discuss different mechanisms of enhancing system adaptability and resilience. The proposed formalisation allows us to establishing connections between goals at different levels of abstraction, system architecture and agent responsibilities. The proposed systematic treatment of the involved concepts provides the designers the guidelines for a systematic structured development of adaptive and resilient systems. In my talk, I will also discuss how by augmenting the proposed models with the stochastic information, we can quantitatively evaluate system resilience.