Logotype Mälardalen University

PROGRESS

The PROGRESS Centre for Predictable
Embedded Software Systems

Our general approach to research is to:

  1. Formulate research problems that are strategically relevant from an industrial perspective
    2.
  2. Adapt and develop appropriate theory, technology, methods, and tools.
  3. Validate the results in industrial case-studies to ensure relevance of results and to provide feedback for our continued research.
    4.

News

2010.03.16
Licentiate Seminar: Static WCET Analysis based on Abstract Interpretation and Counting of Elements

2010.04.08
Presentation av examensarbeten i datavetenskap, elektronik och flyg/avionik

2010.06.10
Presentation av examensarbeten i datavetenskap, elektronik och flyg/avionik

2010.01.28
Presentation av examensarbeten i datavetenskap, elektronik och flyg/avionik

2009.12.14
PhD defense Markus Bohlin

2009.12.08
Hybrid Measurement-Based WCET Analysis: Instrumentation Point Graphs and Beyond

2009.12.04
Licentiate thesis defense - Pengpeng Ni

2009.11.12
Presentations of thesis work in Computer Science, Electronics and Aeronautics

2009.11.09
Tool supported Real-Time System Verification Techniques with Combination of Abstraction/Deduction and Model Checking

Contact

Director:
Hans Hansson

Research coordinator:
Gunnar Widforss

[ How to find us ]

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