Model-based development of software-intensive automotive systems:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
2012
|
| Schlagworte: | |
| Online-Zugang: | Volltext https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20121119-1110104-1-8 Inhaltsverzeichnis |
| Beschreibung: | XI, 240 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV040893887 | ||
| 003 | DE-604 | ||
| 005 | 20130508 | ||
| 007 | t | ||
| 008 | 130318s2012 d||| m||| 00||| eng d | ||
| 035 | |a (OCoLC)835593665 | ||
| 035 | |a (DE-599)BVBBV040893887 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-473 |a DE-703 |a DE-1051 |a DE-824 |a DE-29 |a DE-12 |a DE-91 |a DE-19 |a DE-1049 |a DE-92 |a DE-739 |a DE-898 |a DE-355 |a DE-706 |a DE-20 |a DE-1102 |a DE-91G | ||
| 084 | |a VER 085d |2 stub | ||
| 084 | |a DAT 310d |2 stub | ||
| 100 | 1 | |a Kugele, Stefan |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Model-based development of software-intensive automotive systems |c Stefan M. Kugele |
| 264 | 1 | |c 2012 | |
| 300 | |a XI, 240 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a München, Techn. Univ., Diss., 2012 | ||
| 650 | 0 | 7 | |a Kraftfahrzeugelektronik |0 (DE-588)4191569-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |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 Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o urn:nbn:de:bvb:91-diss-20121119-1110104-1-8 |
| 856 | 4 | 1 | |u http://mediatum.ub.tum.de/node?id=1110104 |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | |u https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20121119-1110104-1-8 |x Resolving-System | |
| 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=025873480&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025873480 | ||
Datensatz im Suchindex
| _version_ | 1804150177443872768 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
1. INTRODUCTION 1
1.1. INITIAL SITUATION . 1
1.2. APPROACH 5
1.3. CONTRIBUTIONS OF THIS THESIS 6
1.4. OUTLINE OF THIS THESIS 9
2. BACKGROUND 13
2.1. EMBEDDED SYSTEMS: AN OVERVIEW 13
2.2. HISTORICAL REVIEW 17
2.2.1. CLASSICAL MECHANICAL ENGINEERING 17
2.2.2. FROM REVOLUTION TO DISENCHANTMENT OF SOFTWARE 18 2.3. AUTOMOTIVE
INDUSTRY CHARACTERISTICS 23
2.3.1. AUTOMOTIVE INDUSTRY 24
2.3.2. AUTOMOTIVE DOMAINS 28
2.4. CURRENT AND FUTURE CHALLENGES 33
2.4.1. HETEROGENEITY 33
2.4.2. CLASH OF CULTURES 35
2.4.3. CONTROL THE COMPLEXITY 36
2.4.4. MOVE FROM E / E COMPONENT-DRIVEN DEVELOPMENT TOWARDS FUNCTION-
AND MODE-DRIVEN DEVELOPMENT 38
3. SEAMLESS MODEL-DRIVEN AUTOMOTIVE SYSTEM DEVELOPMENT 41 3.1.
INTRODUCTION 42
3.2. SEPARATION OF CONCERNS THROUGH ABSTRACTION AND MODULARISATION . 42
3.3. THEORETIC FOUNDATION: A FERTILE SOIL FOR FORMAL METHODS 46 3.4.
FROM ISOLATED TOOLS TO AN INTEGRATED AUTHORING ENVIRONMENT . . . 48
3.4.1. DAILY PRACTICE 48
X I
HTTP://D-NB.INFO/1035213818
IMAGE 2
3.4.2. SOLUTION 51
3.5. SUMMARY 53
4. THE COLA AUTOMOTIVE APPROACH 55
4.1. INTRODUCTION 55
4.2. ARCHITECTURAL LEVELS 56
4.2.1. FEATURE ARCHITECTURE 56
4.2.2. LOGICAL ARCHITECTURE 60
4.2.3. TECHNICAL ARCHITECTURE 61
4.2.4. SUMMARY 65
4.3. COLA-THE COMPONENT LANGUAGE 66
4.3.1. BASIC CONCEPTS 67
4.3.2. OPERATING MODES 71
4.3.3. SYNTAX AND SEMANTICS OF COLA 74
4.3.4. EXAMPLES FROM CONTROL THEORY 75
4.4. DEPLOYMENT PROCESS 77
4.5. RELATED WORK 80
4.5.1. MODELLING ALONG DIFFERENT LEVELS OF ABSTRACTION 80 4.5.2.
BEHAVIOURAL MODELLING 82
5. MODEL ANALYSIS 85
5.1. INTRODUCTION 85
5.2. REQUIREMENTS ANALYSIS 86
5.2.1. INTRODUCTION 87
5.2.2. REALISATION 89
5.2.3. DISCUSSION 91
5.3. DETERMINISTIC MODELS 92
5.3.1. INTRODUCTION 92
5.3.2. PROBLEM 93
5.3.3. REALISATION 97
5.4. COLA MODEL ANALYSIS VIA A TRANSLATION TO COLOURED PETRI NETS . .
101 5.4.1. INTRODUCTION TO COLOURED PETRI NETS 101
5.4.2. TRANSLATION SCHEMA 104
5.4.3. TRANSLATION ALGORITHM I L L
5.4.4. EXAMPLE I L L
5.4.5. RELATED WORK 114
5.4.6. SUMMARY 115
IMAGE 3
6. GENERATION OF REQUIREMENTS SPECIFICATION DOCUMENTS 119
6.1. INTRODUCTION 120
6.2. DOCUMENT STRUCTURE 121
6.2.1. DIFFERENTIATION BETWEEN CUSTOMER- AND SYSTEM REQUIREMENTSL22
6.2.2. STRUCTURING 123
6.3. REALISATION 126
6.4. SEMANTICALLY TANGIBLE REQUIREMENTS DOCUMENTS 129
6.5. INTEGRATION INTO THE CONTEXT OF IEEE STD 830-1998 131
6.6. SUMMARY 132
7. DEPLOYMENT 135
7.1. INTRODUCTION 135
7.2. ALLOCATION 139
7.2.1. NOTATION 139
7.2.2. CONSTRAINTS 141
7.2.3. REALISATION 146
7.3. SCHEDULING 147
7.3.1. TERMINOLOGY 147
7.3.2. A TAXONOMY OF REAL-TIME SCHEDULING ALGORITHMS 148 7.3.3.
DEPENDENCY ANALYSIS 150
7.3.4. CONSTRAINT SYSTEM 160
7.3.5. REALISATION 163
7.3.6. COMPLEXITY ANALYSIS 166
7.4. FAULT TOLERANCE 169
7.4.1. FAULT HYPOTHESIS 170
7.4.2. ADAPTIONS 172
7.5. RELATED WORK 174
7.6. SUMMARY 179
8. CASE STUDIES 181
8.1. ADAPTIVE CRUISE CONTROL 182
8.1.1. FUNCTIONAL DESCRIPTION 183
8.1.2. HARDWARE TOPOLOGY AND EXECUTION PLATFORM 184
8.1.3. SUMMARY 185
8.2. AUTONOMOUS PARKING SYSTEM 185
8.2.1. FUNCTIONAL DESCRIPTION 187
8.2.2. HARDWARE TOPOLOGY 188
8.2.3. EXECUTION PLATFORM 190
IMAGE 4
8.2.4. SUMMARY 191
8.3. COMFORT HATCHBACK OPENER 191
8.3.1. FUNCTIONAL DESCRIPTION 192
8.3.2. REQUIREMENTS SPECIFICATION DOCUMENTS 194
8.3.3. CHAIN OF EFFECTS 194
8.3.4. SUMMARY 195
8.4. SUMMARY 195
9. SUMMARY AND OUTLOOK 197
9.1. SUMMARY 197
9.2. OUTLOOK 199
BIBLIOGRAPHY 203
LIST OF FIGURES 225
LIST OF ALGORITHMS 227
LIST OF TABLES 229
GLOSSARY 231
A. PID CONTROLLER 237
A.L. COLA MODEL 237
A.2. SIMULATION WITH DIFFERENT PARAMETER SETS 237
|
| any_adam_object | 1 |
| author | Kugele, Stefan |
| author_facet | Kugele, Stefan |
| author_role | aut |
| author_sort | Kugele, Stefan |
| author_variant | s k sk |
| building | Verbundindex |
| bvnumber | BV040893887 |
| classification_tum | VER 085d DAT 310d |
| collection | ebook |
| ctrlnum | (OCoLC)835593665 (DE-599)BVBBV040893887 |
| discipline | Informatik Verkehrstechnik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01840nam a2200409 c 4500</leader><controlfield tag="001">BV040893887</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130508 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130318s2012 d||| m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)835593665</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040893887</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">VER 085d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kugele, Stefan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model-based development of software-intensive automotive systems</subfield><subfield code="c">Stefan M. Kugele</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 240 S.</subfield><subfield code="b">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="502" ind1=" " ind2=" "><subfield code="a">München, Techn. Univ., Diss., 2012</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">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-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">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">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">urn:nbn:de:bvb:91-diss-20121119-1110104-1-8</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">http://mediatum.ub.tum.de/node?id=1110104</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20121119-1110104-1-8</subfield><subfield code="x">Resolving-System</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=025873480&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025873480</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV040893887 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:34:47Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025873480 |
| oclc_num | 835593665 |
| open_access_boolean | 1 |
| owner | DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-91G DE-BY-TUM |
| owner_facet | DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-91G DE-BY-TUM |
| physical | XI, 240 S. graph. Darst. |
| psigel | ebook |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| record_format | marc |
| spelling | Kugele, Stefan Verfasser aut Model-based development of software-intensive automotive systems Stefan M. Kugele 2012 XI, 240 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier München, Techn. Univ., Diss., 2012 Kraftfahrzeugelektronik (DE-588)4191569-0 gnd rswk-swf Modellgetriebene Entwicklung (DE-588)4832365-2 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Kraftfahrzeugelektronik (DE-588)4191569-0 s Modellgetriebene Entwicklung (DE-588)4832365-2 s DE-604 Erscheint auch als Online-Ausgabe urn:nbn:de:bvb:91-diss-20121119-1110104-1-8 http://mediatum.ub.tum.de/node?id=1110104 Verlag kostenfrei Volltext https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20121119-1110104-1-8 Resolving-System DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025873480&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kugele, Stefan Model-based development of software-intensive automotive systems Kraftfahrzeugelektronik (DE-588)4191569-0 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| subject_GND | (DE-588)4191569-0 (DE-588)4832365-2 (DE-588)4113937-9 |
| title | Model-based development of software-intensive automotive systems |
| title_auth | Model-based development of software-intensive automotive systems |
| title_exact_search | Model-based development of software-intensive automotive systems |
| title_full | Model-based development of software-intensive automotive systems Stefan M. Kugele |
| title_fullStr | Model-based development of software-intensive automotive systems Stefan M. Kugele |
| title_full_unstemmed | Model-based development of software-intensive automotive systems Stefan M. Kugele |
| title_short | Model-based development of software-intensive automotive systems |
| title_sort | model based development of software intensive automotive systems |
| topic | Kraftfahrzeugelektronik (DE-588)4191569-0 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| topic_facet | Kraftfahrzeugelektronik Modellgetriebene Entwicklung Hochschulschrift |
| url | http://mediatum.ub.tum.de/node?id=1110104 https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20121119-1110104-1-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025873480&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kugelestefan modelbaseddevelopmentofsoftwareintensiveautomotivesystems |