Kompatibilitätsabsicherung verteilter eingebetteter Systeme in der Mechatronik
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
Göttingen
Sierke
2008
|
| Ausgabe: | 1. Aufl. |
| Schriftenreihe: | Informationstechnik im Maschinenwesen
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035218932 | ||
| 003 | DE-604 | ||
| 005 | 20121002 | ||
| 007 | t| | ||
| 008 | 081217s2008 xx d||| m||| 00||| ger d | ||
| 020 | |a 9783868440911 |9 978-3-86844-091-1 | ||
| 035 | |a (OCoLC)300159069 | ||
| 035 | |a (DE-599)BVBBV035218932 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-12 |a DE-91G | ||
| 084 | |a DAT 260d |2 stub | ||
| 084 | |a TEC 035d |2 stub | ||
| 100 | 1 | |a Bechter, Markus |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Kompatibilitätsabsicherung verteilter eingebetteter Systeme in der Mechatronik |c Markus Bechter |
| 250 | |a 1. Aufl. | ||
| 264 | 1 | |a Göttingen |b Sierke |c 2008 | |
| 300 | |a VII, 188 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Informationstechnik im Maschinenwesen | |
| 502 | |a Zugl.: München, Techn. Univ., Diss., 2008 | ||
| 650 | 4 | |a Eingebettetes System - Mechatronik - Schnittstelle - Kompatibilität | |
| 650 | 0 | 7 | |a Mechatronik |0 (DE-588)4238812-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kompatibilität |0 (DE-588)4221530-4 |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 Schnittstelle |0 (DE-588)4053059-0 |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 Mechatronik |0 (DE-588)4238812-0 |D s |
| 689 | 0 | 2 | |a Schnittstelle |0 (DE-588)4053059-0 |D s |
| 689 | 0 | 3 | |a Kompatibilität |0 (DE-588)4221530-4 |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=017025040&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017025040 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0001 DM 27140 0709 DM 27140 |
|---|---|
| DE-BY-TUM_katkey | 1658406 |
| DE-BY-TUM_location | Mag 07 |
| DE-BY-TUM_media_number | 040007019707 040071195567 |
| _version_ | 1820858243346333696 |
| adam_text | INHALTSVERZEICHNIS VORWORT I ABKUERZUNGEN UND SYMBOLE VII 1. EINLEITUNG 1
2. KOMPATIBILITAET EINGEBETTETER SYSTEME IN DER MECHATRONIK 3 2.1.
VERTEILTE MECHATRONISCHE SYSTEME 4 2.1.1. MECHATRONISCHE PRODUKTE 4
2.1.2. EINGEBETTETE SYSTEME 6 2.1.3. VERTEILTE UND VERNETZTE SYSTEME 7
2.1.4. ANWENDUNG UND BESONDERHEITEN EINGEBETTETER SYSTEME 9 2.2.
ENTWICKLUNG VERTEILTER MECHATRONISCHER SYSTEME 11 2.2.1. ENTWICKLUNG
NACH DEM 3-EBENEN-VORGEHENSMODELL ... 12 2.2.2. ENTWICKLUNG VERTEILTER
SYSTEME 15 2.2.3. DIE BEDEUTUNG DER INTEGRATIONSPHASEN IN DER
ENTWICKLUNG 17 2.3. KOMPATIBILITAET VERTEILTER MECHATRONISCHER SYSTEME 17
2.3.1. KOMPATIBILITAET TECHNISCHER SYSTEME 18 2.3.2. KOMPATIBILITAET UND
INTEGRIERBARKEIT 19 2.3.3. KOMPONENTENBEGRIFFE IN DER ENTWICKLUNG
EINGEBETTETER SYSTEME IN DER MECHATRONIK 20 2.4. RESULTIERENDE
AUFGABENSTELLUNG UND LOESUNGSANSATZ 23 2.4.1. DEFIZITE IN DER ENTWICKLUNG
EINGEBETTETER SYSTEME IN DER MECHATRONIK 23 2.4.2. ZIEL DIESER ARBEIT 25
2.5. FAZIT 27 3. METHODEN UND WERKZEUGE ZUR SPEZIFIKATION UND
VERIFIKATION VON SYS- TEMEN 29 3.1. MODELLE IN DER ENTWICKLUNG
EINGEBETTETER SYSTEME 30 3.1.1. DIE UNIFIED MODELING LANGUAGE 30 3.1.2.
TIMED AUTOMATA 32 BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/991500512 DIGITALISIERT DURCH INHALTSVERZEICHNIS 3.1.3.
INTERFACE THEORIES 39 3.1.4. FAZIT 41 3.2. MIDDLEWAREKONZEPTE 42 3.2.1.
KOMPONENTENORIENTIERTE SOFTWARE-ENTWICKLUNG 42 3.2.2. FAZIT 45 3.3. TEST
EINGEBETTETER SYSTEME IN DER MECHATRONIK 45 3.3.1.
ENTWICKLUNGSABSCHLIESSENDER FUNKTIONSTEST 46 3.3.2. KONFORMITAETSTESTS
OFFENER SYSTEME 49 3.3.3. FAZIT 51 3.4. RESULTIERENDE AUFGABENSTELLUNG
51 4. VIRTUELLE INTEGRATION VON SCHNITTSTELLENBESCHREIBUNGEN 55 4.1.
LOESUNGSKONZEPT FUER EINE ENTWICKLUNGSBEGLEITENDE KOMPATIBILI-
TAETSABSICHERUNG 56 4.1.1. ANFORDERUNGEN AN DAS LOESUNGSKONZEPT 56 4.1.2.
UEBERSICHT UEBER DAS LOESUNGSKONZEPT 57 4.2. EIN
KOMPATIBILITAETSORIENTIERTES SYSTEMMODELL 59 4.2.1. BESCHREIBUNG DES
SYSTEMMODELLS 59 4.2.2. FORMALE DARSTELLUNG DES SYSTEMMODELLS 62 4.2.3.
EIN FORMALER KOMPATIBILITAETSBEGRIFF 67 4.2.4. DISKUSSION ANHAND EINES
BEISPIELS 69 4.3. KOMPATIBILITAET VON SCHNITTSTELLENAUTOMATEN 73 4.3.1.
SCHNITTSTELLENAUTOMATEN 73 4.3.2. KOMPATIBILITAET VON DIENSTEN UND
KOMPONENTEN 78 4.3.3. KOMPATIBILITAETSFEHLERMODELLE 81 4.3.4. FAZIT 83
4.4. VIRTUELLE INTEGRATION VON SCHNITTSTELLENAUTOMATEN 84 4.4.1.
ALGORITHMEN ZUR UEBERPRUEFUNG DER DYNAMISCHEN UND FUNKTIONALEN
KOMPATIBILITAET 85 4.4.2. IDENTIFIKATION UND BEHEBUNG VON
KOMPATIBILITAETSFEHLERN 88 4.5. ZUSAMMENFASSUNG 92 5.
KOMPATIBILITAETSABSICHERUNG DURCH TESTEN 95 5.1. KOMPATIBILITAETSTEST 96
5.1.1 INHALTSVERZEICHNIS 5.2. ERSTELLUNG VON KOMPATIBILITAETSTESTFAELLEN
102 5.2.1. MODELLBASIERTE ERSTELLUNG REDUZIERTER KOMPATIBILITAETS-
TESTFAELLE 104 5.2.2. EIN UEBERDECKUNGSKRITERIUM FUER KOMPATIBILITAETSTESTS
. . 106 5.2.3. BERECHNUNG SYMBOLISCHER TRACES 108 5.2.4. GENERIERUNG
KOMPONENTENSPEZIFISCHER VOLLSTAENDIGER TESTFAELLE 111 5.2.5. DETAILLIERTES
VORGEHEN UND ZUSAMMENFASSUNG 114 5.3. AUSFUEHRUNG VON
KOMPATIBILITAETSTESTFAELLEN 115 5.3.1. VERFEINERTE ANFORDERUNGEN AN EIN
PRUEF SYSTEM 115 5.3.2. KONZEPT DER TESTSYSTEMADAPTION 117 5.4.
ZUSAMMENFASSUNG UND FAZIT 119 6. UMSETZUNG UND BEWERTUNG 121 6.1.
VORGEHEN UND VORSTELLUNG DER FALLSTUDIE 122 6.1.1. VORGEHEN 122 6.1.2.
FUNKTIONSBESCHREIBUNG DER FALLSTUDIE 122 6.1.3. DEPLOYMENT UND
TECHNISCHE ARCHITEKTUR 125 6.2. SCHNITTSTELLENBESCHREIBUNG DER
KOMPONENTEN 128 6.2.1. BESCHREIBUNG DER SYNTAKTISCHEN SCHNITTSTELLE 128
6.2.2. BESCHREIBUNG DER SEMANTISCHEN SCHNITTSTELLE 132 6.3. REALISIERUNG
DER VIRTUELLEN INTEGRATION 133 6.3.1. KOMPATIBILITAETS-CHECKER IN RUBY
134 6.3.2. UEBERPRUEFUNG DER STATISCHEN UND DYNAMISCHEN KOMPATI- BILITAET
135 6.4. REALISIERUNG DES KOMPATIBILITAETSTESTS 138 6.4.1. DAS TESTSYSTEM
MOTEST 138 6.4.2. TESTFALLGENERIERUNG 141 6.5. ZUSAMMENFASSUNG UND
DISKUSSION 141 7. ZUSAMMENFASSUNG UND FAZIT 145 7.1. ZUSAMMENFASSUNG 145
7.2. BEWERTUNG ANHAND DER AUFGABENSTELLUNG 147 7.3 INHALTSVERZEICHNIS
A.1.2. ALGORITHMUS 3 153 A.1.3. ALGORITHMUS 4 154 A.1.4. ALGORITHMEN 6
UND 7 156 A.2. VOLLSTAENDIGE FIBEX-BESCHREIBUNG DER FALLSTUDIE 157
LITERATURVERZEICHNIS 171 ABBILDUNGSVERZEICHNIS 183 TABELLENVERZEICHNIS
185
|
| any_adam_object | 1 |
| author | Bechter, Markus |
| author_facet | Bechter, Markus |
| author_role | aut |
| author_sort | Bechter, Markus |
| author_variant | m b mb |
| building | Verbundindex |
| bvnumber | BV035218932 |
| classification_tum | DAT 260d TEC 035d |
| ctrlnum | (OCoLC)300159069 (DE-599)BVBBV035218932 |
| discipline | Technik 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>01863nam a2200457 c 4500</leader><controlfield tag="001">BV035218932</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20121002 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">081217s2008 xx d||| m||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783868440911</subfield><subfield code="9">978-3-86844-091-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)300159069</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035218932</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">ger</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="084" ind1=" " ind2=" "><subfield code="a">DAT 260d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 035d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bechter, Markus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Kompatibilitätsabsicherung verteilter eingebetteter Systeme in der Mechatronik</subfield><subfield code="c">Markus Bechter</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">Sierke</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 188 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">Informationstechnik im Maschinenwesen</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: München, Techn. Univ., Diss., 2008</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Eingebettetes System - Mechatronik - Schnittstelle - Kompatibilität</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mechatronik</subfield><subfield code="0">(DE-588)4238812-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kompatibilität</subfield><subfield code="0">(DE-588)4221530-4</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">Schnittstelle</subfield><subfield code="0">(DE-588)4053059-0</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">Mechatronik</subfield><subfield code="0">(DE-588)4238812-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Schnittstelle</subfield><subfield code="0">(DE-588)4053059-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Kompatibilität</subfield><subfield code="0">(DE-588)4221530-4</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=017025040&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-017025040</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV035218932 |
| illustrated | Illustrated |
| indexdate | 2024-12-23T21:23:16Z |
| institution | BVB |
| isbn | 9783868440911 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017025040 |
| oclc_num | 300159069 |
| 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, 188 S. graph. Darst. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Sierke |
| record_format | marc |
| series2 | Informationstechnik im Maschinenwesen |
| spellingShingle | Bechter, Markus Kompatibilitätsabsicherung verteilter eingebetteter Systeme in der Mechatronik Eingebettetes System - Mechatronik - Schnittstelle - Kompatibilität Mechatronik (DE-588)4238812-0 gnd Kompatibilität (DE-588)4221530-4 gnd Eingebettetes System (DE-588)4396978-1 gnd Schnittstelle (DE-588)4053059-0 gnd |
| subject_GND | (DE-588)4238812-0 (DE-588)4221530-4 (DE-588)4396978-1 (DE-588)4053059-0 (DE-588)4113937-9 |
| title | Kompatibilitätsabsicherung verteilter eingebetteter Systeme in der Mechatronik |
| title_auth | Kompatibilitätsabsicherung verteilter eingebetteter Systeme in der Mechatronik |
| title_exact_search | Kompatibilitätsabsicherung verteilter eingebetteter Systeme in der Mechatronik |
| title_full | Kompatibilitätsabsicherung verteilter eingebetteter Systeme in der Mechatronik Markus Bechter |
| title_fullStr | Kompatibilitätsabsicherung verteilter eingebetteter Systeme in der Mechatronik Markus Bechter |
| title_full_unstemmed | Kompatibilitätsabsicherung verteilter eingebetteter Systeme in der Mechatronik Markus Bechter |
| title_short | Kompatibilitätsabsicherung verteilter eingebetteter Systeme in der Mechatronik |
| title_sort | kompatibilitatsabsicherung verteilter eingebetteter systeme in der mechatronik |
| topic | Eingebettetes System - Mechatronik - Schnittstelle - Kompatibilität Mechatronik (DE-588)4238812-0 gnd Kompatibilität (DE-588)4221530-4 gnd Eingebettetes System (DE-588)4396978-1 gnd Schnittstelle (DE-588)4053059-0 gnd |
| topic_facet | Eingebettetes System - Mechatronik - Schnittstelle - Kompatibilität Mechatronik Kompatibilität Eingebettetes System Schnittstelle Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017025040&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT bechtermarkus kompatibilitatsabsicherungverteiltereingebettetersystemeindermechatronik |