Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Thu 24 Sep 2020 16:00 - 16:20 at Wombat - Model-Driven Development Chair(s): Marianne Huchard

The \emph{feature interaction problem} arises when two or more independent features interact with each other in an undesirable manner. Feature interactions remain a challenging and important problem in emerging domains of cyber-physical systems (CPS), such as intelligent vehicles, unmanned aerial vehicles (UAVs) and the Internet of Things (IoT), where the outcome of an unexpected interaction may result in a safety failure. Existing approaches to resolving feature interactions rely on priority lists or fixed strategies, but may not be effective in scenarios where none of the competing feature actions are satisfactory with respect to system requirements. This paper proposes a novel \emph{synthesis-based} approach to resolution, where a conflict among features is resolved by \emph{synthesizing} an action that best satisfies the specification of desirable system behaviors in the given environmental context. Unlike existing resolution methods, our approach is capable of producing a desirable system outcome even when none of the conflicting actions are satisfactory. The effectiveness of the proposed approach is demonstrated using a case study involving interactions among safety-critical features in an autonomous drone.

Thu 24 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

16:00 - 17:00
Model-Driven Development Journal-first Papers / Research Papers at Wombat
Chair(s): Marianne Huchard LIRMM
16:00
20m
Talk
Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems
Research Papers
Benjamin Gafford Grinnell College, Tobias Dürschmid Carnegie Mellon University, Institute for Software Research, Gabriel A. Moreno Carnegie Mellon University, USA, Eunsuk Kang Carnegie Mellon University, USA
16:20
20m
Talk
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools
Research Papers
Hoang Lam Nguyen Humboldt-Universität zu Berlin, Nebras Nassar Philipps-Universität Marburg, Timo Kehrer Humboldt-Universtität zu Berlin, Lars Grunske Humboldt-Universität zu Berlin
16:40
20m
Talk
Characterization of Implied Scenarios as Families of Common Behavior
Journal-first Papers
Caio Batista de Melo University of California, Irvine, André Luiz Fernandes Cançado University of Brasília, Genaína Nunes Rodrigues University of Brasília
Link to publication DOI Pre-print