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.
Wed 25 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 25 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:15 | Keynote 1Keynotes / MODELS at HS 1 Chair(s): Alexander Egyed Johannes Kepler University Linz, Manuel Wimmer JKU Linz | ||
09:00 15mDay opening | Opening MODELS Manuel Wimmer JKU Linz, Alexander Egyed Johannes Kepler University Linz, Marsha Chechik University of Toronto, Benoit Combemale University of Rennes, Inria, CNRS, IRISA | ||
09:15 60mKeynote | Modelling and Analysis of Code Keynotes Joanne M. Atlee University of Waterloo |