Logotype Mälardalenn University

MRTC publications



A Metaheuristic Approach for Best Effort Timing Analysis targeting Complex Legacy Real-Time Systems

Full text:  
Authors: Johan Kraft (former), Yue Lu, Christer Norström, Anders Wall (former)
Source: The 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'08), p 258--269, IEEE, St. Louis, MO, USA
 

Abstract

Many companies developing real-time systems today have today no means for response time analysis, as their systems violate the assumptions of traditional analytical methods for response-time analysis and are too complex for exhaustive analysis using model checking. This paper presents a novel approach for best effort response time analysis targeting such systems, where probabilistic simulation is guided by a search algorithm of metaheuristic type, similar to genetic algorithms. The best effort approach means that the result is not guaranteed to be the worst-case response time, but also that the method scales to large industrial systems. The proposed method should be regarded as a form of testing, focusing on timing properties. An evaluation is presented which indicates that the proposed approach is significantly more efficient than traditional probabilistic simulation in finding extreme task response times. The paper also presents a method for finding good parameters for the search algorithm, in order to improve its efficiency.
 

BibTeX entry

@inproceedings{Kraft_1394:2008,
   author = {Johan Kraft and Yue Lu and Christer Norstr{\"o}m and Anders Wall},
   title = {A Metaheuristic Approach for Best Effort Timing Analysis targeting Complex Legacy Real-Time Systems},
   booktitle = {The 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'08)},
   month = {April},
   year = {2008},
   pages = {258--269},
   publisher = {IEEE},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1394},
}

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