Ein neues Verfahren zur dynamischen Untersuchung der Entwurfsspezifikation von Echtzeit-Systemen unter Einbeziehung eines Modells des technischen Prozesses:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
1990
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Stuttgart, Univ., Diss. |
| Physical Description: | 127 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004348139 | ||
| 003 | DE-604 | ||
| 005 | 19940302 | ||
| 007 | t | ||
| 008 | 910321s1990 m||| 00||| ger d | ||
| 035 | |a (OCoLC)255990432 | ||
| 035 | |a (DE-599)BVBBV004348139 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-29T |a DE-83 |a DE-11 | ||
| 084 | |a DAT 265d |2 stub | ||
| 100 | 1 | |a Kurz, Eberhard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Ein neues Verfahren zur dynamischen Untersuchung der Entwurfsspezifikation von Echtzeit-Systemen unter Einbeziehung eines Modells des technischen Prozesses |c vorgelegt von Eberhard Kurz |
| 264 | 1 | |c 1990 | |
| 300 | |a 127 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Stuttgart, Univ., Diss. | ||
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessautomation |0 (DE-588)4176053-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Prozessautomation |0 (DE-588)4176053-0 |D s |
| 689 | 0 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |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=002701516&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002701516 | ||
Record in the Search Index
| _version_ | 1804118532084989952 |
|---|---|
| adam_text | EIN NEUES VERFAHREN ZUR DYNAMISCHEN UNTERSUCHUNG DER
ENTWURFSSPEZIFIKATION VON ECHTZEIT-SYSTEMEN UNTER EINBEZIEHUNG EINES
MODELLS DES TECHNISCHEN PROZESSES VON DER FAKULTAET ELEKTROTECHNIK DER
UNIVERSITAET STUTTGART ZUR ERLANGUNG DER WUERDE EINES DOKTOR-INGENIEURS
(DR.-ING.) GENEHMIGTE ABHANDLUNG VORGELEGT VON EBERHARD KURZ AUS
STUTTGART HAUPTBERICHTER: PROF. DR.-ING. R. LAUBER MITBERICHTER: PROF.
DR.-ING. H.-J. GUTT TAG DER EINREICHUNG: 29. SEPTEMBER 1989 TAG DER
MUENDLICHEN PRUEFUNG: 9. NOVEMBER 1990 INSTITUT FUER REGELUNGSTECHNIK UND
PROZESSAUTOMATISIERUNG UNIVERSITAET STUTTGART 1990 3 INHALT
ZUSAMMENFASSUNG 7 1 EINFUEHRUNG 9 1.1 PROBLEMATIK UND ZIELSETZUNG 9 1.2
ALTERNATIVER LOESUNGSANSATZ DURCH RAPID PROTOTYPING 10 1.3
LOESUNGSANSATZ DURCH EINBEZIEHUNG DES TECHNISCHEN PROZESSES IN DEN
ENTWURFSVORGANG 12 2 VERFAHREN ZUR SPEZIFIKATION VON ECHTZEIT-SYSTEMEN
MIT EINBEZIEHUNG DES TECHNISCHEN PROZESSES 16 2.1 UEBERSICHT 16 2.2 DAS
ENTWURFSUNTERSTUETZENDE SYSTEM PAISLEY 17 2.2.1 KURZE BESCHREIBUNG DER
WESENTLICHEN EIGENSCHAFTEN 17 2.2.2 BEURTEILUNG VON PAISLEY IM HINBLICK
AUF DIE VERWENDUNG BEI DER ENTWURFSSPEZIFIKATION 21 2.3 SYSTEMANALYSE
UND SIMULATION AM BEISPIEL DES SOFTWARE- WERKZEUGES NET 22 2.3.1
BESCHREIBUNG DER WESENTLICHEN EIGENSCHAFTEN ANHAND EINES BEISPIELS 22
2.3.2 EIGNUNG DES SOFTWARE-WERKZEUGES NET ZUR SIMULATION VON
AUTOMATISIERUNGSSYSTEMEN 26 2.4 OFF-LINE-VERFAHREN NACH JOHO ZUR
RECHNERUNTERSTUETZTEN UNTERSUCHUNG ZEITLICHER ABLAEUFE IN
ENTWURFSSPEZIFIKATIONEN 27 4 2.4.1 BESCHREIBUNG DER WESENTLICHEN
EIGENSCHAFTEN 27 2.4.2 BEURTEILUNG DES VERFAHRENS NACH JOHO ZUR
RECHNERUNTERSTUETZTEN UNTERSUCHUNG ZEITLICHER ABLAEUFE IN
ENTWURFSSPEZIFIKATIONEN 30 SIMULATIONSMOEGLICHKEITEN FUER DEN TECHNISCHEN
PROZESS 31 3.1 VERFAHREN ZUR UNTERSUCHUNG DES TECHNISCHEN PROZESSES 31
3.2 ARTEN DER SIMULATION 33 3.2.1 ZEITDISKRETE SIMULATION 33 3.2.2
ZEITKONTINUIERLICHE SIMULATION 35 3.2.3 KOMBINIERTE SIMULATION 36 3.3
BESCHREIBUNG GAENGIGER SIMULATIONSSPRACHEN 37 3.3.1 KLASSIFIKATION VON
SIMULATIONSSPRACHEN 37 3.3.2 DIE SIMULATIONSSPRACHE SIMULA 38 3.3.3 DAS
SIMULATIONSSYSTEM GPSS-FORTRAN 40 3.3.3.1 UEBERSICHT UEBER GPSS-FORTRAN 40
3.3.3.2 SYSTEM-ELEMENTE UND -FUNKTIONEN VON GPSS-FORTRAN 41 3.3.3.3
BEHANDLUNG DER BEWEGTEN ELEMENTE 42 3.4 AUSWAHL EINES GEEIGNETEN
SIMULATIONSSYSTEMS 44 EIN NEUES VERFAHREN ZUR SPEZIFIKATION VON
ECHTZEIT-SYSTEMEN MIT EINBEZIEHUNG EINER SIMULATION DES TECHNISCHEN
PROZESSES 46 4.1 ANFORDERUNGEN AN DAS NEUE VERFAHREN 46 4.2 BESCHREIBUNG
DES NEUEN VERFAHRENS 47 4.2.1 UEBERSICHT 47 4.2.2 DARSTELLUNG DER
EPOS-ENTWURFSOBJEKTE 49 DIE AUSFUEHRBARE ENTWURFSSPEZIFIKATION 53 5.1
BEHANDLUNG DES ENTWURFSOBJEKTS VOM TYP AKTION 53 5.2 BEHANDLUNG DER
KONTROLLFLUSSKONSTRUKTE 56 5 5.3 DIE INTERNE REPRAESENTATION DES
KONTROLLFLUSSES IN DER DATENBASIS 57 5.4 VORGEHENSWEISE BEI TERMINALEN
AKTIONEN 60 5.5 BEHANDLUNG DER ELEMENTAROPERATIONEN 61 5.6 BEHANDLUNG
VON PARALLELEN RECHENPROZESSEN 62 DIE ENTWURFSOBJEKTE DATA UND CONDITION
64 6.1 BEHANDLUNG DES ENTWURFSOBJEKTS VOM TYP DATA 64 6.2 BEHANDLUNG DES
ENTWURFSOBJEKTS VOM TYP CONDITION 65 DAS SIMULATIONSSYSTEM FUER DEN
TECHNISCHEN PROZESS 67 7.1 BESCHREIBUNG DER WESENTLICHEN EIGENSCHAFTEN 67
7.2 BEISPIEL EINER SIMULATION EINES TECHNISCHEN PROZESSES 69 7.2.1 DER
ZU SIMULIERENDE FERTIGUNGSPROZESS 69 7.2.2 AUFBAU DES SIMULATIONSMODELLS
73 7.3 DIE SYNTAX DER BESCHREIBUNGSSPRACHE FUER DEN TECHNISCHEN PROZESS 75
7.3.1 DARSTELLUNG DER SYNTAX DER BESCHREIBUNGSSPRACHE MITTELS
SYNTAXDIAGRAMMEN 75 7.3.2 BESCHREIBUNG DER SCHLUESSELWOERTER 79 7.4
ERWEITERUNG DES SIMULATIONSSYSTEMS FUER DEN ANSCHLUSS AN DIE ABLAUFFAEHIGE
SPEZIFIKATION 83 7.5 EBENENWEISE BESCHREIBUNG DES TECHNISCHEN PROZESSES
87 7.6 SIMULATION ZEITKONTINUIERLICHER VORGAENGE 88 DER DYNAMISCHE ABLAUF
DER ENTWURFSSPEZIFIKATION ZUSAMMEN MIT DEM TECHNISCHEN PROZESS 91 8.1
PRINZIPIELLE VORGEHENSWEISE 91 8.2 MODELLBILDUNG FUER EIN ENTWURFSOBJEKT
VOM TYP EVENT 93 8.3 BEHANDLUNG DER ELEMENTAROPERATIONEN SET UND RESET
94 8.4 BEHANDLUNG DER ELEMENTAROPERATIONEN DELAY UND STOP 95 8.5
BEHANDLUNG DER ELEMENTAROPERATIONEN WATT UNTIL BEDINGUNG UND WATT FOR
EREIGNIS 96 8.6 DER DYNAMISCHE ABLAUF 97 9 DEMONSTRATION DES NEUEN
VERFAHRENS ANHAND EINES BEISPIELS 100 9.1 ERLAEUTERUNG DES BEISPIELS
FLASCHENABFUELL ANLAEGE 100 9.2 MODELLIERUNG DES TECHNISCHEN PROZESSES
101 9.2.1 EINSCHRAENKUNGEN BEI DER MODELLIERUNG 101 9.2.2 DAS MODELL DES
TECHNISCHEN PROZESSES FLASCHENABFUELLANLAGE 102 9.2.3 EINGABE DES
SIMULATIONSMODELLS 105 9.3 DIE ENTWURFSSPEZIFIKATION DES
AUTOMATISIERUNGSPROGRAMMS 107 9.3.1 SPEZIFIKATION DER 1. ENTWURFSEBENE
107 9.3.2 SPEZIFIKATION DER 2. ENTWURFSEBENE 108 9.4 HERSTELLEN DER
VERBINDUNGEN ZWISCHEN DEM TECHNISCHEN PROZESS UND DER ABLAUFFAEHIGEN
ENTWURFSSPEZIFIKATION 110 9.5 DYNAMISCHER ABLAUF DES GESAMTSYSTEMS 114
9.5.1 DARSTELLUNG DES DYNAMISCHEN ABLAUFS 114 9.5.2 SIMULATIONSABLAUF
UND AUSWERTUNG DER STATISTIKEN 118 9.5.3 KORREKTUR DES TECHNISCHEN
PROZESSES 119 LITERATURVERZEICHNIS 121 LEBENSLAUF 127
|
| any_adam_object | 1 |
| author | Kurz, Eberhard |
| author_facet | Kurz, Eberhard |
| author_role | aut |
| author_sort | Kurz, Eberhard |
| author_variant | e k ek |
| building | Verbundindex |
| bvnumber | BV004348139 |
| classification_tum | DAT 265d |
| ctrlnum | (OCoLC)255990432 (DE-599)BVBBV004348139 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01437nam a2200349 c 4500</leader><controlfield tag="001">BV004348139</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19940302 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910321s1990 m||| 00||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255990432</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004348139</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-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 265d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kurz, Eberhard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ein neues Verfahren zur dynamischen Untersuchung der Entwurfsspezifikation von Echtzeit-Systemen unter Einbeziehung eines Modells des technischen Prozesses</subfield><subfield code="c">vorgelegt von Eberhard Kurz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">127 S.</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">Stuttgart, Univ., Diss.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessautomation</subfield><subfield code="0">(DE-588)4176053-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">Prozessautomation</subfield><subfield code="0">(DE-588)4176053-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</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=002701516&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-002701516</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV004348139 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:11:47Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002701516 |
| oclc_num | 255990432 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-29T DE-83 DE-11 |
| owner_facet | DE-91 DE-BY-TUM DE-29T DE-83 DE-11 |
| physical | 127 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| spelling | Kurz, Eberhard Verfasser aut Ein neues Verfahren zur dynamischen Untersuchung der Entwurfsspezifikation von Echtzeit-Systemen unter Einbeziehung eines Modells des technischen Prozesses vorgelegt von Eberhard Kurz 1990 127 S. txt rdacontent n rdamedia nc rdacarrier Stuttgart, Univ., Diss. Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Prozessautomation (DE-588)4176053-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Prozessautomation (DE-588)4176053-0 s Softwarespezifikation (DE-588)4056186-0 s DE-604 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002701516&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kurz, Eberhard Ein neues Verfahren zur dynamischen Untersuchung der Entwurfsspezifikation von Echtzeit-Systemen unter Einbeziehung eines Modells des technischen Prozesses Softwarespezifikation (DE-588)4056186-0 gnd Prozessautomation (DE-588)4176053-0 gnd |
| subject_GND | (DE-588)4056186-0 (DE-588)4176053-0 (DE-588)4113937-9 |
| title | Ein neues Verfahren zur dynamischen Untersuchung der Entwurfsspezifikation von Echtzeit-Systemen unter Einbeziehung eines Modells des technischen Prozesses |
| title_auth | Ein neues Verfahren zur dynamischen Untersuchung der Entwurfsspezifikation von Echtzeit-Systemen unter Einbeziehung eines Modells des technischen Prozesses |
| title_exact_search | Ein neues Verfahren zur dynamischen Untersuchung der Entwurfsspezifikation von Echtzeit-Systemen unter Einbeziehung eines Modells des technischen Prozesses |
| title_full | Ein neues Verfahren zur dynamischen Untersuchung der Entwurfsspezifikation von Echtzeit-Systemen unter Einbeziehung eines Modells des technischen Prozesses vorgelegt von Eberhard Kurz |
| title_fullStr | Ein neues Verfahren zur dynamischen Untersuchung der Entwurfsspezifikation von Echtzeit-Systemen unter Einbeziehung eines Modells des technischen Prozesses vorgelegt von Eberhard Kurz |
| title_full_unstemmed | Ein neues Verfahren zur dynamischen Untersuchung der Entwurfsspezifikation von Echtzeit-Systemen unter Einbeziehung eines Modells des technischen Prozesses vorgelegt von Eberhard Kurz |
| title_short | Ein neues Verfahren zur dynamischen Untersuchung der Entwurfsspezifikation von Echtzeit-Systemen unter Einbeziehung eines Modells des technischen Prozesses |
| title_sort | ein neues verfahren zur dynamischen untersuchung der entwurfsspezifikation von echtzeit systemen unter einbeziehung eines modells des technischen prozesses |
| topic | Softwarespezifikation (DE-588)4056186-0 gnd Prozessautomation (DE-588)4176053-0 gnd |
| topic_facet | Softwarespezifikation Prozessautomation Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002701516&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kurzeberhard einneuesverfahrenzurdynamischenuntersuchungderentwurfsspezifikationvonechtzeitsystemenuntereinbeziehungeinesmodellsdestechnischenprozesses |