Logotype Mälardalen University

MRTC research projects



Tools for analysis of complex software systems

Leader: Peter Funk
Members: Peter Funk, Björn Lisper, Jan Gustafsson
Former: Johan Lindhult
Lab:Division of Computer Science and Networks
Keywords: formal methods, reuse, realtime, parallel execution, signal based architecture, WCET
Status: finished , start date: 1998-10-01
Partners:
  • Ericsson Development and Research AB
    • Funding:
  • Ericsson
  • MRTC
  • KK-foundation
    • Web: Project web page

     

    Overview

    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.
     

    Latest project publications [ Show all publications ]


    A Tool Concept for Execution Time Analysis of Legacy Systems, Johan Lindhult (former), Peter Funk, Jan Gustafsson, Björn Lisper, Euromicro Real-Time Conference 2002, Work-in-Progress session, p 4, June, 2002

    Theories for Estimating Execution Times in Soft Real-Time Systems Applied in the Telecommunication Domain, Johan Erikson (external), Jouni Axelsson (external), Technical Report, MRTC and IDt, Mälardalen University, October, 2001

    Asynchronous Signal Paradigm and AI for Soft Real Time Systems, Peter Funk, Janet Wennersten (Ericsson AB) (external), MRTC report, Mälardalen Real-Time Research Centre, Mälardalen University, March, 2000
     

    Results achieved

    Publications as specified above. Two research prototypes, prototype i) extracting information from the code and analyzing execution time properties of the system, prototype ii) generating a graphical abstraction of the system enabling the programmer to validate the execution paths in the system. 4 masters thesis have been produced in total during the project. 1 technical report. 1 submitted publication.
     

    Future work

    The short-term goals of the project are one licentiate thesis (2003), the publication of several papers, the creation of a state-of-the-art report, and giving several seminar for industry. The research prototypes will be further extended and integrated.


    • Mälardalen University |
    • Box 883 |
    • 721 23 Västerås/Eskilstuna |
    • 021-101300, 016-153600 |
    • webmaster |
    • Latest update: 2010.02.23