Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Deutsch |
| Veröffentlicht: |
Düsseldorf
VDI-Verl.
1994
|
| Ausgabe: | Als Ms. gedr. |
| Schriftenreihe: | Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10]
311 |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006587189&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Beschreibung: | Zugl.: Karlsruhe, Diss., 1994 |
| Umfang: | IX, 166 S. graph. Darst. |
| ISBN: | 3183311100 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009941927 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 941209s1994 xx d||| mm|| 00||| gerod | ||
| 016 | 7 | |a 942622448 |2 DE-101 | |
| 020 | |a 3183311100 |9 3-18-331110-0 | ||
| 035 | |a (OCoLC)35531586 | ||
| 035 | |a (DE-599)BVBBV009941927 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-210 |a DE-83 | ||
| 084 | |a DAT 187d |2 stub | ||
| 084 | |a DAT 188d |2 stub | ||
| 084 | |a DAT 252d |2 stub | ||
| 100 | 1 | |a Qian, Yi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen |c Yi Qian |
| 250 | |a Als Ms. gedr. | ||
| 264 | 1 | |a Düsseldorf |b VDI-Verl. |c 1994 | |
| 300 | |a IX, 166 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10] |v 311 | |
| 500 | |a Zugl.: Karlsruhe, Diss., 1994 | ||
| 650 | 0 | 7 | |a Referenzmodell |0 (DE-588)4130350-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Bus |g Informatik |0 (DE-588)4122982-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallele Schnittstelle |0 (DE-588)4294163-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Bus |g Informatik |0 (DE-588)4122982-4 |D s |
| 689 | 0 | 1 | |a Parallele Schnittstelle |0 (DE-588)4294163-5 |D s |
| 689 | 0 | 2 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 0 | 3 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |D s |
| 689 | 0 | 4 | |a Referenzmodell |0 (DE-588)4130350-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 810 | 2 | |a 10] |t Verein Deutscher Ingenieure: [Fortschrittberichte VDI |v 311 |w (DE-604)BV000897204 |9 311 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006587189&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006587189 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0024 65 B 276-10,311 |
|---|---|
| DE-BY-TUM_katkey | 641767 |
| DE-BY-TUM_location | Mag |
| DE-BY-TUM_media_number | 040001083645 |
| _version_ | 1821938158150877184 |
| adam_text | Titel: Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen
Autor: Qian, Li
Jahr: 1994
V Inhaltsverzeichnis Symbole und Abkürzungen VIII 1. Einleitung 1 1.1. Offene parallele Busschnittstellen 1 1.2. Standardisierung und Qualitätssicherung 2 1.3. Motivation 3 1.4. Gliederung der Arbeit 5 2. Aufgabenstellung 6 2.1. Parallele Busse und Busschnittstellen 6 2.1.1. Parallele Busse 6 2.1.2. Parallele Busschnittstellen 8 2.1.3. Busleitungen 10 2.1.4. Busmodule 11 2.1.5. Busfunktionen 13 2.2. Referenzimplementierung 18 2.2.1. Offene Busse 19 2.2.2. Konformitätstest 20 2.2.3. Kalibrierung und Referenzimplementierung 22 2.2.4. Anforderungen 24 2.3. Aufgabenstellung 27 2.3.1. Analyse der Anforderungen 28 2.3.2. Zielsetzung 29 2.3.3. Vorgehensweise 30 3. Modellierung des parallelen Busses 32 3.1. Zielsetzung der Modellierung 32 3.1.1. Systemstruktur 33 3.1.2. Hardwarerealisierung 34 3.1.3. Umsetzung der Spezifikation 35 3.1.4. Formale Spezifikation 36 3.1.5. Notwendigkeit und Kriterien des Modellaufbaus 37 3.2. Funktionelle Busaktivitäten 40 3.2.1. Zusammenfassung der Begriffe 40 3.2.2. Zyklentypen 43
VI 3.2.3. Zyklenparameter für Fähigkeiten und Status 46 3.3. Elementare Busaktivitäten 50 3.3.1. Einseitige Busaktivitäten 51 3.3.2. Interaktive Busaktivitäten 51 3.3.3. Elementare Busaktivitäten 52 3.4. Modell (des parallelen Busses 54 3.4.1. Struktur und Abstrahierung 55 3.4.2. Modell des Buszyklus 57 3.4.3. Eigenschaften des Modells 59 3.5. Zusammenfassung 67 4. Implementierung des Buszyklus 68 4.1. Zyklenzustand 69 4.1.1. Definition des Zyklenzustands 69 4.1.2. Anfangs- und Endzustände 71 4.2. Übergang der Zyklenzustände 74 4.2.1. Einzelne Überführung 74 4.2.2. Unabhängigkeit der Ereignisse 77 4.2.3. Allgemeine Überführung 78 4.2.4. Freiheit der Überführungsreihenfolge 79 4.3. Implementierung des Buszyklus 82 4.3.1. Überführbarkeit der Zyklenzustände 83 4.3.2. Implementierung 85 4.3.3. Vollständigkeit der Elemente 87 4.3.4. Implementierungsalgorithmus 91 4.4. Weitere Eigenschaften 92 4.4.1. Kern der Implementierung 92 4.4.2. Länge der Implementierung 96 4.5. Zusammenfassung 99 5. Implementierung des Modulzyklus 100 5.1. Modulzyklus 101 5.1.1. Definition des Modulzyklus 101 5.1.2. Steuerbedingungen 104 5.1.3. Vereinbarung der Symbole 108 5.2. Eingabezustand 109 5.2.1. Definition des Eingabezustands 110 5.2.2. Wirkungen eines Eingabezustands 112 5.3. Zeitverzögerung 114 5.3.1. Verzögerungsstatus 114 5.3.2. Implementierungsalgorithmus 115 5.3.3. Konsistenzbeweis 117 5.4. Verzweigung der Zyklensequenz 119 5.4.1. Verzweigungsidentifikation 120 5.4.2. Hauptimplementierung 122
VII 5.4.3. Implementierungsalgorithmus 123 5.5. Zusammenfassung 125 6. Realisierung 128 6.1. Formale Darstellung der Spezifikationen 128 6.1.1. Formen der Busspezifikationen 130 6.1.2. Graphische Darstellung 132 6.1.3. Beispiel 137 6.1.4. Realisierungsumgebung 139 6.2. Umsetzungsprogramm 140 6.2.1. Entnahme der Spezifikationsdaten 141 6.2.2. Normalisierung der Netzwerktabelle 146 6.2.3. Verwendung von Imp. 5.03 148 6.2.4. Ausgabeformat 151 6.2.5. Realisierungsumgebung 152 6.3. Hardwarerealisierung 153 6.3.1. Hardwarestruktur 153 6.3.2. Realisierungsaspekte 154 6.4. Zusammenfassung 155 7 Zusammenfassung und Ausblick 156 Anhang 1. Literaturverzeichnis 158 Anhang 2. Mathematische Begriffe 164
|
| any_adam_object | 1 |
| author | Qian, Yi |
| author_facet | Qian, Yi |
| author_role | aut |
| author_sort | Qian, Yi |
| author_variant | y q yq |
| building | Verbundindex |
| bvnumber | BV009941927 |
| classification_tum | DAT 187d DAT 188d DAT 252d |
| ctrlnum | (OCoLC)35531586 (DE-599)BVBBV009941927 |
| discipline | Informatik |
| edition | Als Ms. gedr. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02143nam a2200505 cb4500</leader><controlfield tag="001">BV009941927</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">941209s1994 xx d||| mm|| 00||| gerod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">942622448</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3183311100</subfield><subfield code="9">3-18-331110-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35531586</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009941927</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 187d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 188d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 252d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Qian, Yi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen</subfield><subfield code="c">Yi Qian</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Als Ms. gedr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Düsseldorf</subfield><subfield code="b">VDI-Verl.</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 166 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="1" ind2=" "><subfield code="a">Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10]</subfield><subfield code="v">311</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Karlsruhe, Diss., 1994</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Referenzmodell</subfield><subfield code="0">(DE-588)4130350-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Bus</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4122982-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallele Schnittstelle</subfield><subfield code="0">(DE-588)4294163-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">Bus</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4122982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Parallele Schnittstelle</subfield><subfield code="0">(DE-588)4294163-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Referenzmodell</subfield><subfield code="0">(DE-588)4130350-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">10]</subfield><subfield code="t">Verein Deutscher Ingenieure: [Fortschrittberichte VDI</subfield><subfield code="v">311</subfield><subfield code="w">(DE-604)BV000897204</subfield><subfield code="9">311</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=006587189&sequence=000002&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-006587189</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV009941927 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T09:44:54Z |
| institution | BVB |
| isbn | 3183311100 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006587189 |
| oclc_num | 35531586 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-210 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-210 DE-83 |
| physical | IX, 166 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | VDI-Verl. |
| record_format | marc |
| series2 | Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10] |
| spellingShingle | Qian, Yi Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen Referenzmodell (DE-588)4130350-7 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Bus Informatik (DE-588)4122982-4 gnd Implementierung Informatik (DE-588)4026663-1 gnd Parallele Schnittstelle (DE-588)4294163-5 gnd |
| subject_GND | (DE-588)4130350-7 (DE-588)4299725-2 (DE-588)4122982-4 (DE-588)4026663-1 (DE-588)4294163-5 (DE-588)4113937-9 |
| title | Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen |
| title_auth | Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen |
| title_exact_search | Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen |
| title_full | Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen Yi Qian |
| title_fullStr | Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen Yi Qian |
| title_full_unstemmed | Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen Yi Qian |
| title_short | Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen |
| title_sort | methode der referenzimplementierung von spezifikationen paralleler busschnittstellen |
| topic | Referenzmodell (DE-588)4130350-7 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Bus Informatik (DE-588)4122982-4 gnd Implementierung Informatik (DE-588)4026663-1 gnd Parallele Schnittstelle (DE-588)4294163-5 gnd |
| topic_facet | Referenzmodell Formale Spezifikationstechnik Bus Informatik Implementierung Informatik Parallele Schnittstelle Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006587189&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000897204 |
| work_keys_str_mv | AT qianyi methodederreferenzimplementierungvonspezifikationenparallelerbusschnittstellen |
Inhaltsverzeichnis
Paper/Kapitel scannen lassen
Paper/Kapitel scannen lassen
Bibliotheksmagazin
| Signatur: |
0024 65 B 276-10,311
Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |