Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Göttingen
Cuvillier
2011
|
| Ausgabe: | 1. Aufl. |
| Schriftenreihe: | Audi-Dissertationsreihe
52 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | IX, 162 S. Ill., graph. Darst. |
| ISBN: | 9783869559667 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039875372 | ||
| 003 | DE-604 | ||
| 005 | 20120229 | ||
| 007 | t | ||
| 008 | 120208s2011 gw ad|| m||| 00||| eng d | ||
| 015 | |a 12,N03 |2 dnb | ||
| 016 | 7 | |a 101861060X |2 DE-101 | |
| 020 | |a 9783869559667 |c Kart. : EUR 27.85 (DE), EUR 28.70 (AT) |9 978-3-86955-966-7 | ||
| 035 | |a (OCoLC)1184485376 | ||
| 035 | |a (DE-599)DNB101861060X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-NI | ||
| 049 | |a DE-83 |a DE-29T |a DE-29 | ||
| 082 | 0 | |a 629.20284 |2 22/ger | |
| 084 | |a 620 |2 sdnb | ||
| 100 | 1 | |a Siegl, Sebastian |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen |c Sebastian Siegl |
| 250 | |a 1. Aufl. | ||
| 264 | 1 | |a Göttingen |b Cuvillier |c 2011 | |
| 300 | |a IX, 162 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Audi-Dissertationsreihe |v 52 | |
| 502 | |a Zugl.: Erlangen-Nürnberg, Univ., Diss., 2011 | ||
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kraftfahrzeugelektronik |0 (DE-588)4191569-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |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 Modellbasiertes Testen |0 (DE-588)7732025-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Kraftfahrzeugelektronik |0 (DE-588)4191569-0 |D s |
| 689 | 0 | 1 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 2 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 0 | 3 | |a Modellbasiertes Testen |0 (DE-588)7732025-6 |D s |
| 689 | 0 | 4 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | 5 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Audi-Dissertationsreihe |v 52 |w (DE-604)BV023211311 |9 52 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3955557&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=024734603&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024734603 | |
Datensatz im Suchindex
| _version_ | 1809403932828499968 |
|---|---|
| adam_text |
IMAGE 1
CONTENTS
1 I N T R O D U C T I O N 1
1.1 MOTIVATION 1
1.2 CHALLENGES TO THE AUTOMOTIVE DOMAIN 4
1.3 SCOPE OF THE THESIS 7
1.3.1 PROBLEM STATEMENT 7
1.3.2 CONTRIBUTION 8
1.3.3 OUTLINE 10
1.3.4 PUBLICATIONS 12
2 T E S T I N G O F E M B E D D E D S Y S T E M S 1 5
2.1 EMBEDDED SYSTEMS 15
2.2 SOFTWARE QUALITY 17
2.3 SOFTWARE TESTING 18
2.3.1 CONFIDENCE 21
2.3.2 TEST PHASES 23
2.4 MODEL BASED TESTING 25
2.4.1 BLACK BOX TESTING 27
2.4.2 WHITE BOX TESTING 28
2.5 RELATED WORK IN THE AUTOMOTIVE DOMAIN 31
2.5.1 CTM 31
2.5.2 T P T 33
2.5.3 CONFORMANCE AND IOCO 34
2.5.4 MARKOV CHAIN USAGE MODELS 36
3 T I M E U S A G E M O D E L 4 3
3.1 DEFINITION 45
3.2 MODELING ELEMENTS 47
3.3 TIMING DEPENDENCIES 48
HTTP://D-NB.INFO/101861060X
IMAGE 2
CONTENTS
3.4 ROLE IN DEVELOPMENT PROCESS OF SYSTEMS 52
3.4.1 SPECIFICATION 53
3.4.2 TESTING 55
4 R E Q U I R E M E N T S A N D S P E C I F I C A T I O N 5 7
4.1 REQUIREMENTS ANALYSIS 58
4.2 SPECIFICATION 62
4.3 ANALYSIS AND FORMALIZATION OF THE REQUIREMENTS SPECIFICATION . 65
4.3.1 CLASSIC METHOD: SEQUENCE BASED SPECIFICATION 65
4.3.2 BEHAVIORAL EQUIVALENCE ENUMERATION: BEE 69
5 T E S T M A N A G E M E N T I N D I C A T O R S 7 9
5.1 METRICS 79
5.2 CLASSIC MARKOV METRICS 81
5.2.1 TEST MANAGEMENT INDICATORS 82
5.2.2 DEPENDABILITY MEASURES 87
5.2.3 OTHER METRICS 89
5.3 TIME USAGE MODEL METRICS 91
5.3.1 SEMI-MARKOV PROCESS 91
5.3.2 MAPPING TO SEMI-MARKOV PROCESSES 92
5.3.3 NEW METRICS 93
6 S T R A T E G I E S FOR T E S T C A S E G E N E R A T I O N 9 9
6.1 ALGORITHMS FOR TIME USAGE MODELS 100
6.1.1 PROBABILISTIC ALGORITHMS 101
6.1.2 DETERMINISTIC ALGORITHMS 104
7 R E F E R E N C E M O D E L S 1 0 5
7.1 FUNDAMENTAL CONSIDERATIONS 106
7.1.1 EXECUTION OF REFERENCE MODELS DURING TEST EXECUTION . 108
7.1.2 EXECUTION OF REFERENCE MODELS DURING TEST CASE GENERATION 108
7.2 COMBINATION OF ASPECT MODELS WITH TUM 110
8 A P P L I C A T I O N 1 1 3
8.1 SYSTEM DESIGN AND SPECIFICATION 114
8.1.1 MODEL IN THE LOOP TESTING 114
8.1.2 ACTIVE SAFETY PRESENSE BASIC PROJECT 115
8.1.3 RESULTS 120
8.2 SYSTEM INTEGRATION AND VERIFICATION 120
8.2.1 EXTENDED AUTOMATION METHOD (EXAM) 121
8.2.2 HARDWARE IN THE LOOP TESTING 122
VIII
IMAGE 3
C O N T E N T S
8.2.3 DESIGN PATTERNS FOR TIME USAGE MODEL 124
8.2.4 ENERGY MANAGEMENT PROJECT 126
8.2.5 RESULTS 130
8.3 CONCLUSIONS 130
9 C O N C L U S I O N S 1 3 3
10 O U T L O O K 1 3 9
A A C R O N Y M S A N D A B B R E V I A T I O N S 1 4 3
L I S T O F F I G U R E S 1 4 5
L I S T O F T A B L E S 1 4 7
B I B L I O G R A P H Y 1 4 9
IX |
| any_adam_object | 1 |
| author | Siegl, Sebastian |
| author_facet | Siegl, Sebastian |
| author_role | aut |
| author_sort | Siegl, Sebastian |
| author_variant | s s ss |
| building | Verbundindex |
| bvnumber | BV039875372 |
| ctrlnum | (OCoLC)1184485376 (DE-599)DNB101861060X |
| dewey-full | 629.20284 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.20284 |
| dewey-search | 629.20284 |
| dewey-sort | 3629.20284 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Maschinenbau / Maschinenwesen Verkehr / Transport |
| edition | 1. Aufl. |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV039875372</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120229</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120208s2011 gw ad|| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N03</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">101861060X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783869559667</subfield><subfield code="c">Kart. : EUR 27.85 (DE), EUR 28.70 (AT)</subfield><subfield code="9">978-3-86955-966-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1184485376</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB101861060X</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-NI</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-29</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.20284</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">620</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Siegl, Sebastian</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen</subfield><subfield code="c">Sebastian Siegl</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Göttingen</subfield><subfield code="b">Cuvillier</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 162 S.</subfield><subfield code="b">Ill., graph. Darst.</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="1" ind2=" "><subfield code="a">Audi-Dissertationsreihe</subfield><subfield code="v">52</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Erlangen-Nürnberg, Univ., Diss., 2011</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kraftfahrzeugelektronik</subfield><subfield code="0">(DE-588)4191569-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</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">Modellbasiertes Testen</subfield><subfield code="0">(DE-588)7732025-6</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">Kraftfahrzeugelektronik</subfield><subfield code="0">(DE-588)4191569-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Modellbasiertes Testen</subfield><subfield code="0">(DE-588)7732025-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Audi-Dissertationsreihe</subfield><subfield code="v">52</subfield><subfield code="w">(DE-604)BV023211311</subfield><subfield code="9">52</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=3955557&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=024734603&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-024734603</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV039875372 |
| illustrated | Illustrated |
| indexdate | 2024-09-06T00:20:58Z |
| institution | BVB |
| isbn | 9783869559667 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024734603 |
| oclc_num | 1184485376 |
| open_access_boolean | |
| owner | DE-83 DE-29T DE-29 |
| owner_facet | DE-83 DE-29T DE-29 |
| physical | IX, 162 S. Ill., graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Cuvillier |
| record_format | marc |
| series | Audi-Dissertationsreihe |
| series2 | Audi-Dissertationsreihe |
| spelling | Siegl, Sebastian Verfasser aut Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen Sebastian Siegl 1. Aufl. Göttingen Cuvillier 2011 IX, 162 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Audi-Dissertationsreihe 52 Zugl.: Erlangen-Nürnberg, Univ., Diss., 2011 Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Kraftfahrzeugelektronik (DE-588)4191569-0 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Modellbasiertes Testen (DE-588)7732025-6 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Kraftfahrzeugelektronik (DE-588)4191569-0 s Eingebettetes System (DE-588)4396978-1 s Echtzeitsystem (DE-588)4131397-5 s Modellbasiertes Testen (DE-588)7732025-6 s Softwaretest (DE-588)4132652-0 s Zuverlässigkeit (DE-588)4059245-5 s DE-604 Audi-Dissertationsreihe 52 (DE-604)BV023211311 52 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3955557&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024734603&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Siegl, Sebastian Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen Audi-Dissertationsreihe Echtzeitsystem (DE-588)4131397-5 gnd Kraftfahrzeugelektronik (DE-588)4191569-0 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Softwaretest (DE-588)4132652-0 gnd Eingebettetes System (DE-588)4396978-1 gnd Modellbasiertes Testen (DE-588)7732025-6 gnd |
| subject_GND | (DE-588)4131397-5 (DE-588)4191569-0 (DE-588)4059245-5 (DE-588)4132652-0 (DE-588)4396978-1 (DE-588)7732025-6 (DE-588)4113937-9 |
| title | Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen |
| title_auth | Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen |
| title_exact_search | Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen |
| title_full | Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen Sebastian Siegl |
| title_fullStr | Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen Sebastian Siegl |
| title_full_unstemmed | Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen Sebastian Siegl |
| title_short | Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen |
| title_sort | spezifikation und verifikation von eingebetteten echtzeitsystemen in fahrzeugen |
| topic | Echtzeitsystem (DE-588)4131397-5 gnd Kraftfahrzeugelektronik (DE-588)4191569-0 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Softwaretest (DE-588)4132652-0 gnd Eingebettetes System (DE-588)4396978-1 gnd Modellbasiertes Testen (DE-588)7732025-6 gnd |
| topic_facet | Echtzeitsystem Kraftfahrzeugelektronik Zuverlässigkeit Softwaretest Eingebettetes System Modellbasiertes Testen Hochschulschrift |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3955557&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=024734603&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV023211311 |
| work_keys_str_mv | AT sieglsebastian spezifikationundverifikationvoneingebettetenechtzeitsystemeninfahrzeugen |