Write a Blog >>
ESEC/FSE 2021
Thu 19 - Sat 28 August 2021 Clowdr Platform

Control-based approaches to self-adaptive software-intensive systems (SASs) are hailed for their optimal performance and theoretical guarantees on the reliability of adaptation behavior. However, in practice the guarantees are often threatened by model deviations occurred at runtime.
In this paper, we propose a \underline{Mo}del-guided \underline{D}eviation \underline{D}etector (MoD2) for timely and accurate detection of model deviations.
To ensure reliability, a SAS can switch a control-based optimal controller for a mandatory controller once an unsafe model deviation is detected. MoD2 achieves both high timeliness and high accuracy through a deliberate fusion of parameter deviation estimation, uncertainty compensation, and safe region quantification.
Empirical evaluation with three exemplar systems validated the efficacy of MoD2 (93.3% shorter detection delay, 39.4% lower FN rate, and 25.2% lower FP rate), as well as the benefits of the adaptation-switching mechanism (abnormal rate dropped by 29.2%).

Fri 27 Aug

Displayed time zone: Athens change

11:00 - 12:00
Architectures & Design—Model-Driven Software EngineeringResearch Papers / Demonstrations +12h
Chair(s): Luciano Baresi Politecnico di Milano, Davide Di Ruscio University of L'Aquila
11:00
10m
Paper
AlloyMax: Bringing Maximum Satisfaction to Relational SpecificationsDistinguished Paper AwardArtifacts AvailableArtifacts Reusable
Research Papers
Changjian Zhang Carnegie Mellon University, Ryan Wagner Carnegie Mellon University, Pedro Orvalho INESC-ID; Universidade de Lisboa, David Garlan Carnegie Mellon University, Vasco Manquinho INESC-ID; Universidade de Lisboa, Ruben Martins Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
DOI
11:10
10m
Paper
Timely and Accurate Detection of Model Deviation in Self-Adaptive Software-Intensive SystemsArtifacts Available
Research Papers
Yanxiang Tong Nanjing University, Yi Qin Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University, Chun Cao Nanjing University, Xiaoxing Ma Nanjing University
DOI
11:20
5m
Paper
Sangrahaka: A Tool for Annotating and Querying Knowledge Graphs
Demonstrations
DOI
11:25
5m
Paper
GenSys: A Scalable Fixed-Point Engine for Maximal Controller Synthesis over Infinite State Spaces
Demonstrations
Stanly Samuel Indian Institute of Science, India, Deepak D'Souza IISc Bangalore, Raghavan Komondoor IISc Bengaluru
DOI Pre-print
11:30
30m
Live Q&A
Q&A (Architectures & Design—Model-Driven Software Engineering)
Research Papers

23:00 - 00:00
Architectures & Design—Model-Driven Software EngineeringResearch Papers / Demonstrations
Chair(s): Davide Di Ruscio University of L'Aquila
23:00
10m
Paper
AlloyMax: Bringing Maximum Satisfaction to Relational SpecificationsDistinguished Paper AwardArtifacts AvailableArtifacts Reusable
Research Papers
Changjian Zhang Carnegie Mellon University, Ryan Wagner Carnegie Mellon University, Pedro Orvalho INESC-ID; Universidade de Lisboa, David Garlan Carnegie Mellon University, Vasco Manquinho INESC-ID; Universidade de Lisboa, Ruben Martins Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
DOI
23:10
10m
Paper
Timely and Accurate Detection of Model Deviation in Self-Adaptive Software-Intensive SystemsArtifacts Available
Research Papers
Yanxiang Tong Nanjing University, Yi Qin Nanjing University, Yanyan Jiang Nanjing University, Chang Xu Nanjing University, Chun Cao Nanjing University, Xiaoxing Ma Nanjing University
DOI
23:20
5m
Paper
Sangrahaka: A Tool for Annotating and Querying Knowledge Graphs
Demonstrations
DOI
23:25
5m
Paper
GenSys: A Scalable Fixed-Point Engine for Maximal Controller Synthesis over Infinite State Spaces
Demonstrations
Stanly Samuel Indian Institute of Science, India, Deepak D'Souza IISc Bangalore, Raghavan Komondoor IISc Bengaluru
DOI Pre-print
23:30
30m
Live Q&A
Q&A (Architectures & Design—Model-Driven Software Engineering)
Research Papers