Jan Gustafsson
jan.gustafsson.jpg

Some facts

PhD, Docent, senior lecturer working at theat the Computer Science Department at the School of Innovation, Design and Engineering (Akademin för Innovation, Design och Teknik - IDT).

Since July 1 2007 I am Dean of the Faculty of Natural Sciences and Engineering at Mälardalen University. I am also active in real-time systems research.

You can reach me at:
Mälardalens University, IDT
PO Box 883, S-721 23 Västerås, SWEDEN
Visiting address: Visiting address: Rosenhill, Room U3-122
Phone: +46 (0)21 10 14 62, Mobile phone: +46 (0)70 748 18 66
Telefax: +46 (0)21 10 14 60
E-mail: jan.gustafsson'at'mdh.se

My short CV is:

 

Research

My research is connected to the Mälardalens Real-Time Research Centre (MRTC). The subject of my research is worst case execution time (WCET) analysis of real-time programs. In this area, I am doing program flow analysis using abstract interpretation. The project is further described here. The main language to be studied is C. I am active in the European projects ARTIST2 Network of Excellence (Compilers and Timing Analysis cluster), the ARTIST-DESIGN network (SW Synthesis, Code Generation and Timing Analysis cluster) and the ALL-TIMES FP7 project.

Supervision of research education

I used to be director of graduate studies at IDT, but that task is now taken over by Magnus Otterskog at IDT. More information is available here.

I used to be the main supervisor of Rikard Lindell, a lecturer at IDT developing new exciting concepts in man-machine communication (see the Siblings Project ). Rikard finished his PhD thesis June 8 2009.

I am assistant supervisor of Marcelo Santos and Stefan Bygde, graduate students at IDT working in the WCET project (see above).

I am assistant supervisor for Christer Sandberg, who is a lecturer at IDT working in the WCET project (see above).

Publications

Below follows all my publications in chronological order, most recent publications first. I have sorted the publications according to theme. Access to the publications is possible using the MRTC publications database. Select author = Jan Gustafsson.

Execution Time Analysis publications

