MODELS 2024
Sun 22 - Fri 27 September 2024 Linz, Austria

This program is tentative and subject to change.

Wed 25 Sep 2024 09:00 - 10:30 at HS 1 - Keynote 1

Faced with the goal of performing a system-wide analysis on large heterogeneous systems without the benefit of a system-wide model, we sought instead to derive models from code. The result is a suite of tools for (1) extracting from code, and other software artifacts, a lightweight graphical model of the software that is sufficiently detailed to support analyses of control flows, data flows, and software dependencies; (2) expressing diverse analyses of interest; (3) analyzing relatively large software models; and (4) and visualizing the analysis results. In this talk, we present the tools as well as our experiences in applying them to open-source software systems and to automotive software components and product-lines of components.

This program is tentative and subject to change.

Wed 25 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Keynote 1Keynotes at HS 1
09:00
90m
Keynote
Modelling and Analysis of Code
Keynotes
Joanne M. Atlee University of Waterloo