Methods and techniques from program analysis research sometimes have restrictions that do not hold in industrial systems, e.g. they do not allow certain language constructs or they assume specific execution models.
Reimplementing the system before the proposed methods are applied may solve the problem. For large, complex systems, this may be too costly. The aim of this project is to explore and evaluate different methods and strategies that can be used to analyse existing, complex software systems without requiring reprogramming/modification of the system before analysis
Past activities includes identification of loops, estimating execution times and graphical abstraction in the AXE switching system from Ericsson.
Future activities will include derivation of a semantic for the PLEX language (Programming Language for EXchanges) as well as studies on parallell execution in signal based systems.