2009

  • Deriving the Worst-Case Execution Time Input Values. Andreas Ermedahl, Johan Fredriksson, Jan Gustafsson, Peter Altenbernd. Accepted for publication at the 21st Euromicro Conference of Real-Time Systems, (ECRTS'09), Dublin, Ireland, July, 2009.
  • ALF – A Language for WCET Flow Analysis. Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Christer Sandberg, and Linus Källberg. Accepted for publication at the 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09), Dublin, Ireland, July, 2009.

    2008

  • Jan Gustafsson, Björn Lisper, Markus Schordan (Vienna University of Technology), Christian Ferdinand (AbsInt Angewandte Informatik), Peter Gliwa (Gliwa GmbH), Marek Jersak (Symtavision GmbH), Guillem Bernat (Rapita Systems Ltd): ALL-TIMES - a European Project on Integrating Timing Technology. Proc. 3rd International Symposium on Leveraging Applications of Formal Methods (ISOLA'08), Porto Sani, Greece, Oct. 2008.
  • Jan Gustafsson, Andreas Ermedahl: Merging Techniques for Faster Derivation of WCET Flow Information using Abstract Execution. Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08), Prague, Czech Republic, July, 2008.
  • Dani Barkah (Volvo CE, Eskilstuna, Sweden), Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Christer Sandberg: Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code. 20th Euromicro Conference of Real-Time Systems, (ECRTS’08), Prague, Czech Republic, July, 2008.
  • Jan Gustafsson: Usability Aspects of WCET Analysis. The 11th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC2008), May 2008, Orlando, Florida, USA.

    2007

  • Jan Gustafsson: The WCET Tool Challenge 2006. 2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06), p 248-249, Paphos, Cyprus, Editor(s):Tiziana Margaris, Anna Philippou, Bernhard Steffen, November, 2007.
  • Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper: Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis using Abstract Execution, Real-Time in Sweden (RTiS) 2007, Västerås, Sweden, August, 2007.
  • Andreas Ermedahl, Christer Sandberg, Jan Gustafsson, Stefan Bygde, Björn Lisper: Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis, Seventh International Workshop on Worst-Case Execution Time Analysis, (WCET'2007), Pisa, Italy, July, 2007. Best paper award.
  • Jan Gustafsson, Andreas Ermedahl: Experiences from Applying WCET Analysis in Industrial Settings, The 10th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC2007), Santorini Island, Greece, May, 2007.
  • Jan Gustafsson, Andreas Ermedahl: Experiences from Applying WCET Analysis in Industrial Settings, Real-Time in Sweden (RTiS) 2007, Västerås, Sweden, August, 2007.

    2006

  • Andreas Ermedahl, Jan Gustafsson, Jakob Engblom (Virtutech, Sweden): Tidsanalys av programvara - Del 1, grunderna för WCET analys. Elektronik i Norden, 12/2006. In Swedish.
  • Andreas Ermedahl, Jan Gustafsson, Jakob Engblom (Virtutech, Sweden): Tidsanalys av programvara - Del 2, tillämpningar och WCET verktyg. Elektronik i Norden, 13/2006. In Swedish.
  • Jan Gustafsson: The WCET Tool Challenge 2006. 2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06), Paphos, Cyprus, November, 2006. A paper with the final report is submitted to IEEE, to be published in 2007.
  • Jan Gustafsson, Björn Lisper, Peter Puschner, and Raimund Kirner: Code Analysis for Temporal Predictability. In Real-Time Systems (Kluwer), March 2006, vol 32, nr 3.
  • Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis using Abstract Execution, Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper, The 27th IEEE Real-Time Systems Symposium (RTSS 2006), Rio de Janeiro, Brazil, December, 2006
  • Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems, Daniel Sehlberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Steffen Wiegratz (AbsInt Angewandte Informatik GmbH, Saarbrucken, Germany), 2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06), Paphos, Cyprus, November, 2006.
  • Algorithms for Infeasible Path Calculation, Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Sixth International Workshop on Worst-Case Execution Time Analysis, (WCET'2006), Dresden, Germany, July, 2006.
  • Faster WCET Flow Analysis by Program Slicing, Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES2006), ACM, Ottawa, Canada, June, 2006

    2005

  • Jan Gustafsson, Andreas Ermedahl, and Björn Lisper: Towards a Flow Analysis for Embedded System C Programs.Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005), Sedona, Arizona, USA, February 2 - 4, 2005.
  • Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson and Björn Lisper: Applying Static WCET Analysis to Automotive Communication Software. 7th Euromicro Conference on Real-Time Systems (ECRTS 2005), Palma de Mallorca, Balearic Islands, Spain, July 6-8, 2005.
  • Andreas Ermedahl, Jan Gustafsson, Björn Lisper: Experiences from Industrial WCET Analysis Case Studies. Proc. Fifth International Workshop on Worst-Case Execution Time (WCET) Analysis, Palma de Mallorca, Editor(s):Reinhard Wilhelm, July, 2005.
  • Andreas Ermedahl, Jan Gustafsson, Björn Lisper: Experiences from Industrial WCET Analysis Case Studies. Real-Time in Sweden (RTiS2000), Skövde, August, 2005.

    2004

  • Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, and Björn Lisper: Static Timing Analysis of Real-Time Operating System Code. In 1-st International Symposium on Leveraging Applications of Formal Methods (IsoLA 2004), Paphos, Cyprus, October - November 2004.

    2003

  • Jakob Engblom, Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, and Hans Hansson: Execution-Time Analysis for Embedded Real-Time Systems. In International Journal on Software Tools for Technology Transfer (STTT), Volume 4, Number 4, August 2003.
  • Jan Gustafsson, Björn Lisper, Christer Sandberg, and Nerina Bermudo: A Tool for Automatic Flow Analysis of C-programs for WCET Calculation. The Eight IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003), January 15 - 17, 2003, Guadalajara, Mexico.
  • Jan Gustafsson, Björn Lisper, Peter Puschner, and Raimund Kirner: Input-Dependency Analysis for Hard Real-Time Software. In 9-th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003F) Capri Island, Italy, October 2003.

    • 2002

  • Jan Gustafsson: Worst Case Execution Time Analysis of Object-Oriented Programs. The Seventh IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2002), January 7-9, 2002, San Diego,CA, USA.
  • Jan Gustafsson: A Prototype Tool for Flow Analysis of Object-Oriented Programs. The 5th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2002), April 29 - May 1, 2002, Crystal City, VA, USA.
  • Jan Gustafsson, Björn Lisper, Nerina Bermudo, Christer Sandberg, and Linus Sjöberg: A Prototype Tool for Flow Analysis of C Programs. The 2nd IEEE International Workshop on Worst Case Execution Time Analysis (WCET'2002), June 18, 2002, Technical University of Vienna, Austria.
  • Johan Erikson, Peter Funk, Jan Gustafsson, and Björn Lisper: A Tool Concept for Execution Time Analysis of Legacy Systems. Work-in-Progress section, 14th Euromicro Conference on Real-Time Systems, June 19-21, 2002, Technical University of Vienna, Austria.
  • Filip Sebek and Jan Gustafsson: Determining the Worst-Case Instruction Cache Miss-Ratio. Workshop on Embedded System Codesign (ESCODES'02), September 24, 2002, San Jose, California, USA.

    2001

  • Jan Gustafsson and Andreas Ermedahl: Automatic derivation of path and loop annotations in object-oriented real-time programs. Published in Engineering of Distributed Control Systems, Nova 2001, ISBN 1-69033102-8. (This is the same paper as the one published 1998).

    2000

  • Jan Gustafsson: Analyzing Execution-Time of Object-Oriented Programs Using Abstract Interpretation. PhD thesis, Department of Computer Systems, Information Technology, Uppsala University, May 2000. Copy sent on request.
  • Christer Norström, Kristian Sandström, Jukka Mäki-Turja, Hans Hansson, Henrik Thane, Jan Gustafsson. Robusta realtidssystem (Robust real-time systems - in Swedish). Technical Report , IDt, course litterature, (250 pages), August 2000.
  • Jan Gustafsson: Eliminating Annotations by Automatic Flow Analysis of Real-Time Programs. Proceedings of the 7th international conference on Real-Time Computing Systems and Applications (RTCSA'00), Cheju Island, South Korea, Dec 2000.
  • Jan Gustafsson: WCET Project - Work in Progress. Technical Report. Swedish-Korean Workshop on Real-Time and Embedded Systems (arranged by ARTES, Korea Information Science Society, National Research Laboratory, SNU BK 21). Cheju Island, South Korea, Dec 2000.

    1999

    Jakob Engblom, Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, and Hans Hansson: Towards Industry-Strength Worst-Case Execution Time Analysis. ASTEC Technical Report 99/02 and DoCS Technical report 99/109. April 23, 1999.

    1998

  • Jan Gustafsson and Andreas Ermedahl: Automatic derivation of path and loop annotations in object-oriented real-time programs. Published in Journal of Parallel and Distributed Computing Practices, vol. 1 no. 2, June 1998. This is the main paper behind my Ph.D.

    1997

  • Andreas Ermedahl and Jan Gustafsson, Deriving Annotations for Tight Calculation of Execution Time, presented at Third International European Conference on Parallel Processing (EuroPar'97), workshop #20, Real-Time Systems and Constraints, Passau, Germany, 26-29 August 1997. The paper describes the new method, which calculates path information used in WCET calculations for programs written in a subset of C. The paper also contains an example analyzed by a prototype tool based on the method. Download:
  • Jan Gustafsson and Andreas Ermedahl: Automatic Derivation of Path and Loop Annotations in Object-Oriented Real-Time Programs. Presented at the joint workshop on parallel and distributed real-time systems (the 5th international workshop on parallel and distributed real-time systems, WPDRTS'97, and the 3rd workshop on object-oriented real-time systems, WOORTS'97), Geneva, Switzerland, 1 - 3 april, 1997 at the 11th IEEE International Parallel Processing Symposium (IPPS'97).The first paper describing the ideas in my Ph.D. thesis. It extends the method in Deriving Annotations for Tight Calculation of Execution Time to object-oriented programs.
  • Ermedahl, A., Gustafsson, J. Realtidsindustrins syn på verktyg för exekveringstidsanalys. ASTEC Report vol: 97/06 (in Swedish).

    1996

  • Ermedahl, A. and Gustafsson, J. Redovisning av Studiecirkel/Kurs i Exekveringstidsanalys. ASTEC Report vol: 96/04 (in Swedish).

    1994

  • Jan Gustafsson, Calculation of Execution Times in Object-Oriented Real-Time Software - A study focused on RealTimeTalk, Licentiate thesis, Department of Machine Elements, The Royal Institute of Technology, Sweden 1994. My licenciate thesis, giving a method for calculation of the WCET for RTT programs. The method consists of a high-level and a low-level part. The thesis also described the prototype tool developed for the Motorola MC68000 processor.
  • Jan Gustafsson, Calculation of Execution Times in RealTimeTalk - An Object-Oriented Language for Real-Time Systems, Presented at the International Workshop on Object-Oriented Real-Time Dependable Systems, 24-25 Oct. 1994, Dana Point, CA, USA. A workshop paper, based on the licenciate thesis.

    General RealTimeTalk publications

    The work with RealTimeTalk (RTT), an object-oriented framework for hard real-time applications, started in 1991, and I am co-author of a number of papers describing RTT. My main contributions to the early years of RTT development was to take part in the design of the RTT system, and to implement parts of the RTT compiler.

    1996

  • Christer Eriksson, Jukka Mäki-Turja, Kjell Post, Mikael Gustafsson, Jan Gustafsson, Kristian Sandström and Ellus Brorson: An Overview of RTT - a Design Framework for Real-Time Systems, The Journal of Parallel and Distributed Computing 36, pp 66 - 80, Oct. 1996. The most complete RTT paper, covering most aspects of the system.

    1995

  • Christer Eriksson, Mikael Gustafsson, Jan Gustafsson, Jukka Mäki-Turja, Henrik Thane, Kristian Sandström, and Ellus Brorson. RealTimeTalk - a Framework for Object-Oriented Hard & Soft Real-Time Systems. Workshop 18: Object-Oriented Real-Time Systems at OOPSLA, Texas, USA, October 1995. A short version of the journal paper below.

    1993

  • Christer Eriksson, Jan Gustafsson, Mikael Gustafsson and Ellus Brorson, An Object-Oriented Framework for Designing Hard Real-Time Systems, IEEE, Real-Time Workshop, Oulu (3-5 June, 1993).

    1992

  • Ellus Brorson, Christer Eriksson and Jan Gustafsson. RealTimeTalk - An Objectoriented Language for Hard Real-Time Systems, IFAC, Real-Time Programming, Brügge (June 92). The basic ideas of RTT were presented here.

    Program Semantics and Type Inference publications

    During 1995 - 1996 I also contributed to the type inference work for RTT, for which the Smalltalk semantics (published 1997) was a pre-requisite.

    1997

  • Jukka Mäki-Turja, Kjell Post and Jan Gustafsson: An Operational Semantics for Smalltalk, technical report, also published in J. Mäki-Turja, Smalltalk -- a suitable real-time langauge?, Licentiate thesis, Department of Computer and Information Science (IDA), Linköping University, Sweden, 1997.

    1995, 1996

  • Jan Gustafsson, Kjell Post, Jukka Mäki-Turja and Ellus Brorsson, Benefits of Type Inference for an Object-Oriented Real-Time Language, presented at WOORTS'95, the Workshop on Object-Oriented Real-Time Systems at the Seventh IEEE Symposium on Parallel and Distributed Processing, Oct. 27, 1995, San Antonio, Texas, USA.
  • The paper was also published in OOPS Messenger, vol. 7, no. 1, jan 1996 (a publication of ACM SIGPLAN, New York, USA).

    Courses

    Right now I am active in a B-level course in science theory Science Methodology for Computer Science and Engineering, 5 credits, and the D-level/graduate level course in research methods, Research Methodology for Computer Science and Engineering, 5 credits.

    I also am responsible for Programming Language Semantics, 5 credits (course not given at present).

    Supervision of bachelor's and master's theses

    You can find the ongoing theses here.

    Music JV-90 picture

    This page wouldn't be complete if I did not mention my music interest. I like most music except opera, and I previously played synth in a local band, Börjes Källare. Right now I am playing with Mint Condition and SemiBasement. Below you can see my two Roland synths.

    JV-90 picture
    VK-7 picture

    Jan Gustafsson 2009-06-17