Logotype Mälardalenn University
This web site has been moved.
Please visit our new and improved web site at: http://www.es.mdh.se/
Startpage www.mdh.se

PROGRESS research projects



PG-Leg-Asis – Legacy Model Analysis

Leader: Christer Norström
Members: Christer Norström, Yue Lu
Former: Anders Wall, Johan Kraft
Associated: Jukka Mäki-Turja, Thomas Nolte
Research group:Embedded Systems Software Engineering
Status: finished , start date: 2006-10-01 , End date: 2010-12-31
Funding: SSF, Progress

 

Overview

In order to increase the confidence in the results from the analysis based on simulations we will investigate how to use an iterative simulation approach. By running many simulations randomly we expect to get a fairly good population of results from which we can guide the simulator to explore the most interesting cases in more depth. We will also investigate how to extend our framework for analysis of temporal behavior with analysis of dependability properties. A typical example of such a dependability property is safety. The model extraction solution developed in PG-LegExtract could most likely be adapted to extract models for analyzing safety properties, using e.g. a model checker.
 

Latest project publications [ Show all publications ]


A Statistical Response-Time Analysis of Real-Time Embedded Systems, Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean (INRIA Nancy-Grand Est), 33rd IEEE Real-Time Systems Symposium (RTSS'12), p 351-362, San Juan, Puerto Rico, December, 2012

Pragmatic Approaches for Timing Analysis of Real-Time Embedded Systems, Yue Lu, Ph D Thesis, Mälardalen University Press Dissertations, June, 2012

An Evaluation Framework for Complex Industrial Real-Time Embedded Systems, Yue Lu, Thomas Nolte, Technical Report, MRTC, February, 2012



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