A-MOST 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020
Sat 24 Oct 2020 14:30 - 15:00 at Porto - Session III Chair(s): Raluca Lefticaru

Self-adaptation is an effective solution for complex systems that need to adapt themselves to external changes while keeping internal goals; it can be realized in terms of MAPE-K feedback control loops, organized according to specific MAPE patterns in case of decentralized and distributed control. The MSL-centric framework allows the definition of the structure of MAPE-K loops using the MAPE Specification Language (MSL), and the description of its adaptation logic in terms of self-adaptive Abstract State Machines (ASMs). These models can be tested by exploiting classical model-based testing for ASMs that allows structural coverage of ASM models, but which is not adequate to test executions that are peculiar of the structure of MAPE-K loops. To overcome this limitation, in this paper, we propose a MAPE-based testing approach, which generates, from the MSL model, test goals specifying requirements on the control loop executions, translates these into concrete test predicates for the corresponding self-adaptive ASM, and then generates (by using a model checking based technique) abstract tests covering these test predicates. Such abstract tests are suitable to test the desired executions of MAPE control loops. The application of the approach is demonstrated on a smart home case study.

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

14:00 - 15:30: Session IIIA-MOST at Porto
Chair(s): Raluca LefticaruUniversity of Bradford

A-MOST2020 is held as a virtual workshop via Zoom. Contact amost2020@easychair.org for the details.

14:00 - 14:30
Full-paper
A-MOST
Rachid KherraziAkka Technologies
Link to publication DOI
14:30 - 15:00
Full-paper
A-MOST
Paolo ArcainiNational Institute of Informatics , Raffaela MirandolaPolitecnico di Milano , Elvinia RiccobeneComputer Science Dept., University of Milan, Patrizia ScandurraUniversity of Bergamo, Italy
Link to publication DOI
15:00 - 15:30
Full-paper
A-MOST
Florian LorberAalborg University, Emil Jørgensen NjorAalborg University, Nikolaj Isgård SchmidtAalborg University, Sebastian Reidar PetersenAalborg University
Link to publication DOI