SwePub
Sök i LIBRIS databas

  Utökad sökning

id:"swepub:oai:DiVA.org:mdh-1544"
 

Sökning: id:"swepub:oai:DiVA.org:mdh-1544" > Measurement and Sim...

LIBRIS Formathandbok  (Information om MARC21)
FältnamnIndikatorerMetadata
00003095nam a2200325 4500
001oai:DiVA.org:mdh-1544
003SwePub
008081031s2000 | |||||||||||000 ||eng|
024a https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-15442 URI
040 a (SwePub)mdh
041 a engb eng
042 9 SwePub
072 7a vet2 swepub-contenttype
072 7a lic2 swepub-publicationtype
100a Lindgren, Markus,d 1975-u Uppsala University4 aut0 (Swepub:mdh)mln03
2451 0a Measurement and Simulation Based Techniques for Real-Time Systems Analysis
264 1a Uppsala :b University Printers,c 2000
300 a 83 s.
338 a print2 rdacarrier
490a Licentiate theses from the Department of Information Technology,x 1404-5117 ;v 2000-010
520 a 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.
650 7a NATURVETENSKAPx Data- och informationsvetenskapx Datavetenskap0 (SwePub)102012 hsv//swe
650 7a NATURAL SCIENCESx Computer and Information Sciencesx Computer Sciences0 (SwePub)102012 hsv//eng
653 a Computer science
653 a Datavetenskap
653 a Datavetenskap
700a Hansson, Hans,c Professoru Mälardalens högskola, Institutionen för datavetenskap och elektronik4 ths
700a Hansson, Jörgen,c Doktoru Linköping University4 opn
710a Uppsala Universityb Mälardalens högskola, Institutionen för datavetenskap och elektronik4 org
8564 8u https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-1544

Hitta via bibliotek

Till lärosätets databas

Sök utanför SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy