Synthesis of online diagnostic techniques for embedded systems:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
München
Verl. Dr. Hut
2013
|
| Edition: | 1. Aufl. |
| Series: | Informatik
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 146 S. graph. Darst. |
| ISBN: | 9783843911542 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041287248 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 130925s2013 d||| m||| 00||| eng d | ||
| 020 | |a 9783843911542 |9 978-3-8439-1154-2 | ||
| 035 | |a (OCoLC)859422274 | ||
| 035 | |a (DE-599)BVBBV041287248 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-12 |a DE-91G | ||
| 082 | 0 | |a 004 | |
| 100 | 1 | |a Sojer, Dominik |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Synthesis of online diagnostic techniques for embedded systems |c Dominik Sojer |
| 250 | |a 1. Aufl. | ||
| 264 | 1 | |a München |b Verl. Dr. Hut |c 2013 | |
| 300 | |a X, 146 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Informatik | |
| 502 | |a Zugl.: München, Techn. Univ., Diss., 2013 | ||
| 650 | 0 | 7 | |a Laufzeitsystem |0 (DE-588)4343107-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Codegenerierung |0 (DE-588)4010346-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionssicherheit |0 (DE-588)4760707-5 |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 Scheduling |0 (DE-588)4179449-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Diagnosesystem |0 (DE-588)4149458-1 |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 Fehlermodell |0 (DE-588)4380447-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Metamodell |0 (DE-588)4825945-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 Sicherheitskritisches System |0 (DE-588)4767762-4 |D s |
| 689 | 0 | 2 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 0 | 3 | |a Diagnosesystem |0 (DE-588)4149458-1 |D s |
| 689 | 0 | 4 | |a Fehlermodell |0 (DE-588)4380447-0 |D s |
| 689 | 0 | 5 | |a Metamodell |0 (DE-588)4825945-7 |D s |
| 689 | 0 | 6 | |a Codegenerierung |0 (DE-588)4010346-8 |D s |
| 689 | 0 | 7 | |a Scheduling |0 (DE-588)4179449-7 |D s |
| 689 | 0 | 8 | |a Laufzeitsystem |0 (DE-588)4343107-0 |D s |
| 689 | 0 | 9 | |a Funktionssicherheit |0 (DE-588)4760707-5 |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=026736304&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026736304 | ||
Record in the Search Index
| _version_ | 1804151350034956288 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
LIST OF FIGURES VII
LIST OF TABLES IX
1 INTRODUCTION 1
1.1 MOTIVATION AND PROBLEM DESCRIPTION 1
1.2 MAIN CONTRIBUTIONS 5
1.3 STRUCTURE OF THIS THESIS 6
2 BACKGROUND AND STATE-OF-THE-ART 9
2.1 SAFETY-CRITICAL EMBEDDED SYSTEMS 10
2.2 DEPENDABILITY BASICS 11
2.2.1 CONCEPTS 12
2.2.2 THREATS TO DEPENDABILITY 13
2.2.3 MEANS TO ATTAIN DEPENDABILITY 15
2.2.4 FOUNDATIONS OF DIAGNOSIS 16
2.3 MODEL-DRIVEN SOFTWARE DEVELOPMENT 17
2.3.1 DEFINITION 17
2.3.2 BENEFITS 19
2.3.3 MDSD FOR SAFETY-CRITICAL SYSTEMS 20
2.4 IMPORTANT STANDARDS FOR SVNDIA 21
2.4.1 1EC 6150S AND DERIVATIVES 22
2.4.2 FRAMEWORKS OF SAFETY STANDARDS 22
2.5 FTOS: MODEL-BASED DEVELOPMENT OF FAULT-TOLERANT REAL-TIME SYSTEMS 24
III
HTTP://D-NB.INFO/1037978978
IMAGE 2
3 OVERVIEW OF THE APPROACH 27
3.1 OVERVIEW 27
3.2 RELATED WORK 29
3.2.1 ACADEMIA 30
3.2.1.1 MODEL-BASED DEVELOPMENT OF SAFETY-CRITICAL SYSTEMS 30
3.2.1.2 MODEL-DRIVEN SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS 31
3.2.1.3 MODEL-BASED SAFETY ANALYSIS 32
3.2.1.4 MODEL-BASED DIAGNOSIS 33
3.2.2 INDUSTRY 33
3.3 INTRODUCTION OF THE EXAMPLE SYSTEMS 34
4 GENERATION OF DIAGNOSTIC TECHNIQUES 39
4.1 RELATED WORK 40
4.1.1 FAULT MODELING 41
4.1.1.1 FAULT MODELS FOR DOCUMENTATION 41
4.1.1.2 FAULT MODELS FOR CODE GENERATION 42
4.1.1.3 FAULT MODELS FOR VALIDATION AND VERIFICATION 43
4.1.1.4 FAULT MODELS FOR RELIABILITY ESTIMATION 44
4.1.2 ELICITATION OF SAFETY REQUIREMENTS 45
4.1.3 MODELING OF SAFETY REQUIREMENTS 45
4.1.4 FAILURE PROPAGATION 47
4.2 APPROACH 4S
4.2.1 METAMODELS 49
4.2.1.1 SAFETY REQUIREMENTS METAMODEL 51
4.2.1.2 STANDARD-COMPLIANT FAULT METAMODEL 53
4.2.1.3 DIAGNOSTIC TECHNIQUES METAMODEL 56
4.2.2 PROPAGATION AND TRANSFORMATION OF SAFETY REQUIREMENTS 5S
4.2.3 PLATFORM MAPPING OF SAFETY REQUIREMENTS G3
4.2.4 GENERATION OF STANDARD COMPLIANT DIAGNOSTIC TECHNIQUES 64
4.2.5 OPTIMIZATION 67
4.2.6 FORMAL BASIS OF SAFETY REQUIREMENT PROPAGATION, TRANSFORMATION AND
PLATFORM MAPPING 70
4.3 R.UNNING EXAMPLE AND EVALUATION 73
4.3.1 APPLICATION TO THE EXAMPLE SYSTEM 74
IV
IMAGE 3
4.3.2 EVALUATION 77
5 SCHEDULING OF DIAGNOSTIC TECHNIQUES 79
5.1 RELATED WORK SO
5.1.1 SCHEDULING OF DIAGNOSTIC TECHNIQUES SO
5.1.2 MODES OF EXECUTION 82
5.1.3 SCHEDULING IN FTOS 82
5.2 APPROACH 83
5.2.1 DIFFERENT KINDS OF DIAGNOSTIC TECHNIQUES S3
5.2.2 DESCRIPTION OF THE SCHEDULE 89
5.2.3 SCHEDULE PREPROCESSING AND SCHEDULER 90
5.3 RUNNING EXAMPLE AND EVALUATION 92
5.3.1 APPLICATION TO THE EXAMPLE SYSTEM 94
5.3.2 EVALUATION 96
6 RUNTIME RELIABILITY ANALYSIS 99
6.1 RELATED WORK 100
6.2 APPROACH 103
6.2.1 METAMODEL FOR DEPENDENCIES BETWEEN ERRORS 104
6.2.2 RELIABILITY ANALYSIS AT RUNTIME 105
6.2.2.1 DATA STRUCTURES 106
6.2.2.2 TRACING DEPEUDEM FAULTS 106
6.2.2.3 ONLINE RELIABILITY EVALUATION 107
6.2.2.4 ONLINE EVALUATION OF HIDDEN ERRORS 107
6.3 RUNNING EXAMPLE AND EVALUATION 109
6.3.1 INCREASED SAFETY 110
6.3.2 EXPRESSIVENESS OF THE METAMODEL 110
6.3.3 RUUTIME ILL
6.3.4 MEMORY ILL
6.3.5 APPLICATION TO THE EXAMPLE SYSTEM ILL
IMAGE 4
7 SUPPORT OF STANDARD-COMPLIANT DEVELOPMENT PROCESSES 117
7.1 INTERFACE TO HEALTH MONITORS 118
7.1.1 AR1NC653 119
7.1.2 APPLICATION TO THE EXAMPLE SYSTEM 120
7.2 INTEGRATION INTO DEVELOPMENT PROCESSES 121
7.3 DOCUMENT GENERATION 124
7.3.1 SPES METASTANDARD 124
7.3.2 APPLICATION TO THE EXAMPLE SYSTEM 124
8 CONCLUSION 127
REFERENCES 131
VI
|
| any_adam_object | 1 |
| author | Sojer, Dominik |
| author_facet | Sojer, Dominik |
| author_role | aut |
| author_sort | Sojer, Dominik |
| author_variant | d s ds |
| building | Verbundindex |
| bvnumber | BV041287248 |
| ctrlnum | (OCoLC)859422274 (DE-599)BVBBV041287248 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| 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>02454nam a2200577 c 4500</leader><controlfield tag="001">BV041287248</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130925s2013 d||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783843911542</subfield><subfield code="9">978-3-8439-1154-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)859422274</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041287248</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-91</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sojer, Dominik</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Synthesis of online diagnostic techniques for embedded systems</subfield><subfield code="c">Dominik Sojer</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Verl. Dr. Hut</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 146 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="490" ind1="0" ind2=" "><subfield code="a">Informatik</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: München, Techn. Univ., Diss., 2013</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Laufzeitsystem</subfield><subfield code="0">(DE-588)4343107-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Codegenerierung</subfield><subfield code="0">(DE-588)4010346-8</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="650" ind1="0" ind2="7"><subfield code="a">Funktionssicherheit</subfield><subfield code="0">(DE-588)4760707-5</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">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">Diagnosesystem</subfield><subfield code="0">(DE-588)4149458-1</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">Fehlermodell</subfield><subfield code="0">(DE-588)4380447-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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="3"><subfield code="a">Diagnosesystem</subfield><subfield code="0">(DE-588)4149458-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Fehlermodell</subfield><subfield code="0">(DE-588)4380447-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><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="6"><subfield code="a">Codegenerierung</subfield><subfield code="0">(DE-588)4010346-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="7"><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="8"><subfield code="a">Laufzeitsystem</subfield><subfield code="0">(DE-588)4343107-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="9"><subfield code="a">Funktionssicherheit</subfield><subfield code="0">(DE-588)4760707-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">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=026736304&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-026736304</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV041287248 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:53:25Z |
| institution | BVB |
| isbn | 9783843911542 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026736304 |
| oclc_num | 859422274 |
| 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 | X, 146 S. graph. Darst. |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Verl. Dr. Hut |
| record_format | marc |
| series2 | Informatik |
| spelling | Sojer, Dominik Verfasser aut Synthesis of online diagnostic techniques for embedded systems Dominik Sojer 1. Aufl. München Verl. Dr. Hut 2013 X, 146 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Informatik Zugl.: München, Techn. Univ., Diss., 2013 Laufzeitsystem (DE-588)4343107-0 gnd rswk-swf Codegenerierung (DE-588)4010346-8 gnd rswk-swf Modellgetriebene Entwicklung (DE-588)4832365-2 gnd rswk-swf Funktionssicherheit (DE-588)4760707-5 gnd rswk-swf Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf Scheduling (DE-588)4179449-7 gnd rswk-swf Diagnosesystem (DE-588)4149458-1 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Fehlermodell (DE-588)4380447-0 gnd rswk-swf Metamodell (DE-588)4825945-7 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Eingebettetes System (DE-588)4396978-1 s Sicherheitskritisches System (DE-588)4767762-4 s Modellgetriebene Entwicklung (DE-588)4832365-2 s Diagnosesystem (DE-588)4149458-1 s Fehlermodell (DE-588)4380447-0 s Metamodell (DE-588)4825945-7 s Codegenerierung (DE-588)4010346-8 s Scheduling (DE-588)4179449-7 s Laufzeitsystem (DE-588)4343107-0 s Funktionssicherheit (DE-588)4760707-5 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026736304&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Sojer, Dominik Synthesis of online diagnostic techniques for embedded systems Laufzeitsystem (DE-588)4343107-0 gnd Codegenerierung (DE-588)4010346-8 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Funktionssicherheit (DE-588)4760707-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Scheduling (DE-588)4179449-7 gnd Diagnosesystem (DE-588)4149458-1 gnd Eingebettetes System (DE-588)4396978-1 gnd Fehlermodell (DE-588)4380447-0 gnd Metamodell (DE-588)4825945-7 gnd |
| subject_GND | (DE-588)4343107-0 (DE-588)4010346-8 (DE-588)4832365-2 (DE-588)4760707-5 (DE-588)4767762-4 (DE-588)4179449-7 (DE-588)4149458-1 (DE-588)4396978-1 (DE-588)4380447-0 (DE-588)4825945-7 (DE-588)4113937-9 |
| title | Synthesis of online diagnostic techniques for embedded systems |
| title_auth | Synthesis of online diagnostic techniques for embedded systems |
| title_exact_search | Synthesis of online diagnostic techniques for embedded systems |
| title_full | Synthesis of online diagnostic techniques for embedded systems Dominik Sojer |
| title_fullStr | Synthesis of online diagnostic techniques for embedded systems Dominik Sojer |
| title_full_unstemmed | Synthesis of online diagnostic techniques for embedded systems Dominik Sojer |
| title_short | Synthesis of online diagnostic techniques for embedded systems |
| title_sort | synthesis of online diagnostic techniques for embedded systems |
| topic | Laufzeitsystem (DE-588)4343107-0 gnd Codegenerierung (DE-588)4010346-8 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Funktionssicherheit (DE-588)4760707-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Scheduling (DE-588)4179449-7 gnd Diagnosesystem (DE-588)4149458-1 gnd Eingebettetes System (DE-588)4396978-1 gnd Fehlermodell (DE-588)4380447-0 gnd Metamodell (DE-588)4825945-7 gnd |
| topic_facet | Laufzeitsystem Codegenerierung Modellgetriebene Entwicklung Funktionssicherheit Sicherheitskritisches System Scheduling Diagnosesystem Eingebettetes System Fehlermodell Metamodell Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026736304&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT sojerdominik synthesisofonlinediagnostictechniquesforembeddedsystems |