Transaction level modeling and high performance simulation of embedded systems:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Aachen
Shaker
2013
|
| Series: | Berichte aus der Informatik
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 153 S. graph. Darst. 21 cm, 230 g |
| ISBN: | 9783844022469 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041777485 | ||
| 003 | DE-604 | ||
| 005 | 20140507 | ||
| 007 | t | ||
| 008 | 140403s2013 gw d||| m||| 00||| eng d | ||
| 015 | |a 13,N38 |2 dnb | ||
| 015 | |a 14,A09 |2 dnb | ||
| 015 | |a 14,H03 |2 dnb | ||
| 016 | 7 | |a 1041688644 |2 DE-101 | |
| 020 | |a 9783844022469 |c kart. : EUR 48.80 (DE), EUR 48.80 (AT), sfr 61.00 (freier Pr.) |9 978-3-8440-2246-9 | ||
| 024 | 3 | |a 9783844022469 | |
| 035 | |a (OCoLC)865044635 | ||
| 035 | |a (DE-599)DNB1041688644 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-NW | ||
| 049 | |a DE-473 | ||
| 082 | 0 | |a 004.21 |2 22/ger | |
| 084 | |a ST 153 |0 (DE-625)143597: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Khaligh, Rauf Salimi |e Verfasser |0 (DE-588)1043836012 |4 aut | |
| 245 | 1 | 0 | |a Transaction level modeling and high performance simulation of embedded systems |c Rauf Salimi Khaligh |
| 264 | 1 | |a Aachen |b Shaker |c 2013 | |
| 300 | |a 153 S. |b graph. Darst. |c 21 cm, 230 g | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Berichte aus der Informatik | |
| 502 | |a Zugl.: Stuttgart, Univ., Diss., 2012 | ||
| 650 | 0 | 7 | |a Metamodell |0 (DE-588)4825945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computersimulation |0 (DE-588)4148259-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Transaktionsebenenmodellierung |0 (DE-588)1047571560 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a CASHE |0 (DE-588)4388634-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Benchmark |0 (DE-588)4144457-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 1 | |a CASHE |0 (DE-588)4388634-6 |D s |
| 689 | 0 | 2 | |a Metamodell |0 (DE-588)4825945-7 |D s |
| 689 | 0 | 3 | |a Transaktionsebenenmodellierung |0 (DE-588)1047571560 |D s |
| 689 | 0 | 4 | |a Computersimulation |0 (DE-588)4148259-1 |D s |
| 689 | 0 | 5 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |D s |
| 689 | 0 | 6 | |a Benchmark |0 (DE-588)4144457-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027223366&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027223366 | ||
Record in the Search Index
| _version_ | 1804152089439371264 |
|---|---|
| adam_text | CONTENTS
1 INTRODUCTION AND MOTIVATION 19
1.1 SUMMARY OF CONTRIBUTIONS 22
1.2 DISSERTATION OUTLINE 23
2 BACKGROUND AND RELATED WORK 25
2.1 SYSTEM LEVEL MODELING AND SIMULATION 25
2.2 TRANSACTION LEVEL MODELING AND SIMULATION 27
2.3 FORMAL MODELS AND TLM 29
2.4 FORMAL DESCRIPTION OF SIMULATION SEMANTICS 30
2.5 IMPROVING TLM SIMULATION PERFORMANCE 30
2.5.1 DYNAMIC ACCURACY 31
2.5.2 PARALLEL SIMULATION 32
3 A METAMODEL AND SEMANTICS FOR TRANSACTION LEVEL
MODELING 35
3.1 RATIONALE AND SCOPE 35
3.2 COMPONENTS AND MODELS 36
3.3 COMPUTATION AND COMMUNICATION 37
3.3.1 COMPUTATION 39
3.3.2 COMMUNICATION 40
3.3.3 TIMING ANNOTATION 41
3.4 SIMULATION SEMANTICS 43
3.5 SELECTED TLM MODELING STYLES 47
3.5.1 LOOSELY TIMED (LT) MODELS 48
3.5.2 APPROXIMATELY TIMED (AT) MODELS 52
3.5.3 ACCURACY ADAPTIVE (AA) MODELS 55
7
HTTP://D-NB.INFO/1041688644
8 CONTENTS
4 SIMULATION SCHEMES FOR TRANSACTION LEVEL MODELS ... 63
4.1 PRELIMINARIES 63
4.1.1 EVENTS AND CAUSALITY 63
4.1.2 PLATFORMS, KERNELS AND BEHAVIORS 68
4.2 SELECTED SIMULATION SCHEMES 70
4.2.1 SEQUENTIAL DISCRETE EVENT SIMULATION (SDES) .... 71
4.2.2 TEMPORALLY DECOUPLED SDES WITH A GLOBAL
QUANTUM (SDES-Q) 78
4.2.3 SYNCHRONOUS PARALLEL DISCRETE EVENT SIMULATION
(PDES-S) 81
4.3 IMPROVING PDES-S PERFORMANCE FOR NATSIM MODELS ... 85
4.3.1 EXPLOITING THE SEMANTICS OF TIMED STATEMENTS
TO IMPROVE PDES-S PERFORMANCE 86
4.3.2 IMPROVING PDES-S FOR LT MODELS 88
4.3.3 IMPROVING PDES-S SIMULATION FOR MODELS
WITHOUT TEMPORAL DECOUPLING (IPDES-S) 91
4.3.4 INTEGRATION OF LOAD BALANCING IN PDES-S 94
5 IMPLEMENTATION AND EVALUATION 99
5.1 A PROOF OF CONCEPT MODELING AND SIMULATION LIBRARY .... 99
5.2 SEQUENTIAL SIMULATION 104
5.2.1 SDES KERNEL PERFORMANCE 105
5.2.2 TEMPORAL DECOUPLING (SDES-Q) 106
5.2.3 DYNAMIC MODEL ACCURACY IN AA MODELS 107
5.3 PARALLEL SIMULATION (PDES-S) 112
5.4 BENCHMARK APPLICATIONS 119
5.4.1 ABSTRACT SOFTWARE MODELS 120
5.4.2 TRADE-OFF BETWEEN SIMULATION SPEED AND ACCURACY 121
5.4.3 HARDWARE ARCHITECTURE MODELING 130
6 CONCLUSION AND FUTURE WORK 137
REFERENCES 141
|
| any_adam_object | 1 |
| author | Khaligh, Rauf Salimi |
| author_GND | (DE-588)1043836012 |
| author_facet | Khaligh, Rauf Salimi |
| author_role | aut |
| author_sort | Khaligh, Rauf Salimi |
| author_variant | r s k rs rsk |
| building | Verbundindex |
| bvnumber | BV041777485 |
| classification_rvk | ST 153 |
| ctrlnum | (OCoLC)865044635 (DE-599)DNB1041688644 |
| dewey-full | 004.21 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.21 |
| dewey-search | 004.21 |
| dewey-sort | 14.21 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02430nam a2200589 c 4500</leader><controlfield tag="001">BV041777485</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140507 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">140403s2013 gw d||| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N38</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,A09</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,H03</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1041688644</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783844022469</subfield><subfield code="c">kart. : EUR 48.80 (DE), EUR 48.80 (AT), sfr 61.00 (freier Pr.)</subfield><subfield code="9">978-3-8440-2246-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783844022469</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)865044635</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1041688644</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-NW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.21</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 153</subfield><subfield code="0">(DE-625)143597:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Khaligh, Rauf Salimi</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1043836012</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Transaction level modeling and high performance simulation of embedded systems</subfield><subfield code="c">Rauf Salimi Khaligh</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Aachen</subfield><subfield code="b">Shaker</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">153 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">21 cm, 230 g</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Berichte aus der Informatik</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Stuttgart, Univ., Diss., 2012</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Metamodell</subfield><subfield code="0">(DE-588)4825945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Transaktionsebenenmodellierung</subfield><subfield code="0">(DE-588)1047571560</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CASHE</subfield><subfield code="0">(DE-588)4388634-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Benchmark</subfield><subfield code="0">(DE-588)4144457-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">CASHE</subfield><subfield code="0">(DE-588)4388634-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Metamodell</subfield><subfield code="0">(DE-588)4825945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Transaktionsebenenmodellierung</subfield><subfield code="0">(DE-588)1047571560</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Benchmark</subfield><subfield code="0">(DE-588)4144457-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027223366&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027223366</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV041777485 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T01:05:10Z |
| institution | BVB |
| isbn | 9783844022469 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027223366 |
| oclc_num | 865044635 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG |
| owner_facet | DE-473 DE-BY-UBG |
| physical | 153 S. graph. Darst. 21 cm, 230 g |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Shaker |
| record_format | marc |
| series2 | Berichte aus der Informatik |
| spelling | Khaligh, Rauf Salimi Verfasser (DE-588)1043836012 aut Transaction level modeling and high performance simulation of embedded systems Rauf Salimi Khaligh Aachen Shaker 2013 153 S. graph. Darst. 21 cm, 230 g txt rdacontent n rdamedia nc rdacarrier Berichte aus der Informatik Zugl.: Stuttgart, Univ., Diss., 2012 Metamodell (DE-588)4825945-7 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Computersimulation (DE-588)4148259-1 gnd rswk-swf Transaktionsebenenmodellierung (DE-588)1047571560 gnd rswk-swf Implementierung Informatik (DE-588)4026663-1 gnd rswk-swf CASHE (DE-588)4388634-6 gnd rswk-swf Benchmark (DE-588)4144457-7 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Eingebettetes System (DE-588)4396978-1 s CASHE (DE-588)4388634-6 s Metamodell (DE-588)4825945-7 s Transaktionsebenenmodellierung (DE-588)1047571560 s Computersimulation (DE-588)4148259-1 s Implementierung Informatik (DE-588)4026663-1 s Benchmark (DE-588)4144457-7 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027223366&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Khaligh, Rauf Salimi Transaction level modeling and high performance simulation of embedded systems Metamodell (DE-588)4825945-7 gnd Eingebettetes System (DE-588)4396978-1 gnd Computersimulation (DE-588)4148259-1 gnd Transaktionsebenenmodellierung (DE-588)1047571560 gnd Implementierung Informatik (DE-588)4026663-1 gnd CASHE (DE-588)4388634-6 gnd Benchmark (DE-588)4144457-7 gnd |
| subject_GND | (DE-588)4825945-7 (DE-588)4396978-1 (DE-588)4148259-1 (DE-588)1047571560 (DE-588)4026663-1 (DE-588)4388634-6 (DE-588)4144457-7 (DE-588)4113937-9 |
| title | Transaction level modeling and high performance simulation of embedded systems |
| title_auth | Transaction level modeling and high performance simulation of embedded systems |
| title_exact_search | Transaction level modeling and high performance simulation of embedded systems |
| title_full | Transaction level modeling and high performance simulation of embedded systems Rauf Salimi Khaligh |
| title_fullStr | Transaction level modeling and high performance simulation of embedded systems Rauf Salimi Khaligh |
| title_full_unstemmed | Transaction level modeling and high performance simulation of embedded systems Rauf Salimi Khaligh |
| title_short | Transaction level modeling and high performance simulation of embedded systems |
| title_sort | transaction level modeling and high performance simulation of embedded systems |
| topic | Metamodell (DE-588)4825945-7 gnd Eingebettetes System (DE-588)4396978-1 gnd Computersimulation (DE-588)4148259-1 gnd Transaktionsebenenmodellierung (DE-588)1047571560 gnd Implementierung Informatik (DE-588)4026663-1 gnd CASHE (DE-588)4388634-6 gnd Benchmark (DE-588)4144457-7 gnd |
| topic_facet | Metamodell Eingebettetes System Computersimulation Transaktionsebenenmodellierung Implementierung Informatik CASHE Benchmark Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027223366&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT khalighraufsalimi transactionlevelmodelingandhighperformancesimulationofembeddedsystems |