Eine Methode zur Spezifikationserfassung heterogener Systeme:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | German |
| Published: |
Düsseldorf
VDI-Verl.
1999
|
| Edition: | Als Ms. gedr. |
| Series: | Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10]
599 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VII, 163 S. graph. Darst. |
| ISBN: | 3183599104 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012835907 | ||
| 003 | DE-604 | ||
| 005 | 20010424 | ||
| 007 | t | ||
| 008 | 991102s1999 d||| mm|| 00||| gerod | ||
| 016 | 7 | |a 957833393 |2 DE-101 | |
| 020 | |a 3183599104 |9 3-18-359910-4 | ||
| 035 | |a (OCoLC)45449229 | ||
| 035 | |a (DE-599)BVBBV012835907 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-12 |a DE-210 |a DE-634 |a DE-83 | ||
| 084 | |a ST 190 |0 (DE-625)143607: |2 rvk | ||
| 084 | |a DAT 190d |2 stub | ||
| 100 | 1 | |a Barthel, Tom |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Eine Methode zur Spezifikationserfassung heterogener Systeme |c Tom Barthel |
| 250 | |a Als Ms. gedr. | ||
| 264 | 1 | |a Düsseldorf |b VDI-Verl. |c 1999 | |
| 300 | |a VII, 163 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 599 | |
| 502 | |a Zugl.: Chemnitz, Techn. Univ., Diss., 1999 | ||
| 650 | 0 | 7 | |a Spezifikation |0 (DE-588)4139161-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Methode |0 (DE-588)4038971-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Heterogenes System |0 (DE-588)4159737-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Heterogenes System |0 (DE-588)4159737-0 |D s |
| 689 | 0 | 1 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
| 689 | 0 | 2 | |a Methode |0 (DE-588)4038971-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 810 | 2 | |a 10] |t Verein Deutscher Ingenieure: [Fortschrittberichte VDI |v 599 |w (DE-604)BV000897204 |9 599 | |
| 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=008733953&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008733953 | ||
Record in the Search Index
| _version_ | 1804127514804617216 |
|---|---|
| adam_text | FORTSCHRITT-BERICHTE VDI
REIHE 10
INFORMATIK/ DIPL.-ING. TOM BARTHEL,
KOMMUNIKATIONS- CHEMNITZ
TECHNIK
NR. 599 I EINE METHODE ZUR
SPEZIFIKATIONSERFASSUNG
HETEROGENER SYSTEME
V . I . INHALT
INHALT
1 EINLEITUNG 1
1.1 MOTIVATION 1
1.2 UEBERBLICK UEBER DIE ARBEIT 2
1.3 ENTWURF HETEROGENER SYSTEME 3
1.3.1 STRATEGIEN ZUR BEHERRSCHUNG DER KOMPLEXITAET :.. 3
1.3.2 ENTWURFSTAETIGKEITEN UND ENTWURFSPROZESS 6
2 WERKZEUGE UND BESCHREIBUNGSMITTEL IM SYSTEMENTWURF 9
2.1 WERKZEUGE FUER DEN ENTWURF ANALOGER SCHALTUNGEN .9
2.1.1 NUMERISCHE SIMULATOREN 9
2.1.2 WERKZEUGE ZUR SYMBOLISCHEN ANALYSE 11
2.1.3 MODULGENERATOREN 12
2.2 HARDWAREBESCHREIBUNGSSPRACHEN ; 14
2.2.1 ALLGEMEINES 14
2.2.2 ENTWURF DIGITALER SYSTEME MIT VHDL 15
2.2.3 BESCHREIBUNGSMITTEL FUER ANALOGE SCHALTUNGEN 16
2.2.3.1 MAKROMODELLE . 16
2.2.3.2 VERHALTENSMODELLE ,... . ...?..... 18
2.2.3.3 MODELLE FUER NICHTELEKTRISCHE KOMPONENTEN ... . 21
2.2.3.4 ANALOGE ERWEITERUNGEN VON VHDL 24
. 2.3 NICHTFORMALE ENTWURFSDATEN 26
2.3.1 GRAMMATIK 26
2.3.2 SEMANTIK 27
2.3.3 KALKUELE 28
2.3.4 ENTWURFSDATEN .28
3 SPEZIFIKATIONEN 30
3.1 EINLEITUNG: STELLENWERT DER SPEZIFIKATION IM ENTWURFSPROZESS 30
3.2 ENTWURFSDOEKUMENT SPEZIFIKATION 31
3.2.1 CHARAKTERISIERUNG VON SPEZIFIKATIONEN 31
3.2.2 INHALTLICHE ASPEKTE 32
3.2.3 FORMALE ASPEKTE *. 37
3.2.3.1 NICHTFORMALE SPEZIFIKATIONEN 37
3.2.3.2 FORMALE SPEZIFIKATIONEN 38
3.3 SIGNIFIKANTE SPEZIFIKATIONSFEHLER 40
3.3.1 MEHRDEUTIGKEITEN 40
3.3.2 REDUNDANZEN 41
3.3.3 INKONSISTENZEN 42
3.3.4 UNVOLLSTAENDIGKEITEN 44
3.3.5 IMPLEMENTIERUNGSDETAILS 45
3.3.6 ZUSAMMENFASSUNG DER FEHLERURSACHEN 45
INHALT VI
3.4 METHODEN, WERKZEUGE UND BESCHREIBUNGSMITTEL FUER DIE
SPEZIFIKATIONSERFASSUNG 47
3.4.1 SOFTWARE-, SYSTEMS- UND REQUIREMENTS ENGINEERING 47
3.4.2 INFORMATIONSMODELLIERUNG, DATENHALTUNG UND -AUSTAUSCH 53
3.4.3 KOMBINATIONEN MEHRERER BESCHREIBUNGSMITTEL 55
3.4.4 VHDL-ERWEITERUNGEN 57
3.4.5 BEWERTUNG DER EXISTIERENDEN METHODEN UND WERKZEUGE 61
4 SPEZIFIKATIONSKONZEPT FUER HETEROGENE SYSTEME 66
4.1 AUSGANGSPUNKT UND ZIEL DER MODELLERSTELLUNG 66
4.2 MODELLIERUNG FUER ANFORDERUNGSSPEZIFIKATIONEN 69
4.2.1 UEBERSICHT 69
4.2.2 PRUEFUNG DER NICHTFORMALEN BESCHREIBUNG 70
4.2.3 ERSTE PARTITIONIERUNG DES MODELLS 72
4.2.4 DEFINITION VON SCHNITTSTELLEN 73
4.2.5 DEFINITION DER TESTBENCH 75
4.2.6 ZWEITE PARTITIONIERUNG UND VERHALTENSBESCHREIBUNG DES MODELLS 78
4.2.7 BESCHREIBUNG TOLERANZBEHAFTETER EIGENSCHAFTEN MIT GENERISCHEN
MODELLEN 88
4.2.7.1 ABFRAGE VON PARAMETERWERTEN WAEHREND DER INITIALISIERUNG ....;*
88
4.2.7.2 FESTLEGUNG VON PARAMETER-WERTEBEREICHEN DURCH TYPDEFINITIONEN 89
4.2.8 ZUSAMMENFASSUNG: DOKUMENTE IMPERATIVER SPEZIFIKATIONEN 90
4.3 MODELLIERUNG FUER DEKLARATIVE SPEZIFIKATIONEN 90
4.4 EINORDNUNG DER METHODIK IN DEN ENTWURFSPROZESS HETEROGENER SYSTEME.
98
4.4.1 SPEZIFIKATIONSERFASSUNG ALS WECHSEL ZWISCHEN ZWEI ENTWURFSEBENEN
98
4.4.2 SPEZIFIKATIONSERFASSUNG ALS ENTWURFSBEGLEITENDER PROZESS 102
5 ENTWURFSDOKUMENTATION 103
5.1 INHALTLICHE ASPEKTE VON DOKUMENTATIONEN 103
5.2 EXISTIERENDE KONZEPTE UND WERKZEUGE ZUR ENTWURFSDOKUMENTATION 104
5.3 ENTWURFSENTSCHEIDUNGEN 106
5.3.1 STELLENWERT VON ENTSCHEIDUNGSPROZESSEN 106
5.3.2 AUSSAGEN ZU ENTWURFSENTSCHEIDUNGEN IN DER FACHLITERATUR 106
5.4 ENTSCHEIDUNGSMODELLE 109
5.4.1 EINLEITUNG 109
5.4.2 FORDERUNGEN AN EIN ENTSCHEIDUNGSMODELL 110
5.5 MODELLE AUS DER ENTSCHEIDUNGSTHEORIE 111
5.5.1 GEGENSTAND DER ENTSCHEIDUNGSTHEORIE 111
5.5.2 DESKRIPTIVE ENTSCHEIDUNGSTHEORIE 111
5.5.3 PRAESKRIPTIVE ENTSCHEIDUNGSTHEORIE T 112
5.5.4 GRUNDMODELL DER ENTSCHEIDUNGSTHEORIE 114
5.6 ENTSCHEIDUNGSMODELL FUER ENTWURFSENTSCHEIDUNGEN 115
5.7 PRAKTISCHE BEISPIELE 116
6 ENTWICKLUNG EINES EXPERIMENTELLEN WERKZEUGS ZUR
SPEZIFIKATIONSERFASSUNG 119
6.1 GRUNDKONZEPT DES WERKZEUGS 119
6.2 TEXTDOKUMENTE IN ASPECTOR 122
VN INHALT
6.2.1 INFORMATIONSDARSTELLUNG DURCH HYPERTEXT 122
6.2.2 AUSZEICHNUENGSSPRACHEN 123
6.2.3 SPEZIELLE DOKUMENTTYPEN IN ASPECTOR 125
6.3 GRAFISCHE BENUTZEROBERFLAECHE VON ASPECTOR 127
6.3.1 ALLGEMEINE EIGENSCHAFTEN 127
6.3.2 HYPERTEXTEDITOR FUER LASTENHEFT UND MODELL 130
6.3.3 DOKUMENTATIONSKOMPONENTEN 132
6.3.4 ENTSCHEIDUNGSBROWSER 132
6.4 REDUZIERUNG VON SPEZIFIKATIONSFEHLERN MIT ASPECTOR 133
6.5 KONZEPTE FUER POTENTIELLE ERWEITERUNGEN DES WERKZEUGS 134
7 ZUSAMMENFASSUNG 136
ANHANG 138
A 1 MODELLIERUNG EINES FERROMAGNETKERNS MIT IEEE VHDL 1076.1. . 138
A 2 VERHALTENSMODELL EINES AIRBAG-TRIGGERBAUSTEINS IN HDL-A* 143
A 3 MAKROMODELL EINES OPERATIONSVERSTAERKERS IN IEEE VHDL 1076.1 144
A 4 IMPERATIVE SPEZIFIKATION EINES VIDEOUEBERTRAGUNGSSYSTEM 145
LITERATUR 155
|
| any_adam_object | 1 |
| author | Barthel, Tom |
| author_facet | Barthel, Tom |
| author_role | aut |
| author_sort | Barthel, Tom |
| author_variant | t b tb |
| building | Verbundindex |
| bvnumber | BV012835907 |
| classification_rvk | ST 190 |
| classification_tum | DAT 190d |
| ctrlnum | (OCoLC)45449229 (DE-599)BVBBV012835907 |
| discipline | Informatik |
| edition | Als Ms. gedr. |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01822nam a2200445 cb4500</leader><controlfield tag="001">BV012835907</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010424 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">991102s1999 d||| mm|| 00||| gerod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">957833393</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3183599104</subfield><subfield code="9">3-18-359910-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)45449229</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012835907</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-12</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 190</subfield><subfield code="0">(DE-625)143607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 190d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Barthel, Tom</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Eine Methode zur Spezifikationserfassung heterogener Systeme</subfield><subfield code="c">Tom Barthel</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">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 163 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">599</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Chemnitz, Techn. Univ., Diss., 1999</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Methode</subfield><subfield code="0">(DE-588)4038971-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Heterogenes System</subfield><subfield code="0">(DE-588)4159737-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">Heterogenes System</subfield><subfield code="0">(DE-588)4159737-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Methode</subfield><subfield code="0">(DE-588)4038971-6</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">599</subfield><subfield code="w">(DE-604)BV000897204</subfield><subfield code="9">599</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=008733953&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-008733953</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV012835907 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:34:34Z |
| institution | BVB |
| isbn | 3183599104 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008733953 |
| oclc_num | 45449229 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-12 DE-210 DE-634 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-12 DE-210 DE-634 DE-83 |
| physical | VII, 163 S. graph. Darst. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | VDI-Verl. |
| record_format | marc |
| series2 | Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10] |
| spelling | Barthel, Tom Verfasser aut Eine Methode zur Spezifikationserfassung heterogener Systeme Tom Barthel Als Ms. gedr. Düsseldorf VDI-Verl. 1999 VII, 163 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10] 599 Zugl.: Chemnitz, Techn. Univ., Diss., 1999 Spezifikation (DE-588)4139161-5 gnd rswk-swf Methode (DE-588)4038971-6 gnd rswk-swf Heterogenes System (DE-588)4159737-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Heterogenes System (DE-588)4159737-0 s Spezifikation (DE-588)4139161-5 s Methode (DE-588)4038971-6 s DE-604 10] Verein Deutscher Ingenieure: [Fortschrittberichte VDI 599 (DE-604)BV000897204 599 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008733953&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Barthel, Tom Eine Methode zur Spezifikationserfassung heterogener Systeme Spezifikation (DE-588)4139161-5 gnd Methode (DE-588)4038971-6 gnd Heterogenes System (DE-588)4159737-0 gnd |
| subject_GND | (DE-588)4139161-5 (DE-588)4038971-6 (DE-588)4159737-0 (DE-588)4113937-9 |
| title | Eine Methode zur Spezifikationserfassung heterogener Systeme |
| title_auth | Eine Methode zur Spezifikationserfassung heterogener Systeme |
| title_exact_search | Eine Methode zur Spezifikationserfassung heterogener Systeme |
| title_full | Eine Methode zur Spezifikationserfassung heterogener Systeme Tom Barthel |
| title_fullStr | Eine Methode zur Spezifikationserfassung heterogener Systeme Tom Barthel |
| title_full_unstemmed | Eine Methode zur Spezifikationserfassung heterogener Systeme Tom Barthel |
| title_short | Eine Methode zur Spezifikationserfassung heterogener Systeme |
| title_sort | eine methode zur spezifikationserfassung heterogener systeme |
| topic | Spezifikation (DE-588)4139161-5 gnd Methode (DE-588)4038971-6 gnd Heterogenes System (DE-588)4159737-0 gnd |
| topic_facet | Spezifikation Methode Heterogenes System Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008733953&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000897204 |
| work_keys_str_mv | AT bartheltom einemethodezurspezifikationserfassungheterogenersysteme |