Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
Aachen
Shaker
1995
|
| Schriftenreihe: | Berichte aus der Informatik
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 139 S. graph. Darst. |
| ISBN: | 382651033X |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV024801571 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 100417s1995 d||| m||| 00||| ger d | ||
| 020 | |a 382651033X |9 3-8265-1033-X | ||
| 035 | |a (OCoLC)915716988 | ||
| 035 | |a (DE-599)BVBBV024801571 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-11 | ||
| 084 | |a ST 273 |0 (DE-625)143640: |2 rvk | ||
| 100 | 1 | |a Knorr, Roger |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen |c Roger Knorr |
| 264 | 1 | |a Aachen |b Shaker |c 1995 | |
| 300 | |a 139 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Berichte aus der Informatik | |
| 502 | |a Zugl.: Ilmenau, Techn. Univ., Diss., 1994 | ||
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 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=019482216&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-019482216 | ||
Datensatz im Suchindex
| _version_ | 1804141792811024384 |
|---|---|
| adam_text | BERICHTE AUS DER INFORMATIK ROGER KNORR SPEZIFIKATION, VERIFIKATION,
LEISTUNGSBEWERTUNG UND IMPLEMENTIERUNG VON KOMMUNIKATIONSPROTOKOLLEN MIT
HIERARCHISCHEN HIGH-LEVEL-NETZEN VERLAG SHAKER AACHEN 1995
INHALTSVERZEICHNIS VORWORT 1. EINLEITUNG 1 2. ENTWICKLUNG VON
KOMMUNIKATIONSSOFTWARE 8 2.1. DATENPROTOKOLLE - ARCHITEKTUR UND
EIGENSCHAFTEN 8 2.2. ENTWICKLUNGSPHASEN VON KOMMUNIKATIONSPROTOKOLLEN 10
2.3. KLASSIFIKATION UND BEWERTUNGSKRITERIEN VON
PROTOKOLLENTWICKLUNGSMETHODEN 13 2.4. BEWERTUNG EXISTIERENDER
BESCHREIBUNGSTECHNIKEN UND TOOLS 18 2.5. AUSWAHL DES VERFAHRENS UND
ABGRENZUNG ZU EXISTIERENDEN METHODEN 22 3. HCSDPNS 25 3.1. DEFINITION
DES NETZES 25 3.2. SCHALTREGEL IN HCSDPNS 27 3.2.1. LOKALE
FARBKONVERTIERUNGSVARIABLEN AN TRANSITIONEN 27 3.2.2. KANTEN MIT
SPEZIELLER SEMANTIK 28 3.2.3. EINFLUSS DES SCHALTZEITPUNKTES T, AUF DIE
SCHALTREGEL 32 3.2.4. EINFLUSS DES SCHALTZEITVERBRAUCHS DT AUF DIE
SCHALTREGEL 33 3.2.5. EINFLUSS DER PROGRAMMIERSPRACHLICHEN ERWEITERUNGEN
AUF DIE SCHALTREGEL 34 3.2.6. EINFLUSS DER EXPONENTIELLEN FEUERUNGSRATE
AUF DAS KONFLIKTVERHALTEN VON TRANSITIONEN 35 3.2.7. EINFLUSS DES RANDOM
SWITCH AUF DIE SCHALTREGEL 36 3.3. FARBMENGE UND OPERATIONEN AUF EINE
FARBMENGE 37 3.3.1. DEKLARATION VON FARBMENGENVARIABLEN 39 3.3.2.
OPERATIONEN AUF FARBMENGEN 40 3.3.3. FILTEROPERATIONEN AUF
VERBUNDFARBTYPEN 41 3.4. HIERARCHISCHE NETZSTRUKTUREN 42 3.4.1.
DEFINITION VON UNTERNETZSTRUKTUREN IN HCSDPNS 43 3.4.2. DEFINITION DER
VERFEINERUNG VON HCSDPNS 44 4. SPEZIFIKATION MIT HCSDPN 48 4.1.
SPEZIFIKATIONSMETHODIK 48 4.2. KOMMUNIKATIONS- UND STEUERFLUSSSTRUKTUREN
MIT HCSDPNS 50 4.3. DIENSTSPEZIFKATION 53 4.3.1. PROTOKOLLMASCHINE 54
4.3.2. SPEZIFIKATION EINES DIENSTES 56 4.3.3. SPEZIFIKATION VON
DIENSTPRIMITIVEN 57 4.3.4. SPEZIFIKATION VON SCHNITTSTELLEN 58 4.4.
PROTOKOLLSPEZIFIKATION 62 4.4.1. SPEZIFIKATION VON DATENOBJEKTEN 63
4.4.2. SPEZIFIKATION VON ZEITBEDINGUNGEN 65 4.4.3. SPEZIFIKATION VON
FEHLERERKENNUNG UND -BEHANDLUNG 67 4.5. IMPLEMENTIERUNGSSPEZIFIKATION 68
5. SIMULATION UND VERIFIKATION VON HCSDPN-SPEZIFIKATIONEN 72 5.1.
SIMULATION VON HCSDPN-SPEZIFIKATIONEN 72 5.2. ANALYSE VON HCSDPN 73
5.2.1. ANALYSEMETHODEN 73 5.2.2. EIGENSCHAFTEN VON HCSDPNS 74 5.2.3.
ENTFALTUNG EINES HCSDPNS 77 5.2.4. FALTUNG ZU EINEM HCSDPN 79 5.2.5.
HIERARCHISCHE ANALYSE IN HCSDPN 80 5.3. ALLGEMEINE UND SPEZIELLE ANALYSE
84 6. LEISTUNGSBEWERTUNG VON HCSDPN-BASIERTEN PROTOKOLLMODELLEN 86 6.1.
METHODEN DER LEISTUNGSBEWERTUNG 86 6.2. ZIEL DER ANALYTISCHEN
LEISTUNGSBEWERTUNG 87 6.3. EIN ANALYSEVERFAHREN AUF BASIS VON
MARKOV-KETTEN 88 6.3.1. ASYNCHRONE KOMMUNIKATION UND STOCHASTISCHE
ANALYSE 88 6.3.2. GRUNDBEGRIFF DER MARKOV-THEORIE 88 6.3.3. HCSDPN UND
MARKOV-KETTEN 90 6.3.4. VORAUSSETZUNGEN FUER DAS ANALYSEVERFAHREN 92
6.3.5. BEREITSTELLEN DER GENERATORMATRIX 93 6.3.6. ITERATIV NUMERISCHE
METHODE ZUR BESTIMMUNG DER STATIONAEREN ZU- STANDSWAHRSCHEINLICHKEIT 95
6.3.7. WAHRSCHEINLICHKEITEN FUER EINE KANALBELEGUNG 97 6.3.8. DURCHSATZ
98 6.3.9 SYSTEMRUECKKEHRZEIT 99 6.4. BEISPIEL 99 7. WORST-CASE- UND
PROTOKOLLPFAD-ANALYSE 104 7.1. LEISTUNGSMERKMALE EINER WEG- UND
ZEITANALYSE 104 7.2. EIN ANALYSEVERFAHREN AUF BASIS GRAPHENTHEORETISCHER
METHODEN 105 7.2.1. ZEITBEWERTUNG MIT DEM PAN-SYSTEM 106 7.2.2.
VORAUSSETZUNGEN FUER DAS ANALYSEVERFAHREN 107 7.2.3. EINFLUSS DER
ZEITATTRIBUTIERUNG AUF DIE BEREITSTELLUNG DES GEWICHTETEN GRAPHEN 109
7.2.3.1. TRANSITIONSERWEITERUNG MIT DEM SCHALTZEITVERBRAUCH DT 109
7.2.3.2. TRANSITIONSERWEITERUNG MIT DEM SCHALTZEITPUNKT T, . . . . 111
7.2.3.3. TRANSITIONSERWEITERUNG MIT DEM SCHALTZEITVERBRAUCH DT UND
SCHALTZEITVERBRAUCH ^ 113 7.3. SUCHALGORITHMEN FUER DIE WORST-CASE- UND
PROTOKOLLPFADANALYSE 113 7.4. BEISPIEL 116 8. UEBERSETZUNG EINER
HCSDPN-SPEZIFIKATION IN DIE PROGRAMMIERSPRACHE C 119 8.1. KONZEPTION DER
UEBERSETZUNG 119 8.2. ANALYSE DER HCSDPN-STRUKTUR 121 8.2.1. LEXIKALISCHE
ANALYSE MIT MORPHEMERKENNERN 122 8.2.2. SYNTAXANALYSE UND
LISTENDARSTELLUNG VON GRAPHEN 124 8.2.3. INTERNE NETZSTRUKTUR 125 8.2.4.
VOLLSTAENDIGE PHYSISCHE ADRESSIERUNG DURCH ENTFALTUNG 128 8.3. SYNTHESE
DES C-PROGAMMS 129 8.3.1. STRUKTUR DES C-PROGRAMMS 130 8.3.2.
TRANSITIONSFUNKTION 132 8.3.3. DIE MAIN -PROZEDUR 134 9.
ZUSAMMENFASSUNG UND AUSBLICK 137 ABKUERZUNGSVERZEICHNIS
ABBILDUNGSVERZEICHNIS LITERATURVERZEICHNIS ANLAGE: A.
ENTWICKLUNGSUMGEBUNG PROSAP A.L. SYSTEMUEBERSICHT A-L A.2. ERSTELLEN VON
SPEZIFIKATIONEN A-2 A.3. SIMULATOR A-5 A.4. INTERFACE ZUM SIMULATOR UND
ZU PAN A-7 A.5. STOCHASTISCHE LEISTUNGSBEWERTUNG MIT MKA A-8 A.6.
ECHTZEITANALYSE MIT WCA A-8 A.7. C-CODEERZEUGUNG MIT CCC A-LL B.
SPEZIFIKATIONSBEISPIEL: PROFIBUS - SCHICHT 2: DIENST SEND DATA WITH
ACKNOWLEDGE B-L
|
| any_adam_object | 1 |
| author | Knorr, Roger |
| author_facet | Knorr, Roger |
| author_role | aut |
| author_sort | Knorr, Roger |
| author_variant | r k rk |
| building | Verbundindex |
| bvnumber | BV024801571 |
| classification_rvk | ST 273 |
| ctrlnum | (OCoLC)915716988 (DE-599)BVBBV024801571 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01241nam a2200313 c 4500</leader><controlfield tag="001">BV024801571</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100417s1995 d||| m||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">382651033X</subfield><subfield code="9">3-8265-1033-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915716988</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024801571</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-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 273</subfield><subfield code="0">(DE-625)143640:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Knorr, Roger</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen</subfield><subfield code="c">Roger Knorr</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Aachen</subfield><subfield code="b">Shaker</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">139 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">Berichte aus der Informatik</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Ilmenau, Techn. Univ., Diss., 1994</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="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=019482216&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-019482216</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV024801571 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:21:30Z |
| institution | BVB |
| isbn | 382651033X |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-019482216 |
| oclc_num | 915716988 |
| open_access_boolean | |
| owner | DE-11 |
| owner_facet | DE-11 |
| physical | 139 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Shaker |
| record_format | marc |
| series2 | Berichte aus der Informatik |
| spelling | Knorr, Roger Verfasser aut Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen Roger Knorr Aachen Shaker 1995 139 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Berichte aus der Informatik Zugl.: Ilmenau, Techn. Univ., Diss., 1994 (DE-588)4113937-9 Hochschulschrift gnd-content GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019482216&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Knorr, Roger Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen |
| subject_GND | (DE-588)4113937-9 |
| title | Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen |
| title_auth | Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen |
| title_exact_search | Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen |
| title_full | Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen Roger Knorr |
| title_fullStr | Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen Roger Knorr |
| title_full_unstemmed | Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen Roger Knorr |
| title_short | Spezifikation, Verifikation, Leistungsbewertung und Implementierung von Kommunikationsprotokollen mit hierarchischen High-Level-Netzen |
| title_sort | spezifikation verifikation leistungsbewertung und implementierung von kommunikationsprotokollen mit hierarchischen high level netzen |
| topic_facet | Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019482216&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT knorrroger spezifikationverifikationleistungsbewertungundimplementierungvonkommunikationsprotokollenmithierarchischenhighlevelnetzen |