mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Measurement and Simulation Based Techniques for Real-Time Systems Analysis
Uppsala University.
2000 (English)Licentiate thesis, comprehensive summary (Other scientific)
Abstract [en]

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.

Place, publisher, year, edition, pages
Uppsala: University Printers , 2000. , p. 83
Series
Licentiate theses from the Department of Information Technology, ISSN 1404-5117 ; 2000-010
National Category
Computer Sciences
Research subject
Datavetenskap
Identifiers
URN: urn:nbn:se:mdh:diva-1544OAI: oai:DiVA.org:mdh-1544DiVA, id: diva2:113910
Presentation
, Västerås (English)
Opponent
Supervisors
Available from: 2008-11-06 Created: 2008-10-31 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Search in DiVA

By author/editor
Lindgren, Markus
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 43 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf