Precomputing Reconfiguration Strategies based on Stochastic Timed Game AutomataFT
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 OctDisplayed time zone: Eastern Time (US & Canada) change
10:30 - 12:00 | |||
10:30 22mTalk | 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 15mTalk | 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 22mTalk | 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 15mTalk | 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 15mTalk | 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 |