Search: id:"swepub:oai:DiVA.org:mdh-1544" >
Measurement and Sim...
Measurement and Simulation Based Techniques for Real-Time Systems Analysis
-
- Lindgren, Markus, 1975- (author)
- Uppsala University
-
- Hansson, Hans, Professor (thesis advisor)
- Mälardalens högskola, Institutionen för datavetenskap och elektronik
-
- Hansson, Jörgen, Doktor (opponent)
- Linköping University
-
(creator_code:org_t)
- Uppsala : University Printers, 2000
- English 83 s.
-
Series: Licentiate theses from the Department of Information Technology, 1404-5117 ; 2000-010
- Related links:
-
https://urn.kb.se/re...
Abstract
Subject headings
Close
- Rigorous methods for design and implementation of safety critical real-time systems are vital to avoid loss of human lives and/or severe economic losses. Unfortunately, many of these systems are designed and evaluated using ad-hoc techniques. There are, on the other hand, relatively well developed theories for modeling and analysis of timing and reliability. These theories are, however, seldom applied in industry for system development, mainly because of the simplifying model assumptions and lack of appropriate tool support.This thesis presents two new methods aimed to narrow the gap between research results and industrial practice in evaluation and design of real-time systems.The first contribution is a technique that can be used to derive worst-case execution time estimates for real-time software by measurments on the target system. Such estimates are essential when verifying if a system fulfills its timing requirements. The second contribution is a simulation based technique that can be used to evaluate timing aspects of distributed real-time systems, as well as calculating reliability estimates of these systems. Such estimates are essential in determining if a system meets its requirements sufficiently well. Compared to existing analytical methods for execution time analysis and schedulability analysis, which analyze models of the hardware, the starting point for both these methods are real target systems, rather than an abstract model with limited correspondance to reality.The presented initial case-studies give clear evidence that the proposed methods have potential of being both applicable and useful.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Computer science
- Datavetenskap
- Datavetenskap
Publication and Content Type
- vet (subject category)
- lic (subject category)
Find in a library
To the university's database