A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Stuttgart
Fraunhofer-Verl.
2013
|
| Series: | PhD theses in experimental software engineering
47 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XIII, 157 S. Ill., graph. Darst. 25 cm |
| ISBN: | 9783839605998 3839605997 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042278128 | ||
| 003 | DE-604 | ||
| 005 | 20150203 | ||
| 007 | t | ||
| 008 | 150119s2013 gw ad|| m||| 00||| eng d | ||
| 015 | |a 13,N38 |2 dnb | ||
| 015 | |a 14,A50 |2 dnb | ||
| 015 | |a 15,H01 |2 dnb | ||
| 016 | 7 | |a 1041727607 |2 DE-101 | |
| 020 | |a 9783839605998 |c kart. : EUR 40.00 (DE), EUR 41.20 (AT), sfr 64.00 (freier Pr.) |9 978-3-8396-0599-8 | ||
| 020 | |a 3839605997 |9 3-8396-0599-7 | ||
| 024 | 3 | |a 9783839605998 | |
| 035 | |a (OCoLC)864558221 | ||
| 035 | |a (DE-599)DNB1041727607 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BW | ||
| 049 | |a DE-634 | ||
| 082 | 0 | |a 629.20289 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a 620 |2 sdnb | ||
| 084 | |a 621.3 |2 sdnb | ||
| 100 | 1 | |a Adler, Rasmus |d 1980- |e Verfasser |0 (DE-588)1042227810 |4 aut | |
| 245 | 1 | 0 | |a A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems |c von Rasmus Adler |
| 264 | 1 | |a Stuttgart |b Fraunhofer-Verl. |c 2013 | |
| 300 | |a XIII, 157 S. |b Ill., graph. Darst. |c 25 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a PhD theses in experimental software engineering |v 47 | |
| 502 | |a Zugl.: Kaiserslautern, Techn. Univ., Diss., 2013 | ||
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |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 Sicherheitskritisches System |0 (DE-588)4767762-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Adaptives System |0 (DE-588)4247928-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konfiguration |g Informatik |0 (DE-588)4138568-8 |2 gnd |9 rswk-swf |
| 653 | |a Informatiker | ||
| 653 | |a Elektrotechniker | ||
| 653 | |a Maschinenbauer | ||
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |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 Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 4 | |a Konfiguration |g Informatik |0 (DE-588)4138568-8 |D s |
| 689 | 0 | 5 | |a Adaptives System |0 (DE-588)4247928-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a PhD theses in experimental software engineering |v 47 |w (DE-604)BV022658864 |9 47 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4442451&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=027715551&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027715551 | |
Record in the Search Index
| _version_ | 1806330152482766848 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
1 INTRODUCTION 1
1.1 MOTIVATION 1
1.2 PROBLEM STATEMENTS 2
1.3 GOALS 2
1.4 RESEARCH SCOPE 3
1.5 APPROACH 4
1.6 CONTRIBUTIONS 5
1.7 HYPOTHESES 6
1.8 THESIS STRUCTURE 7
2 STATE OF THE PRACTICE 9
2.1 EVOLUTION STAGE 1: UNPLANNED ADAPTATION 9
2.2 EVOLUTION STAGE 2: PLANNED ADAPTATION 9
2.3 EVOLUTION STAGE 3: UNSYSTEMATIC MANUAL ADAPTATION OP TIMIZATION 10
2.4 EVOLUTION STAGE 4: SYSTEMATIC ADAPTATION OPTIMIZATION 11
3 STATE OF THE ART 13
3.1 SAFETY ENGINEERING 13
3.1.1 APPROACH 13
3.1.2 EVALUATION 15
3.2 PRODUCT LINE ENGINEERING 15
3.2.1 APPROACH 15
3.2.2 EVALUATION 16
3.3 ADAPTIVE SYSTEM ENGINEERING 17
3.3.1 ENGINEERING APPROACH 17
3.3.2 REQUIREMENTS 18
3.3.3 DECENTRALIZED ADAPTATION 19
3.3.4 TIME-VARIANT ADAPTATION 20
3.3.5 SOFTWARE PRODUCT LINE BASED ADAPTATION 20
3.3.6 GOAL-BASED ADAPTATION 21
3.3.7 RULE-BASED ADAPTATION 22
HTTP://D-NB.INFO/1041727607
IMAGE 2
TABLE OF CONTENTS
4 PREVIOUS WORK AND DEFINITIONS 25
4.1 ADAPTIVE SYSTEM SPECIFICATION 25
4.2 MODELING LANGUAGE 26
4.2.1 SYNTAX 26
4.2.2 SEMANTICS 28
4.3 MODEL CONSTRUCTION 28
4.4 MODEL OPTIMIZATION 31
4.4.1 VERIFICATION APPROACH 31
4.4.2 SIMULATION APPROACH 31
4.5 MODEL IMPLEMENTATION 32
4.6 SUMMARY 33
5 ENGINEERING APPROACH 35
5.1 OVERVIEW 35
5.2 MARS MODEL CONSTRUCTION 35
5.2.1 CONSTRUCTION APPROACH 36
5.2.2 CONSTRUCTION PROCESS 37
5.2.3 SUPPORTING APPROACHES 47
5.3 MARS MODEL OPTIMIZATION 48
5.3.1 OPTIMIZATION PROBLEM AND APPROACH 48
5.3.2 OPTIMIZATION PROCESS 53
5.3.3 SUPPORTING APPROACHES 55
5.4 MARS MODEL IMPLEMENTATION 57
6 MODELING LANGUAGE 59
6.1 SYNTAX 59
6.1.1 OVERVIEW 59
6.1.2 QUALITY TYPE SYSTEM 61
6.1.3 FUNCTIONAL SPECIFICATION 63
6.1.4 FUNCTIONAL REALIZATION 65
6.1.5 ADAPTATION SPECIFICATION 66
6.1.6 ADAPTATION REALIZATION 68
6.2 SEMANTICS 70
6.2.1 MODEL STRUCTURE 70
6.2.2 OVERVIEW 72
6.2.3 HIGH-LEVEL ADAPTATION SEMANTICS 74
6.2.4 LOW-LEVEL ADAPTATION SEMANTICS 75
6.2.5 SYNCHRONOUS FUNCTIONAL SEMANTICS 80
VI
IMAGE 3
TABLE OF CONTENTS
7 ANALYSIS FOR IDENTIFYING REASONABLE SYSTEM CONFIGURA
TIONS 85
7.1 OVERVIEW 85
7.2 IDENTIFICATION OF STABLE CONFIGURATIONS 86
7.3 IDENTIFICATION OF STATELESS CONFIGURATIONS 90
7.4 CLASSIFICATION OF STATELESS CONFIGURATIONS 91
7.5 IDENTIFICATION OF REASONABLE CONFIGURATION CLASSES 92
7.6 GENERATION OF HIERARCHICAL ABSTRACTION 94
8 APPROACHES FOR SELECTING SYSTEM CONFIGURATIONS AND IDENTIFYING
TRANSITIONS 95
8.1 CONTEXT MODELING APPROACH 95
8.1.1 OVERVIEW 96
8.1.2 MARKOV MODELS 97
8.1.3 IMPACT MODELS 97
8.1.4 DEVICE MODELS 98
8.1.5 CONTEXT MODEL 99
8.2 UTILITY ANALYSIS 101
8.2.1 OVERVIEW 101
8.2.2 DETERMINATION OF QUALITY CONSTRAINTS 102
8.2.3 DETERMINATION OF MARKOV CONSTRAINTS 103
8.2.4 DETERMINATION OF UTILITY PROBABILITIES 103
8.2.5 AGGREGATION OF UTILITY PROBABILITIES 104
8.3 HARDWARE COST ANALYSIS 104
8.3.1 OVERVIEW 104
8.3.2 DETERMINATION OF THE POSSIBLE DEVICE COMBINA TIONS 106
8.3.3 DETERMINATION OF MAXIMAL ADAPTATION SPECIFICA TIONS 107
8.3.4 DETERMINATION OF THE UTILITY-HARDWARE COST PARETO FRONT 108
8.4 SOFTWARE COST ANALYSIS 109
8.4.1 OVERVIEW 109
8.4.2 RELIABLE ANALYSIS 110
8.4.3 UNRELIABLE RELIABLE ANALYSIS 110
8.5 REALIZATION ANALYSIS 113
8.5.1 RELIABLE ANALYSIS 113
8.5.2 UNRELIABLE ANALYSIS 114
VII
IMAGE 4
TABLE OF CONTENTS
8.6 VERIFICATION APPROACH 115
8.6.1 WELL-DEF INEDNESS 116
8.6.2 VERIFICATION OF WELL-DEFINEDNESS 116
8.7 SIMULATION APPROACH 117
8.7.1 MODELING OF ADAPTATION TRIGGER SCENARIOS 117
8.7.2 SIMULATION OF ADAPTATION TRIGGER SCENARIOS 118
8.7.3 VISUALIZATION OF ADAPTATION ACTION SCENARIOS 119
8.8 MONTE-CARLO SIMULATION APPROACH 119
8.8.1 OVERVIEW 120
8.8.2 ADAPTATION TRIGGER SCENARIO GENERATION 121
8.8.3 DETERMINATION OF THE SCENARIO LENGTH 122
8.8.4 DETERMINATION OF THE SCENARIO NUMBERS 123
9 APPROACH FOR IMPLEMENTING ADAPTATION 125
9.1 OVERVIEW 125
9.2 ADAPTATION SUBSYSTEM 127
9.2.1 FUNCTIONAL SUBSYSTEM 129
10 TOOL SUPPORT 131
10.1 ADAPTATION MODELING APPROACH 131
10.2 CONTEXT MODELING APPROACH 131
10.3 UTILITY ANALYSIS 132
10.4 SIMULATION APPROACH 132
10.5 MONTE-CARLO SIMULATION APPROACH 132
10.6 CONSTRUCTION AND EXPLORATION ANALYSES 133
10.7 VERIFICATION APPROACH 133
10.8 IMPLEMENTATION APPROACH 133
11 EVALUATION 135
11.1 CASE STUDIES 135
11.1.1 ELECTRONIC STABILITY CONTROL SYSTEM 135
11.1.2VEHICLE STABILITY CONTROL SYSTEM 135
11.1.3 EMERGENCY CALL SYSTEM 136
11.2 EVALUATION OF THE GOALS 136
11.2.1 IDENTIFICATION OF ALL OPTIMAL SYSTEM CONFIGURATIONS . 136
11,2.2UTILITY-COST OPTIMIZED SELECTION OF SYSTEM CONFIGU RATIONS 139
11.2.3IMPLEMENTATION OF SYSTEM CONFIGURATIONS 140
VIII
IMAGE 5
TABLE OF CONTENTS
11.3 REFLECTION ON THE SOLUTIONS 141
11.3.1 IDENTIFICATION OF ALL OPTIMAL SYSTEM CONFIGURATIONS. 141
11.3.2 UTILITY-COST OPTIMIZED SELECTION OF SYSTEM CONFIGU RATIONS 142
11.3.3 IMPLEMENTATION OF SYSTEM CONFIGURATIONS 142
12 RELATED WORK 143
12.1 ROSES 143
12.2 ARDEA 144
12.3 ASSURED RECONFIGURATION FOR SURVIVABILITY 144
12.4 MECHATRONIC UML 145
12.5 CHAMELEON 146
12.6 EVAS 147
13 CONCLUSIONS AND FUTURE WORK 149
13.1 CONCLUSION 149
13.2 FUTURE WORK 150
REFERENCES 151
IX |
| any_adam_object | 1 |
| author | Adler, Rasmus 1980- |
| author_GND | (DE-588)1042227810 |
| author_facet | Adler, Rasmus 1980- |
| author_role | aut |
| author_sort | Adler, Rasmus 1980- |
| author_variant | r a ra |
| building | Verbundindex |
| bvnumber | BV042278128 |
| ctrlnum | (OCoLC)864558221 (DE-599)DNB1041727607 |
| dewey-full | 629.20289 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.20289 |
| dewey-search | 629.20289 |
| dewey-sort | 3629.20289 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Maschinenbau / Maschinenwesen Informatik Elektrotechnik / Elektronik / Nachrichtentechnik Verkehr / Transport |
| 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">BV042278128</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150203</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">150119s2013 gw ad|| 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,A50</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">15,H01</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1041727607</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783839605998</subfield><subfield code="c">kart. : EUR 40.00 (DE), EUR 41.20 (AT), sfr 64.00 (freier Pr.)</subfield><subfield code="9">978-3-8396-0599-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3839605997</subfield><subfield code="9">3-8396-0599-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783839605998</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864558221</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1041727607</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-BW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.20289</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">620</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">621.3</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Adler, Rasmus</subfield><subfield code="d">1980-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1042227810</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems</subfield><subfield code="c">von Rasmus Adler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart</subfield><subfield code="b">Fraunhofer-Verl.</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 157 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">25 cm</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">PhD theses in experimental software engineering</subfield><subfield code="v">47</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Kaiserslautern, Techn. Univ., Diss., 2013</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">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">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Adaptives System</subfield><subfield code="0">(DE-588)4247928-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konfiguration</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4138568-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Informatiker</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Elektrotechniker</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Maschinenbauer</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">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Konfiguration</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4138568-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Adaptives System</subfield><subfield code="0">(DE-588)4247928-9</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">PhD theses in experimental software engineering</subfield><subfield code="v">47</subfield><subfield code="w">(DE-604)BV022658864</subfield><subfield code="9">47</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=4442451&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=027715551&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-027715551</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042278128 |
| illustrated | Illustrated |
| indexdate | 2024-08-03T02:04:32Z |
| institution | BVB |
| isbn | 9783839605998 3839605997 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027715551 |
| oclc_num | 864558221 |
| open_access_boolean | |
| owner | DE-634 |
| owner_facet | DE-634 |
| physical | XIII, 157 S. Ill., graph. Darst. 25 cm |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Fraunhofer-Verl. |
| record_format | marc |
| series | PhD theses in experimental software engineering |
| series2 | PhD theses in experimental software engineering |
| spelling | Adler, Rasmus 1980- Verfasser (DE-588)1042227810 aut A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems von Rasmus Adler Stuttgart Fraunhofer-Verl. 2013 XIII, 157 S. Ill., graph. Darst. 25 cm txt rdacontent n rdamedia nc rdacarrier PhD theses in experimental software engineering 47 Zugl.: Kaiserslautern, Techn. Univ., Diss., 2013 Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf Adaptives System (DE-588)4247928-9 gnd rswk-swf Konfiguration Informatik (DE-588)4138568-8 gnd rswk-swf Informatiker Elektrotechniker Maschinenbauer (DE-588)4113937-9 Hochschulschrift gnd-content Sicherheitskritisches System (DE-588)4767762-4 s Eingebettetes System (DE-588)4396978-1 s Echtzeitsystem (DE-588)4131397-5 s Softwareentwicklung (DE-588)4116522-6 s Konfiguration Informatik (DE-588)4138568-8 s Adaptives System (DE-588)4247928-9 s DE-604 PhD theses in experimental software engineering 47 (DE-604)BV022658864 47 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4442451&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=027715551&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Adler, Rasmus 1980- A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems PhD theses in experimental software engineering Softwareentwicklung (DE-588)4116522-6 gnd Echtzeitsystem (DE-588)4131397-5 gnd Eingebettetes System (DE-588)4396978-1 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Adaptives System (DE-588)4247928-9 gnd Konfiguration Informatik (DE-588)4138568-8 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4131397-5 (DE-588)4396978-1 (DE-588)4767762-4 (DE-588)4247928-9 (DE-588)4138568-8 (DE-588)4113937-9 |
| title | A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems |
| title_auth | A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems |
| title_exact_search | A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems |
| title_full | A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems von Rasmus Adler |
| title_fullStr | A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems von Rasmus Adler |
| title_full_unstemmed | A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems von Rasmus Adler |
| title_short | A model-based approach for exploring the space of adaptation behaviors of safety-related embedded systems |
| title_sort | a model based approach for exploring the space of adaptation behaviors of safety related embedded systems |
| topic | Softwareentwicklung (DE-588)4116522-6 gnd Echtzeitsystem (DE-588)4131397-5 gnd Eingebettetes System (DE-588)4396978-1 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Adaptives System (DE-588)4247928-9 gnd Konfiguration Informatik (DE-588)4138568-8 gnd |
| topic_facet | Softwareentwicklung Echtzeitsystem Eingebettetes System Sicherheitskritisches System Adaptives System Konfiguration Informatik Hochschulschrift |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4442451&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=027715551&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV022658864 |
| work_keys_str_mv | AT adlerrasmus amodelbasedapproachforexploringthespaceofadaptationbehaviorsofsafetyrelatedembeddedsystems |