Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
Software engineers are faced with the challenge of creating control algorithms for increasingly complex dynamic systems, e.g., the management of communication network topologies. To support rapid prototyping for these increasingly complex software systems, we have created the GIPS (Graph-Based ILP Problem Specification Tool) framework to derive some or even all of the building blocks of said systems, by using Model-Driven Software Engineering (MDSE) approaches. Developers can use our high-level specification language GIPSL (Graph-Based ILP Problem Specification Language) to specify their desired model outcome as sets of constraints and objectives. GIPS is able to derive executable (Java) software artifacts automatically that optimize a given input graph instance according to the specification at runtime. Said artifacts can then be used as system blocks of, e.g., topology control systems. In this paper, we present the maintenance of (centralized) tree-based peer-to-peer data distribution topologies as a possible application scenario for GIPS in the topology control domain. The presented example is implemented using open-source software and its source code as well as an executable demonstrator in the form of a virtual machine is available on GitHub.
Presentation Slides (gips-gcm-2023_slides.pdf) | 1.61MiB |
Tue 18 JulDisplayed time zone: London change
09:15 - 10:30 | GCM Session 1GCM at Willow Chair(s): Jens Kosiol Universität Kassel, Detlef Plump University of York Remote Participants: Zoom Link, YouTube Livestream | ||
09:15 15mDay opening | GCM Opening GCM Jens Kosiol Universität Kassel | ||
09:30 30mTalk | Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description) GCM P: Maximilian Kratz Technical University of Darmstadt, Real-Time Systems Lab, Sebastian Ehmes Technical University of Darmstadt, Real-Time Systems Lab, Philipp Menzel Technical University of Darmstadt, Andy Schürr TU Darmstadt, Germany Media Attached File Attached | ||
10:00 30mTalk | Pedagogy of Teaching Pointers in the C Programming Language using Graph Transformation GCM File Attached |