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