Komponierbarkeit eingebetteter Echtzeitsysteme:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Abschlussarbeit Buch |
Sprache: | German English |
Veröffentlicht: |
Göttingen
Cuvillier
2006
|
Ausgabe: | 1. Aufl. |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Zsfassung in engl. Sprache |
Beschreibung: | IX, 230 S. graph. Darst. 21 cm |
ISBN: | 3865377785 |
Internformat
MARC
LEADER | 00000nam a2200000zc 4500 | ||
---|---|---|---|
001 | BV023799439 | ||
003 | DE-604 | ||
005 | 20061204000000.0 | ||
007 | t | ||
008 | 060628s2006 d||| m||| 00||| ger d | ||
020 | |a 3865377785 |9 3-86537-778-5 | ||
035 | |a (OCoLC)179852737 | ||
035 | |a (DE-599)BVBBV023799439 | ||
040 | |a DE-604 |b ger | ||
041 | 0 | |a ger |a eng | |
049 | |a DE-634 |a DE-11 | ||
084 | |a ST 134 |0 (DE-625)143590: |2 rvk | ||
084 | |a ST 153 |0 (DE-625)143597: |2 rvk | ||
084 | |a ST 234 |0 (DE-625)143621: |2 rvk | ||
100 | 1 | |a Richling, Jan |d 1973- |e Verfasser |0 (DE-588)120227800 |4 aut | |
245 | 1 | 0 | |a Komponierbarkeit eingebetteter Echtzeitsysteme |c von Jan Richling |
250 | |a 1. Aufl. | ||
264 | 1 | |a Göttingen |b Cuvillier |c 2006 | |
300 | |a IX, 230 S. |b graph. Darst. |c 21 cm | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
500 | |a Zsfassung in engl. Sprache | ||
502 | |a Zugl.: Berlin, Freie Univ., Diss., 2006 | ||
650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |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 Echtzeitsystem |0 (DE-588)4131397-5 |D s |
689 | 0 | |5 DE-604 | |
856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017441641&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-017441641 |
Datensatz im Suchindex
_version_ | 1804138996921532416 |
---|---|
adam_text | INHALTSVERZEICHNIS 1 EINLEITUNG 1.1 MOTIVATION 1.2 PROBLEMSTELLUNG 2 9
1.3 LOESUNGSWEG 2 VERWANDTE ARBEITEN 5 2.1 KOMPONENLENSYSTEME - 2.1.1
DER WEG ZU KOMPONENTENSYSTEMEN 5 2.1.2 BEISPIELE FUER KOMPONENTENSYSTEME
6 2.1.3 EIGENSCHAFTEN VON KOMPONENTENSYSTEMEN 13 2.2
KOMPONENTENMODELLE-EINE KLASSIFIKATION 15 2.2.1 ASPEKTE ZUR
KLASSIFIKATION 16 2.2.2 BEISPIEL EINER KLASSIFIKATION 16 2.3
KOMPONIERBARKEIT 21 2.3.1 VORBETRACHTUNGEN 21 2.3.2 VERWANDTE ARBEITEN
22 3 KOMPONIERBARKEIT - BEGRIFFSBILDUNG UND DEFINITION 29 3.1 EINFUEHRUNG
UND ZIELSTELLUNG 29 3.1.1 ZIELDOMAENE DER DEFINITION 30 3.1.2 ZUORDNUNG
VON KOMPONIERBARKEIT 30 3.1.3 EIGENSCHAFTEN VON KOMPONENTEN UND SYSTEMEN
31 3.1.4 VERAENDERBARKEIT VON KOMPONENTEN 31 3.2 INFORMALE BETRACHTUNGEN
32 3.2.1 BEGRIFFE 32 3.2.2 EIGENSCHAFTEN VON ELEMENTEN 33 3.2.3
KOMPONIERBARKEIT 33 3.3 FORMALE DEFINITION 34 3.3.1 GRUNDLEGENDE
BEGRIFFE 34 3.3.2 EIGENSCHAFTEN 37 3.3.3 KOMPONIERBARKEIT 39 3.4
ANWENDUNG AUF UEBLICHE KOMPONENTENMODELLE 40 3.5 VORTEILE DES GEWAEHLTEN
KOMPONIERBARKEITSKONZEPTES 43 3.5.1 THEORETISCHE ASPEKTE 43 3.5.2
PRAKTISCHE ASPEKTE 44 3.6 NACHTEILE DES GEWAEHLTEN
KOMPONIERBARKEITSKONZEPTES 44 V VI INHALTSVERZEICHNIS 4 KOMPONIERBARKEIT
UND ECHTZEITSYSTEME 45 4.1 ECHTZEITSYSTEME 45 4.1.1 DEFINITIONEN UND
BEGRIFFE 45 4.1.2 ECHTZEITRECHNEN 48 4.1.3 ECHTZEITKOMMUNIKATION 52 4.2
ANFORDERUNGEN 54 4.2.1 KOMPONIERBARKEIT IN BEZUG AUF DAS ZEITLICHE
VERHALTEN 54 4.2.2 ANFORDERUNGEN AN EINE KOMPONIERBARE ARCHITEKTUR FUER
EINGEBETTETE ECHT- ZEITSYSTEME 55 5 GRUNDIDEE DER ARCHITEKTUR MSS 57 5.1
WEITERE ANFORDERUNGEN AN DIE ARCHITEKTUR 57 5.1.1 EINSCHRAENKUNG AUF EINE
ABGEGRENZTE PROBLEMDOMAENE 57 5.1.2 ORIENTIERUNG AN EXISTIERENDEN
SYSTEMEN 59 5.1.3 VERALLGEMEINERUNGEN ODER SPEZIALISIERUNG 60 5.1.4
UMFANG DER LOESUNG 61 5.2 VORUEBERLEGUNGEN 64 5.2.1 ZEITGESTEUERT UND
EREIGNISGESTEUERT: VOR-UND NACHTEILE 64 5.2.2 MODELL ZUR BESCHREIBUNG
DES ZEITLICHES VERHALTENS 65 5.2.3 NACHRICHTEN 70 5.3 DER ANSATZ DES
MESSAGE SCHEDULED SYSTEM 71 5.3.1 KOMPONENTEN IN MSS 72 5.3.2
KOMPOSITION IN DER MSS ARCHITEKTUR 73 5.3.3 ABBILDUNG VON
KOMPOSITIONSENTSCHEIDUNGEN AUF SCHEDULING 74 6 BESCHREIBUNG UND DETAILS
VON MSS 79 6.1 VORAUSSETZUNGEN 79 6.1.1 KOMMUNIKATIONSSYSTEM 79 6.1.2
KNOTEN 81 6.2 AUFBAU EINES SYSTEMS IN MSS 82 6.2.1 NACHRICHT 82 6.2.2
EXTERNE EREIGNISSE 83 6.2.3 TASK 84 6.2.4 KNOTEN 85 6.2.5 SYSTEM 85 6.3
FUNKTION EINES SYSTEMS DER ARCHITEKTUR MSS 85 6.3.1 ABARBEITUNG VON
PROGRAMMCODE: DIE ERSTE EBENE DES SCHEDULINGS . . . 86 6.3.2 AUSTAUSCH
VON NACHRICHTEN: DIE ZWEITE EBENE DES SCHEDULINGS . . . . 88 6.3.3
EXTERNE EREIGNISSE 93 6.3.4 SCHEDULING DER INANSPRUCHNAHME VON
TASKEINGAENGEN: DIE DRITTE EBENE DES SCHEDULINGS 93 6.4 BEDINGUNGEN FUER
EIN GUELTIGES SYSTEM 95 6.4.1 LOKALES TASKSCHEDULING 95 6.4.2 GLOBALES
NACHRICHTENSCHEDULING 97 6.4.3 SCHEDULING HINSICHTLICH DER
INANSPRUCHNAHME VON TASKEINGAENGEN ... 99 6.5 GARANTIEN EINES GUELTIGEN
SYSTEMS DER MSS-ARCHITEKTUR 101 6.5.1 ABARBEITUNG VON TASKS 101 INHALTS
VERZEICHNIS VII 6.5.2 UEBERTRAGUNG VON NACHRICHTEN 101 6.5.3 ZEITLICHES
ENDE-ZU-ENDE-VERHALTEN 102 6.6 BEISPIEL EINES SYSTEMS DER ARCHITEKTUR
MSS 105 6.6.1 SYSTEMBESCHREIBUNG 106 6.6.2 GUELTIGKEIT DES
BEISPIELSYSTEMS 107 6.6.3 GARANTIEN DES BEISPIELSYSTEMS 109 6.7
SYSTEMKOMPOSITION IN MSS 110 6.7.1 IDEE DER KOMPOSITION IN MSS 110 6.7.2
ALGORITHMUS FUER DIE KOMPOSITIONSENTSCHEIDUNG 110 6.7.3 DEKOMPOSITION 113
6.7.4 GARANTIEN UND KOMPOSITION/DEKOMPOSITION 115 6.7.5 DURCHFUEHRUNG VON
KOMPOSITION UND DEKOMPOSITION 116 6.8 BEISPIEL ZUR SYSTEMKOMPOSITION 122
6.8.1 ZIEL 122 6.8.2 DURCH DIE KOMPOSITION HINZUKOMMENDE PARAMETER 123
6.8.3 KOMPONIERBARKEITSENTSCHEIDUNG 124 6.8.4 EIGENSCHAFTEN UND
GARANTIEN DES KOMPONIERTEN SYSTEMS 126 7 FORMALE SPEZIFIKATION 127 7.1
BESCHRAENKUNGEN DER SPEZIFIKATION 127 7.1.1 ZU SPEZIFIZIERENDE ASPEKTE
VON MSS 127 7.1.2 NICHT ZU SPEZIFIZIERENDE ASPEKTE VON MSS 128 7.2
AUSWAHL EINER SPEZIFIKATIONSTECHNIK 128 7.2.1 ZU SPEZIFIZIERENDE
EIGENSCHAFTEN 128 7.2.2 WEITERE ANFORDERUNGEN AN DIE SPEZIFIKATION VON
MSS 129 7.2.3 AUSWAHL DER SPEZIFIKATIONSTECHNIK 131 7.3
SPEZIFIKATIONSTECHNIK ZEITDAUERNETZE MIT PRIORITAETEN 137 7.3.1
STRUKTURELLE BESCHREIBUNG 137 7.3.2 DYNAMIK 139 7.4 KOMPONIERBARE
SPEZIFIKATION VON MSS MIT ZEITDAUERNETZEN 143 7.4.1 IDEE 143 7.4.2
ELEMENTE DER SPEZIFIKATION 144 7.4.3 KOMPOSITIONSREGELN FUER DIE
ARCHITEKTUR DER MSS-SPEZIFIKATIONEN . . . 150 7.5 MODELLIERUNG DER
UMGEBUNG 153 7.6 BEDINGUNGEN UND GARANTIEN 154 7.6.1 BEDINGUNGEN VON MSS
154 7.6.2 GARANTIEN VON MSS 154 8 VERIFIKATION 159 8.1 AUTOMATISCHER
BEWEIS FUER KONKRETE MSS-INSTANZEN 159 8.2 ALLGEMEINER BEWEIS FUER DIE
ARCHITEKTUR MSS 161 8.2.1 BEWEIS DER GARANTIEN FUER DIE TASKABARBEITUNG
161 8.2.2 BEWEIS DER GARANTIEN FUER DIE NACHRICHTENUEBERTRAGUNG 169 8.2.3
BEWEIS DER GARANTIEN FUER ENDE-ZU-ENDE-EREIGNISKETTEN 170 V M
INHALTSVERZEICHNIS 9 IMPLEMENTATION 170 9.1 PROBLEMSTELLUNG J 7 O_ 9.2
ANSATZ ZUR IMPLEMENTATION JGJ 9.2.1 GRUNDLAGEN JG] 9.2.2 REALISIERUNG
JG2 9.3 IMPLEMENTATIONSNAHE SIMULATION JG4 9.3.1 ANSATZ IG 5 9.3.2
IMPLEMENTATION DER SIMULATION IG5 9.4 BEISPTELIMPLEMENTATION IG5 9.4.1
HARDWARE JGG 9.4.2 SOFTWARE JGG 10 VERGLEICH MIT ANDEREN ARCHITEKTUREN
189 10.1 VORBETRACHTUNGEN JGN 10.2 AUSWAHL DER VERGLEICHSKANDIDATEN 190
10.3 VERGLEICH IM 10.3.1 VERGLEICH MIT SPRING 191 10.3.2 VERGLEICH MIT
TTA . . . . . . . . 194 11 VERALLGEMEINERUNG ^9 11.1 BETRACHTUNG EINER
NICHTFUNKTIONALEN EIGENSCHAFT 200 11.1.1 VORGEHEN BEI DER ENTWICKLUNG
EINER KOMPONIERBAREN ARCHITEKTUR AM BEISPIEL VON MSS 200 11.1.2
UNIVERSELL VERWENDBARE ELEMENTE DER ENTWICKLUNG VON MSS 201 11.1.3
PROBLEMSPEZIFISCHE ELEMENTE DER ENTWICKLUNG VON MSS 202 11.1.4
VERWENDBARKEIT VON ERFAHRUNGEN AUS DER ENTWICKLUNG VON MSS: ZU-
SAMMENFASSUNG 202 11.2 BETRACHTUNG MEHRERER NICHTFUNKTIONALER
EIGENSCHAFTEN 203 11.2.1 BEHANDLUNG MEHRERER EIGENSCHAFTEN OHNE
GEGENSEITIGEN EINLLUSS DER GE- WAEHLTEN MITTEL 203 11.2.2 BEHANDLUNG
MEHRERER EIGENSCHAFTEN MIT GEGENSEITIGEN EINFLUSS DER GE- WAEHLTEN MITTEL
204 12 ZUSAMMENFASSUNG 205 12.1 KONZEPT DER KOMPONIERBARKEIT 205 12.2
ARCHITEKTUR MSS 206 13 AUSBLICK 207 13.1 ERWEITERUNGEN VON MSS 207
13.1.1 TASKS UND NACHRICHTEN OHNE HARTE DEADLINES 207 13.1.2 DYNAMISCHES
SCHEDULING 208 13.1.3 WEITERE EIGENSCHAFTEN 209 13.1.4 ERWEITERUNGEN DER
IMPLEMENTATION 213 13.2 KONZEPT DER KOMPONIERBARKEIT 214 13.2.1
ANWENDUNGEN DES KONZEPTES DER KOMPONIERBARKEIT 214 13.2.2 ERWEITERUNGEN
DES KONZEPTES DER KOMPONIERBARKEIT 215
|
any_adam_object | 1 |
author | Richling, Jan 1973- |
author_GND | (DE-588)120227800 |
author_facet | Richling, Jan 1973- |
author_role | aut |
author_sort | Richling, Jan 1973- |
author_variant | j r jr |
building | Verbundindex |
bvnumber | BV023799439 |
classification_rvk | ST 134 ST 153 ST 234 |
ctrlnum | (OCoLC)179852737 (DE-599)BVBBV023799439 |
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>01592nam a2200409zc 4500</leader><controlfield tag="001">BV023799439</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20061204000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060628s2006 d||| m||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3865377785</subfield><subfield code="9">3-86537-778-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)179852737</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023799439</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 153</subfield><subfield code="0">(DE-625)143597:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 234</subfield><subfield code="0">(DE-625)143621:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Richling, Jan</subfield><subfield code="d">1973-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120227800</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Komponierbarkeit eingebetteter Echtzeitsysteme</subfield><subfield code="c">von Jan Richling</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">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 230 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">21 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="500" ind1=" " ind2=" "><subfield code="a">Zsfassung in engl. Sprache</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Berlin, Freie Univ., Diss., 2006</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">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</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">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-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">GBV 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=017441641&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-017441641</subfield></datafield></record></collection> |
genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
genre_facet | Hochschulschrift |
id | DE-604.BV023799439 |
illustrated | Illustrated |
indexdate | 2024-07-09T21:37:04Z |
institution | BVB |
isbn | 3865377785 |
language | German English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017441641 |
oclc_num | 179852737 |
open_access_boolean | |
owner | DE-634 DE-11 |
owner_facet | DE-634 DE-11 |
physical | IX, 230 S. graph. Darst. 21 cm |
publishDate | 2006 |
publishDateSearch | 2006 |
publishDateSort | 2006 |
publisher | Cuvillier |
record_format | marc |
spelling | Richling, Jan 1973- Verfasser (DE-588)120227800 aut Komponierbarkeit eingebetteter Echtzeitsysteme von Jan Richling 1. Aufl. Göttingen Cuvillier 2006 IX, 230 S. graph. Darst. 21 cm txt rdacontent n rdamedia nc rdacarrier Zsfassung in engl. Sprache Zugl.: Berlin, Freie Univ., Diss., 2006 Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Eingebettetes System (DE-588)4396978-1 s Echtzeitsystem (DE-588)4131397-5 s DE-604 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017441641&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Richling, Jan 1973- Komponierbarkeit eingebetteter Echtzeitsysteme Eingebettetes System (DE-588)4396978-1 gnd Echtzeitsystem (DE-588)4131397-5 gnd |
subject_GND | (DE-588)4396978-1 (DE-588)4131397-5 (DE-588)4113937-9 |
title | Komponierbarkeit eingebetteter Echtzeitsysteme |
title_auth | Komponierbarkeit eingebetteter Echtzeitsysteme |
title_exact_search | Komponierbarkeit eingebetteter Echtzeitsysteme |
title_full | Komponierbarkeit eingebetteter Echtzeitsysteme von Jan Richling |
title_fullStr | Komponierbarkeit eingebetteter Echtzeitsysteme von Jan Richling |
title_full_unstemmed | Komponierbarkeit eingebetteter Echtzeitsysteme von Jan Richling |
title_short | Komponierbarkeit eingebetteter Echtzeitsysteme |
title_sort | komponierbarkeit eingebetteter echtzeitsysteme |
topic | Eingebettetes System (DE-588)4396978-1 gnd Echtzeitsystem (DE-588)4131397-5 gnd |
topic_facet | Eingebettetes System Echtzeitsystem Hochschulschrift |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017441641&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT richlingjan komponierbarkeiteingebetteterechtzeitsysteme |