Sökning: id:"swepub:oai:DiVA.org:mdh-1544" > Measurement and Sim...
Fältnamn | Indikatorer | Metadata |
---|---|---|
000 | 03095nam a2200325 4500 | |
001 | oai:DiVA.org:mdh-1544 | |
003 | SwePub | |
008 | 081031s2000 | |||||||||||000 ||eng| | |
024 | 7 | a 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 | 7 | a vet2 swepub-contenttype |
072 | 7 | a lic2 swepub-publicationtype |
100 | 1 | a Lindgren, Markus,d 1975-u Uppsala University4 aut0 (Swepub:mdh)mln03 |
245 | 1 0 | a Measurement and Simulation Based Techniques for Real-Time Systems Analysis |
264 | 1 | a Uppsala :b University Printers,c 2000 |
300 | a 83 s. | |
338 | a print2 rdacarrier | |
490 | 0 | a 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 | 7 | a NATURVETENSKAPx Data- och informationsvetenskapx Datavetenskap0 (SwePub)102012 hsv//swe |
650 | 7 | a NATURAL SCIENCESx Computer and Information Sciencesx Computer Sciences0 (SwePub)102012 hsv//eng |
653 | a Computer science | |
653 | a Datavetenskap | |
653 | a Datavetenskap | |
700 | 1 | a Hansson, Hans,c Professoru Mälardalens högskola, Institutionen för datavetenskap och elektronik4 ths |
700 | 1 | a Hansson, Jörgen,c Doktoru Linköping University4 opn |
710 | 2 | a Uppsala Universityb Mälardalens högskola, Institutionen för datavetenskap och elektronik4 org |
856 | 4 8 | u https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-1544 |
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.