MODELS 2022
Sun 23 - Fri 28 October 2022 Montréal, Canada
Wed 26 Oct 2022 10:30 - 10:52 at A-4502.1 - Systems Eng. & Analysis I Chair(s): Iulian Ober

Many modern software systems continuously reconfigure themselves to (self-)adapt to ever-changing environmental contexts. Selecting presumably best-fitting next configurations is, however, very challenging, depending on functional and non-functional criteria like real-time constraints as well as inherently uncertain future contexts which makes greedy one-step decision heuristics ineffective. In addition, the computational overhead caused by reconfiguration planning at run-time should not outweigh its benefits. On the other hand, completely pre-planning reconfiguration decisions at design time is also infeasible due to the lack of knowledge about the context behavior. In this paper, we propose a game-theoretic setting for precomputing reconfiguration decisions under partially uncertain real-time behavior. We employ stochastic timed game automata as reconfiguration model to derive winning strategies which enables the first player (the system) to make fast look-ups for presumably best-fitting reconfiguration decisions satisfying the second player (the context). To cope with the high computational complexity of finding winning strategies, our tool implementation utilizes the statistical model-checker Uppaal Stratego to approximate near-optimal solutions. In our evaluation, we investigate efficiency/effectiveness trade-offs by considering a real-world case study consisting of an reconfigurable robot support system for the construction of aircraft fuselages.

Wed 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Systems Eng. & Analysis ITools & Demonstrations / Technical Track at A-4502.1
Chair(s): Iulian Ober
10:30
22m
Talk
Precomputing Reconfiguration Strategies based on Stochastic Timed Game AutomataFT
Technical Track
Hendrik Göttmann Technical University of Darmstadt, Birte Caesar Helmut Schmidt University, Lasse Beers Helmut Schmidt University, Malte Lochau University of Siegen, Andy Schürr TU Darmstadt, Germany, Alexander Fay Helmut Schmidt University
10:52
15m
Talk
A Tool for the Automation of Efficient Multi-Robot Choreography Planning and ExecutionDemo
Tools & Demonstrations
Eric Roslin Wete Poaka Leibniz Universität Hannover, Joel Greenyer FHDW Hannover, Daniel Kudenko Leibniz Universität Hannover, Wolfgang Nejdl Leibniz Universität Hannover, Oliver Flegel Volkswagen AG, Dennes Eisner Volkswagen AG
11:07
22m
Talk
System Architecture Synthesis for Performability by Logic SolversFT
Technical Track
Máté Földiák Budapest University of Technology and Economics, Kristóf Marussy Budapest University of Technology and Economics, Daniel Varro McGill University / Budapest University of Technology and Economics, Istvan Majzik Budapest University of Technology and Economics
File Attached
11:29
15m
Talk
Migrating from Proprietary Tools to Open-source Software for EAST-ADL Metamodel Generation and EvolutionDemo
Tools & Demonstrations
Jörg Holtmann Chalmers | University of Gothenburg, Jan-Philipp Steghöfer XITASO GmbH IT & Software Solutions, Henrik Lönn Volvo Technology
11:44
15m
Talk
A Diagram-Centric Modeling Tool for Systems of SystemsDemoVirtual
Tools & Demonstrations
Sean Kristian Remond Harbo Aalborg University, Emil Voldby Aalborg University, Jonas Madsen Aalborg University, Michele Albano Aalborg University