Die Falsifikation von Programmrelationen durch den Vergleich von Simulationsergebnissen:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
1992
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Paderborn, Univ., Diss., 1992 |
| Physical Description: | 119 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006621738 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 930322s1992 d||| m||| 00||| gerod | ||
| 035 | |a (OCoLC)46220423 | ||
| 035 | |a (DE-599)BVBBV006621738 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-355 |a DE-83 |a DE-11 | ||
| 084 | |a DAT 195d |2 stub | ||
| 100 | 1 | |a Strauß, Jürgen |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Die Falsifikation von Programmrelationen durch den Vergleich von Simulationsergebnissen |c von Jürgen Strauß |
| 264 | 1 | |c 1992 | |
| 300 | |a 119 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Paderborn, Univ., Diss., 1992 | ||
| 650 | 0 | 7 | |a Simulation |0 (DE-588)4055072-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Digitalschaltung |0 (DE-588)4012295-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Digitales System |0 (DE-588)4012300-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Falsifikation |0 (DE-588)4197286-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Digitales System |0 (DE-588)4012300-5 |D s |
| 689 | 0 | 1 | |a Falsifikation |0 (DE-588)4197286-7 |D s |
| 689 | 0 | 2 | |a Simulation |0 (DE-588)4055072-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Digitalschaltung |0 (DE-588)4012295-5 |D s |
| 689 | 1 | 1 | |a Simulation |0 (DE-588)4055072-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 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=004232003&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004232003 | ||
Record in the Search Index
| _version_ | 1804120898734653440 |
|---|---|
| adam_text | Titel: Die Falsifikation von Programmrelationen durch den Vergleich von Simulationsergebnissen
Autor: Strauss, Jürgen
Jahr: 1992
INHALT 5
Inhalt
1 Einleitung 11
2 Falsifikation und verwandte Gebiete 17
2.1 Falsifikation und die Auswertung von Simulationsergebnissen . . 17
2.2 Falsifikation und Verifikation 18
2.3 Falsifikation und Fertigungstest 19
2.4 Falsifikation und Systemtheorie 21
3 Ein Prozeßmodell 27
3.1 Die Modellierung des Zeitablaufs 28
3.1.1 Realzeit 29
3.1.2 Taktzyklus 29
3.1.3 Das VHDL-Zeitmodell 30
3.1.4 Kausalität 31
3.1.5 Vorordnung 33
3.2 Notation 34
3.3 Relationen, Traces und Prozesse 35
3.3.1 Datenstrukturen 35
3.3.2 Relationen 36
3.3.3 Traces 38
3.3.4 Prozesse 40
3.4 Ordnungsrelationen 41
3.5 Operationen 42
3.5.1 Trace-Restriktion 42
3.5.2 Trace-Projektion 44
3.5.3 Prozeß-Projektion 45
6 INHALT
3.5.4 Prozeßkomposition 46
3.6 Berechnete Abbildung 50
3.7 Determiniertheit 51
3.8 Prozeßklassen 52
3.8.1 Traceklassen 53
3.8.2 Prozeßklassen 55
3.8.3 Kompositionsoperationen 57
3.8.4 Eigenschaften der deterministischen Prozeßklassen .... 59
4 Das Falsifikationsmodell 65
4.1 Programme und ihre Semantik 65
4.1.1 Programme 65
4.1.2 Semantik 66
4.1.3 Abstraktion 67
4.1.4 Programmrelationen 68
4.2 Simulation 71
4.2.1 Der Simulationsvorgang 71
4.2.2 Sprach- und Simulationssemantik 72
4.2.3 Beschränkung der Simulationssemantik 73
4.2.4 Vereinfachung 74
4.3 Ergebnisvergleich 75
4.3.1 Der Ergebnisvergleich 75
4.3.2 Modellierung 76
4.4 Zusammenfassung 77
INHALT 7
5 Die Falsifikationsbedingungen 79
5.1 Eine Bedingung für die Falsifikation der Teilprozeßrelation ... 79
5.2 Bedingungen für die Falsifikation der Programmrelationen .... 81
5.3 Determimertheit-erhaltende Abstraktionen 84
5.3.1 subbehavior- Abstraktionen 85
5.3.2 encode-Abstraktionen 85
5.3.3 delete-Abstraktionen 86
5.3.4 parallel-Abstraktionen 87
5.3.5 Eigenschaften der Abstraktionsklassen 88
6 Falsifikation in der Praxis 93
6.1 Verifikation der Determiniertheit 93
6.1.1 Synchrone Systeme 94
6.1.2 Timing-Analyse 96
6.2 Garantie der Determiniertheit 97
6.3 Falsifikation der Äquivalenzrelation 99
6.3.1 Optimierung 100
6.3.2 Fehlerkorrektur 100
6.4 Falsifikation der Spezifikationsrelation 101
6.4.1 Strukturerzeugung 101
6.4.2 Automatenrealisierung 102
6.5 Falsifikation der allgemeinen Spezifikationsrelation 103
6.5.1 Protokollabstraktion 104
6.5.2 Datentypabstraktion 106
6.6 Resümee 106
7 Zusammenfassung 109
VERZEICHNIS DER ABBILD UNGEN 9
Verzeichnis der Abbildungen
1 Zwei Formen einer Systembeschreibung 11
2 Simulationsergebnisse von P und Q 12
3 Schaltnetz mit Haftfehlern 19
4 Schaltbildsymbol einer Addiermaschine 22
5 Beispiel eines Trace 23
6 Trace eines Addiersystems (Realzeitmodell) 29
7 Trace eines Addiersystems (Taktzyklusmodell) 30
8 Trace eines VHDL-Programms 31
9 Trace eines Addiersystems (Kausalität) 32
10 Strikte Ordnung der Aktionen A,B,C und D 33
11 Zeitliche Überlappung von Aktionen 33
12 Trace mit Vorordnung von Aktionen 34
13 Zwei isomorphe Traces 39
14 Die Verschaltung zweier Maschinen 46
15 Eingabe- und Ausgabedaten des Vergleichsvorgangs 76
16 Abstraktion von Reihenfolge-Bedingungen 87
17 Beispiel einer local-Abstraktion 89
18 Timing-Diagramm eines synchronen Systems 94
19 Abstrahiertes Simulationsergebnis 95
20 Schaltplan eines synchonen Systems 95
21 Trace eines endlichen Automaten 102
22 Trace des synchronen Systems (Ausschnitt) 102
23 Abstraktion von Busprotokollen 105
|
| any_adam_object | 1 |
| author | Strauß, Jürgen |
| author_facet | Strauß, Jürgen |
| author_role | aut |
| author_sort | Strauß, Jürgen |
| author_variant | j s js |
| building | Verbundindex |
| bvnumber | BV006621738 |
| classification_tum | DAT 195d |
| ctrlnum | (OCoLC)46220423 (DE-599)BVBBV006621738 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01669nam a2200421 c 4500</leader><controlfield tag="001">BV006621738</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930322s1992 d||| m||| 00||| gerod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46220423</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006621738</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-355</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 195d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Strauß, Jürgen</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Die Falsifikation von Programmrelationen durch den Vergleich von Simulationsergebnissen</subfield><subfield code="c">von Jürgen Strauß</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">119 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="500" ind1=" " ind2=" "><subfield code="a">Paderborn, Univ., Diss., 1992</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Simulation</subfield><subfield code="0">(DE-588)4055072-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Digitalschaltung</subfield><subfield code="0">(DE-588)4012295-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Digitales System</subfield><subfield code="0">(DE-588)4012300-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Falsifikation</subfield><subfield code="0">(DE-588)4197286-7</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">Digitales System</subfield><subfield code="0">(DE-588)4012300-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Falsifikation</subfield><subfield code="0">(DE-588)4197286-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Simulation</subfield><subfield code="0">(DE-588)4055072-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Digitalschaltung</subfield><subfield code="0">(DE-588)4012295-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Simulation</subfield><subfield code="0">(DE-588)4055072-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</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=004232003&sequence=000002&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-004232003</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV006621738 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:49:24Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004232003 |
| oclc_num | 46220423 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-355 DE-BY-UBR DE-83 DE-11 |
| owner_facet | DE-91 DE-BY-TUM DE-355 DE-BY-UBR DE-83 DE-11 |
| physical | 119 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| spelling | Strauß, Jürgen Verfasser aut Die Falsifikation von Programmrelationen durch den Vergleich von Simulationsergebnissen von Jürgen Strauß 1992 119 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Paderborn, Univ., Diss., 1992 Simulation (DE-588)4055072-2 gnd rswk-swf Digitalschaltung (DE-588)4012295-5 gnd rswk-swf Digitales System (DE-588)4012300-5 gnd rswk-swf Falsifikation (DE-588)4197286-7 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Digitales System (DE-588)4012300-5 s Falsifikation (DE-588)4197286-7 s Simulation (DE-588)4055072-2 s DE-604 Digitalschaltung (DE-588)4012295-5 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004232003&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Strauß, Jürgen Die Falsifikation von Programmrelationen durch den Vergleich von Simulationsergebnissen Simulation (DE-588)4055072-2 gnd Digitalschaltung (DE-588)4012295-5 gnd Digitales System (DE-588)4012300-5 gnd Falsifikation (DE-588)4197286-7 gnd |
| subject_GND | (DE-588)4055072-2 (DE-588)4012295-5 (DE-588)4012300-5 (DE-588)4197286-7 (DE-588)4113937-9 |
| title | Die Falsifikation von Programmrelationen durch den Vergleich von Simulationsergebnissen |
| title_auth | Die Falsifikation von Programmrelationen durch den Vergleich von Simulationsergebnissen |
| title_exact_search | Die Falsifikation von Programmrelationen durch den Vergleich von Simulationsergebnissen |
| title_full | Die Falsifikation von Programmrelationen durch den Vergleich von Simulationsergebnissen von Jürgen Strauß |
| title_fullStr | Die Falsifikation von Programmrelationen durch den Vergleich von Simulationsergebnissen von Jürgen Strauß |
| title_full_unstemmed | Die Falsifikation von Programmrelationen durch den Vergleich von Simulationsergebnissen von Jürgen Strauß |
| title_short | Die Falsifikation von Programmrelationen durch den Vergleich von Simulationsergebnissen |
| title_sort | die falsifikation von programmrelationen durch den vergleich von simulationsergebnissen |
| topic | Simulation (DE-588)4055072-2 gnd Digitalschaltung (DE-588)4012295-5 gnd Digitales System (DE-588)4012300-5 gnd Falsifikation (DE-588)4197286-7 gnd |
| topic_facet | Simulation Digitalschaltung Digitales System Falsifikation Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004232003&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT straußjurgen diefalsifikationvonprogrammrelationendurchdenvergleichvonsimulationsergebnissen |