Static analysis of embedded software with priority scheduling and interrupts
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
München
Verl. Dr. Hut
2015
|
| Ausgabe: | 1. Aufl. |
| Schriftenreihe: | Informatik
|
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV042417934 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 150317s2015 gw ad|| m||| 00||| eng d | ||
| 015 | |a 15,N07 |2 dnb | ||
| 016 | 7 | |a 1066388385 |2 DE-101 | |
| 020 | |a 9783843919562 |c Gb. : EUR 60.00 (DE), EUR 61.70 (AT), sfr 79.00 (freier Pr.) |9 978-3-8439-1956-2 | ||
| 020 | |a 3843919569 |9 3-8439-1956-9 | ||
| 024 | 3 | |a 9783843919562 | |
| 035 | |a (OCoLC)905349646 | ||
| 035 | |a (DE-599)DNB1066388385 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BY | ||
| 049 | |a DE-91 |a DE-12 |a DE-91G | ||
| 082 | 0 | |a 005.434 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 500d |2 stub | ||
| 100 | 1 | |a Schwarz, Martin D. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Static analysis of embedded software with priority scheduling and interrupts |c Martin D. Schwarz |
| 250 | |a 1. Aufl. | ||
| 263 | |a 201502 | ||
| 264 | 1 | |a München |b Verl. Dr. Hut |c 2015 | |
| 300 | |a VII, 120 S. |b Ill., graph. Darst. |c 210 mm x 148 mm, 301 g | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Informatik | |
| 502 | |a Zugl.: München, Technische Universität, Diss., 2014 | ||
| 650 | 0 | 7 | |a Prioritätsregel |0 (DE-588)4330562-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Interrupt |g Informatik |0 (DE-588)4625501-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Synchronisierung |0 (DE-588)4130847-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Scheduling |0 (DE-588)4179449-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Statische Analyse |0 (DE-588)4325372-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a OSEK |g Programm |0 (DE-588)4791512-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a OSEK |g Programm |0 (DE-588)4791512-2 |D s |
| 689 | 0 | 1 | |a Statische Analyse |0 (DE-588)4325372-6 |D s |
| 689 | 0 | 2 | |a Scheduling |0 (DE-588)4179449-7 |D s |
| 689 | 0 | 3 | |a Prioritätsregel |0 (DE-588)4330562-3 |D s |
| 689 | 0 | 4 | |a Interrupt |g Informatik |0 (DE-588)4625501-1 |D s |
| 689 | 0 | 5 | |a Synchronisierung |0 (DE-588)4130847-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=5146253&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=027853378&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027853378 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0001 DM 32912 0109 DM 32912 |
|---|---|
| DE-BY-TUM_katkey | 2060006 |
| DE-BY-TUM_location | Mag 01 |
| DE-BY-TUM_media_number | TEMP3241299 040071482861 |
| _version_ | 1820809095258570752 |
| adam_text | TABLE OF CONTENTS
1 INTRODUCTION 1
2 THE OSEK OPERATING SYSTEM 5
2.1 COMPONENTS OF OSEK SYSTEMS 5
2.2 SCHEDULING IN OSEK PROGRAMS 9
2.3 CONFORMANCE CLASSES 12
2.4 OSEK API J, 12
3 A STACK-BASED OSEK MODEL 15
3.1 SEMANTICS OF OSEK PROGRAMS 17
3.2 STACK-BASED SEMANTICS OF OSEK 22
3.3 CONSTRAINT SYSTEM FOR THE STACK-BASED SEMANTICS 26
3.4 RACE DETECTION IN THE OSEK MODEL 29
3.5 RELATED WORK 32
3.6 CONCLUSIONS 34
4 RESOURCE AND PRIORITY ANALYSIS OF OSEK PROGRAMS 35
4.1 THE CORE PRIORITY CEILING MODEL AND ITS SEMANTICS 37
4.2 DATA RACES AND NONTRANSACTIONAL BEHAVIOR 42
4.3 ANALYZING RESOURCES 43
4.4 ANALYZING DATA RACES 47
4.5 ANALYZING TRANSACTIONALITY 48
4.5.1 TASKS WITHOUT PROCEDURES 49
4.5.2 TASKS WITH PROCEDURES 50
4.6 LINEAR EQUALITIES FOR PRIORITY CEILING PROGRAMS 55
4.7 IMPLEMENTATION 60
4.8 RELATED WORK 62
4.9 CONCLUSIONS 64
5 VALUE-DEPENDENT SYNCHRONIZATION 65
5.1 OSEK MODEL 67
5.2 INTER-PROCEDURAL ANALYSIS OF FLAGS 69
5.3 INTRA-INTERRUPT FLAG ANALYSIS 70
5.4 SIMPLE ANALYSIS OF FLAGS 73
5.5 PRECISE ANALYSIS OF FLAGS 74
HTTP://D-NB.INFO/1066388385
5.6 DATA RACE ANALYSIS 79
5.7 EXPERIMENTS! RESULTS 81
5.8 RELATED WORK 83
5.9 CONCLUSIONS 84
6 INVARIANTS AND PRIVATIZATION 85
6.1 CALL STRING ANALYSIS OF OSEK PROGRAMS 86
6.2 GLOBAL INVARIANTS WITH PRIVATIZATION 90
6.2.1 PRIVATIZATION WITH FLAGS 93
6.2.2 GENERAL PRIVATIZATION 94
6.3 LAYERED INVARIANTS 95
6.4 CONCLUSIONS 99
7 BENCHMARK GENERATION 101
7.1 ROBOTIC ARM 101
7.2 LINE FOLLOWING CAR 103
7.3 OBSTACLE AVOIDING CAR 104
7.4 CONCLUSION 105
8 PRACTICAL IMPLEMENTATION 107
8.1 OIL-FILE PARSING 107
8.2 GROUPING OF WARNINGS 108
8.3 FLAG DISCOVERY 108
8.4 CONVENTION CHECKING 108
8.5 VARIANT CODE ISSUES 109
9 FUETURE PROSPECTS 111
9.1 EXTENDED CONFORMANCE CLASSES 111
9.2 HOOK ROUTINES 112
9.3 PRECISE TASK ACTIVATION 112
9.4 MULTI-CORE ARCHITECTURES 113
10 CONCLUSIONS 115
REFERENCES 117
|
| any_adam_object | 1 |
| author | Schwarz, Martin D. |
| author_facet | Schwarz, Martin D. |
| author_role | aut |
| author_sort | Schwarz, Martin D. |
| author_variant | m d s md mds |
| building | Verbundindex |
| bvnumber | BV042417934 |
| classification_tum | DAT 500d |
| ctrlnum | (OCoLC)905349646 (DE-599)DNB1066388385 |
| dewey-full | 005.434 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.434 |
| dewey-search | 005.434 |
| dewey-sort | 15.434 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. Aufl. |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02451nam a22005898c 4500</leader><controlfield tag="001">BV042417934</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">150317s2015 gw ad|| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">15,N07</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1066388385</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783843919562</subfield><subfield code="c">Gb. : EUR 60.00 (DE), EUR 61.70 (AT), sfr 79.00 (freier Pr.)</subfield><subfield code="9">978-3-8439-1956-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3843919569</subfield><subfield code="9">3-8439-1956-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783843919562</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)905349646</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1066388385</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-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.434</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schwarz, Martin D.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Static analysis of embedded software with priority scheduling and interrupts</subfield><subfield code="c">Martin D. Schwarz</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="263" ind1=" " ind2=" "><subfield code="a">201502</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Verl. Dr. Hut</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 120 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">210 mm x 148 mm, 301 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">Informatik</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: München, Technische Universität, Diss., 2014</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prioritätsregel</subfield><subfield code="0">(DE-588)4330562-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Interrupt</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4625501-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Synchronisierung</subfield><subfield code="0">(DE-588)4130847-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Scheduling</subfield><subfield code="0">(DE-588)4179449-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">OSEK</subfield><subfield code="g">Programm</subfield><subfield code="0">(DE-588)4791512-2</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">OSEK</subfield><subfield code="g">Programm</subfield><subfield code="0">(DE-588)4791512-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Statische Analyse</subfield><subfield code="0">(DE-588)4325372-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Scheduling</subfield><subfield code="0">(DE-588)4179449-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Prioritätsregel</subfield><subfield code="0">(DE-588)4330562-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Interrupt</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4625501-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Synchronisierung</subfield><subfield code="0">(DE-588)4130847-5</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">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=5146253&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=027853378&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027853378</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042417934 |
| illustrated | Illustrated |
| indexdate | 2024-12-24T04:23:16Z |
| institution | BVB |
| isbn | 9783843919562 3843919569 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027853378 |
| oclc_num | 905349646 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-12 DE-91G DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM DE-12 DE-91G DE-BY-TUM |
| physical | VII, 120 S. Ill., graph. Darst. 210 mm x 148 mm, 301 g |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Verl. Dr. Hut |
| record_format | marc |
| series2 | Informatik |
| spellingShingle | Schwarz, Martin D. Static analysis of embedded software with priority scheduling and interrupts Prioritätsregel (DE-588)4330562-3 gnd Interrupt Informatik (DE-588)4625501-1 gnd Synchronisierung (DE-588)4130847-5 gnd Scheduling (DE-588)4179449-7 gnd Statische Analyse (DE-588)4325372-6 gnd OSEK Programm (DE-588)4791512-2 gnd |
| subject_GND | (DE-588)4330562-3 (DE-588)4625501-1 (DE-588)4130847-5 (DE-588)4179449-7 (DE-588)4325372-6 (DE-588)4791512-2 (DE-588)4113937-9 |
| title | Static analysis of embedded software with priority scheduling and interrupts |
| title_auth | Static analysis of embedded software with priority scheduling and interrupts |
| title_exact_search | Static analysis of embedded software with priority scheduling and interrupts |
| title_full | Static analysis of embedded software with priority scheduling and interrupts Martin D. Schwarz |
| title_fullStr | Static analysis of embedded software with priority scheduling and interrupts Martin D. Schwarz |
| title_full_unstemmed | Static analysis of embedded software with priority scheduling and interrupts Martin D. Schwarz |
| title_short | Static analysis of embedded software with priority scheduling and interrupts |
| title_sort | static analysis of embedded software with priority scheduling and interrupts |
| topic | Prioritätsregel (DE-588)4330562-3 gnd Interrupt Informatik (DE-588)4625501-1 gnd Synchronisierung (DE-588)4130847-5 gnd Scheduling (DE-588)4179449-7 gnd Statische Analyse (DE-588)4325372-6 gnd OSEK Programm (DE-588)4791512-2 gnd |
| topic_facet | Prioritätsregel Interrupt Informatik Synchronisierung Scheduling Statische Analyse OSEK Programm Hochschulschrift |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=5146253&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027853378&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT schwarzmartind staticanalysisofembeddedsoftwarewithpriorityschedulingandinterrupts |