PG-Leg-Asis – Legacy Model Analysis

Status:

finished

Start date:

2006-10-01

End date:

2010-12-31

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.

[Show all publications]

A Statistical Response-Time Analysis of Real-Time Embedded Systems (Dec 2012)
Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
33rd IEEE Real-Time Systems Symposium (RTSS12)

Pragmatic Approaches for Timing Analysis of Real-Time Embedded Systems (Jun 2012)
Yue Lu

An Evaluation Framework for Complex Industrial Real-Time Embedded Systems (Feb 2012)
Yue Lu, Thomas Nolte

RapidRT: A Tool For Statistical Response-Time Analysis of Complex Industrial Real-Time Embedded Systems (Nov 2011)
Yue Lu, Thomas Nolte, Liliana Cucu-Grosjean , Iain Bate
Real-Time SystemS @ Work, the Open Demo Session of Real-Time Techniques and Technologies of the 32nd IEEE Real-Time Systems Symposium (RTSS11)

A Trace-Based Statistical Worst-Case Execution Time Analysis of Component-Based Real-Time Embedded Systems (Sep 2011)
Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
16th IEEE International Conference on Emerging Technology and Factory Automation (ETFA11), Work-in-Progress (WiP) session

A New Way about using Statistical Analysis of Worst-Case Execution Times (Jul 2011)
Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean
23rd EUROMICRO Conference on Real-Time Systems (ECRTS11), Work-in-Progress (WiP) session

Christer Norström,

Email: christer.norstrom@sics.se
Room: U3-133
Phone: +46-21-101464