Change search
ReferencesLink to record
Permanent link

Direct link
Pragmatic Approaches for Timing Analysis of Real-Time Embedded Systems
Mälardalen University, School of Innovation, Design and Engineering. (Complex Real-Time Embedded Systems)ORCID iD: 0000-0002-7366-7186
2012 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

Many industrial real-time embedded systems are very large, flexible and highly configurable software systems. Such systems are becoming ever more complex, and we are reaching the stage in which even if existing timing analysis was feasible from a cost and technical perspective, the analysis results are overly pessimistic, making them less useful to practitioners. When combined with the fact that most existing real-time embedded systems tend to be probabilistic in nature due to high complexity featured by advanced hardware and more flexible and/or adaptive software applications, this advocates moving toward pragmatic timing analysis, which is not specifically limited by constrains related to intricate task execution and temporal dependencies in systems. In this thesis, we address this challenge, and we present two pragmatic timing analysis techniques for real-time embedded systems.

The first contribution is a simulation-based analysis using two simple yet novel search algorithms of meta-heuristic type, i.e., a form of genetic algorithms and hill-climbing with random restarts, yielding substantially better results, comparing traditional Monte Carlo simulation-based analysis methods.

As the second contribution, we discuss one major issue when using simulation-based methods for timing analysis of real-time embedded systems, i.e., model validity, which determines whether a simulation model is an accurate representation of the target system at the certain level of satisfaction, from a task response time and execution time perspective.

The third contribution is a statistical timing analysis, which, unlike the traditional timing analysis, does not require worst-case execution times of tasks as inputs, and computes a probabilistic task worst-case response time estimate pertaining to a configurable task reliability requirement.

In addition, a number of tools have been implemented and used for the evaluation of our research results. Our evaluations, using different simulation models depicting fictive but representative industrial control applications, have shown a clear indication that our new timing analysis techniques have the potential to be both applicable and useful in practice, as well as being complementary to software testing focusing on timing properties of real-time embedded systems that are used in various domains of industrial automation, aerospace and defense, automotive telematics, etc.

Place, publisher, year, edition, pages
Västerås: Mälardalen University , 2012.
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 128
National Category
Computer Science
Research subject
Computer Science
URN: urn:nbn:se:mdh:diva-14628ISBN: 978-91-7485-074-1OAI: diva2:527448
Public defence
2012-06-18, Kappa, Mälardalens högskola, Västerås, 13:15 (English)
Swedish Research Council
Available from: 2012-05-21 Created: 2012-05-21 Last updated: 2014-11-30Bibliographically approved

Open Access in DiVA

fulltext(1710 kB)1138 downloads
File information
File name FULLTEXT01.pdfFile size 1710 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Lu, Yue
By organisation
School of Innovation, Design and Engineering
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 1138 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 2321 hits
ReferencesLink to record
Permanent link

Direct link