Sicherheitsgerichtete Echtzeitsysteme:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
München [u.a.]
Oldenbourg
1999
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVII, 455 S. Ill., graph. Darst. |
| ISBN: | 3486240366 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012590488 | ||
| 003 | DE-604 | ||
| 005 | 20050406 | ||
| 007 | t | ||
| 008 | 990602s1999 ad|| |||| 00||| ger d | ||
| 016 | 7 | |a 956185436 |2 DE-101 | |
| 020 | |a 3486240366 |9 3-486-24036-6 | ||
| 035 | |a (OCoLC)45541999 | ||
| 035 | |a (DE-599)BVBBV012590488 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-20 |a DE-91 |a DE-91G |a DE-210 |a DE-92 |a DE-12 |a DE-859 |a DE-29T |a DE-634 |a DE-2070s | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 234 |0 (DE-625)143621: |2 rvk | ||
| 084 | |a ST 267 |0 (DE-625)143635: |2 rvk | ||
| 084 | |a ZQ 5450 |0 (DE-625)158141: |2 rvk | ||
| 084 | |a ZQ 6200 |0 (DE-625)158182: |2 rvk | ||
| 084 | |a MSR 728f |2 stub | ||
| 084 | |a DAT 260f |2 stub | ||
| 100 | 1 | |a Halang, Wolfgang A. |d 1951- |e Verfasser |0 (DE-588)120993732 |4 aut | |
| 245 | 1 | 0 | |a Sicherheitsgerichtete Echtzeitsysteme |c von Wolfgang A. Halang ; Rudolf Konakovsky |
| 264 | 1 | |a München [u.a.] |b Oldenbourg |c 1999 | |
| 300 | |a XVII, 455 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessautomation |0 (DE-588)4176053-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionssicherheit |0 (DE-588)4760707-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Betriebssicherheit |0 (DE-588)4145063-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessleittechnik |0 (DE-588)4312606-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Speicherprogrammierte Steuerung |0 (DE-588)4116559-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Prozessautomation |0 (DE-588)4176053-0 |D s |
| 689 | 0 | 1 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 0 | 2 | |a Prozessleittechnik |0 (DE-588)4312606-6 |D s |
| 689 | 0 | 3 | |a Betriebssicherheit |0 (DE-588)4145063-2 |D s |
| 689 | 0 | 4 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 5 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 0 | 6 | |a Speicherprogrammierte Steuerung |0 (DE-588)4116559-7 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 1 | 1 | |a Speicherprogrammierte Steuerung |0 (DE-588)4116559-7 |D s |
| 689 | 1 | 2 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 1 | 3 | |a Funktionssicherheit |0 (DE-588)4760707-5 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 2 | 1 | |a Speicherprogrammierte Steuerung |0 (DE-588)4116559-7 |D s |
| 689 | 2 | 2 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Konakovsky, Rudolf |e Verfasser |4 aut | |
| 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=008549376&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008549376 | |
Datensatz im Suchindex
| _version_ | 1807500891871248384 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
VORWORT
XV
1
GRUNDLAGEN
SICHERHEITSGERICHTETER
ECHTZEITSYSTEME
1
1.1
ENTWICKLUNGSSTAND
SICHERHEITSGERICHTETER
ECHTZEITSYSTEME
.
1
1.2
EIGENSCHAFTEN
FESTVERDRAHTETER
UND
RECHNERGESTUETZTER
STEUERUNGSTECHNIK
3
1.3
SICHERHEIT
UND
ZUVERLAESSIGKEIT
IN
DER
PROZESSAUTOMATISIERUNG
.
5
1.4
PROBLEMSTELLUNG
SICHERER
RECHNERGESTUETZTER
PROZESSAUTOMATISIERUNG
.
.
7
1.5
ZUVERLAESSIGKEIT,
SICHERHEIT
UND
WIRTSCHAFTLICHKEIT
.
9
1.6
UNSTETIGKEIT
ALS
INHAERENTES
RISIKO
INFORMATIONSTECHNISCHER
SYSTEME
.
.
11
1.7
SPEZIELLE
ANFORDERUNGEN
DES
ECHTZEITBETRIEBES
.
13
1.8
EINFACHHEIT
ALS
ENTWURFSPRINZIP
.
14
1.9
SICHERHEITSNORMEN
UND
-VORSCHRIFTEN
.
15
1.10
URSACHEN
UND
AUSWIRKUNGEN
VON
FEHLERN
UND
AUSFAELLEN
.
16
1.10.1
FEHLERURSACHEN
.
17
1.10.2
HARDWARE-FEHLER
.
17
1.10.3
SOFTWARE-FEHLER
.
18
1.10.4
FEHLERAUSWIRKUNGEN
.
19
1.10.5
FEHLERKLASSIFIZIERUNG
.
19
1.11
ALLGEMEINES
PRINZIP
DER
FEHLERERKENNUNG
.
21
1.11.1
DAS
PRINZIP
.
21
1.11.2
FEHLERERKENNUNG
DURCH
PLAUSIBILITAETSPRUEFUNG
.
21
1.11.3
FEHLERERKENNUNG
DURCH
VERGLEICH
.
22
1.12
FEHLERERKENNBARKEIT
UND
DIVERSITAET
.
23
1.12.1
ZUM
BEGRIFF
DIVERSITAET
.
23
1.12.2
DIVERSITAETSARTEN
.
23
1.12.3
FEHLERERKENNBARKEIT
.
25
2
KONZEPTE
ZUR
SICHERHEITSGERICHTETEN
PROZESSAUTOMATISIERUNG
27
2.1
MASSNAHMEN
ZUR
ERZIELUNG
VON
SICHERHEIT
IN
DER
PROZESSAUTOMATISIERUNG
27
2.1.1
AUSSCHLUSS
VON
FEHLERN
UND
AUSFAELLEN
.
27
2.1.2
VERMINDERUNG
DER
WAHRSCHEINLICHKEIT
VON
FEHLERN
UND
AUSFAELLEN
28
2.1.3
BEEINFLUSSUNG
DER
AUSWIRKUNG
VON
FEHLERN
UND
AUSFAELLEN
.
28
2.1.4
IMPLEMENTIERUNGSMOEGLICHKEITEN
.
29
2.2
FESTVERDRAHTETE
ELEKTRONIK
IN
DER
SICHERHEITSGERICHTETEN
PROZESSAUTO
MATISIERUNG
.
30
2.2.1
REGELN
DER
TECHNIK
.
30
2.2.2
BESONDERHEITEN
DER
ELEKTRONIK
IM
VERGLEICH
ZU
AELTEREN
STEUE
RUNGSTECHNIKEN
.
32
2:2.3
SICHERHEITSKONZEPTE
.
34
2.2.4
SICHERHEITSGERICHTETE
VERDRAHTUNGSPROGRAMMIERBARE
STEUE
RUNGEN
.
40
2.3
EINKANALIGE
SICHERHEITSGERICHTETE
PROZESS
DATENVERARBEITUNG
.
40
2.4
ZWEIKANALIGE
SICHERHEITSGERICHTETE
PROZESSDATENVERARBEITUNG
.
41
2.4.1
DURCHGEHENDE
ZWEIKANALIGKEIT
.
41
2.4.2
FUEHLER
UND
STELLGLIEDER
.
42
2.4.3
LICHTSIGNALE
.
43
2.4.4
VENTILE
.
43
2.5
EIN
UND
ZWEIKANALIGE
SICHERHEITSGERICHTETE
PROZESSDATENVERARBEITUNG
.
44
2.6
MEHRKANALIGE
SICHERHEITSGERICHTETE
PROZESSDATENVERARBEITUNG
.
44
2.7
SYSTEMSTRUKTUREN
.
45
2.7.1
ALLGEMEINES
ZU
SYSTEMSTRUKTUREN
.
45
2.7.2
ZWEIKANALIGE
SYSTEMSTRUKTUREN
.
46
2.7.3
VERTEILTE
SYSTEMSTRUKTUR
.
48
2.7.4
STRUKTUR
VON
MENSCH-MASCHINE-SYSTEMEN
.
49
3
HARDWARE-SYSTEME
ZUR
SICHEREN
PROZESSDATENVERARBEITUNG
51
3.1
EINKANALIGE
HARDWARE-SYSTEME
.
51
3.1.1
REALISIERUNG
MIT
KONVENTIONELLER
TECHNIK
.
51
3.1.2
REALISIERUNG
MIT
ELEKTRONIK
.
51
3.1.3
REALISIERUNG
MIT
MIKROELEKTRONIK
.
52
3.2
ZWEIKANALIGE
HARDWARE-SYSTEME
.
59
3.2.1
REALISIERUNG
MIT
KONVENTIONELLER
TECHNIK
.
59
3.2.2
REALISIERUNG
MIT
ELEKTRONIK
.
59
INHALTSVERZEICHNIS
VII
3.2.3
REALISIERUNG
MIT
MIKROELEKTRONIK
.
65
4
ZWEIKANALIGE
SICHERHEITSGERICHTETE
RECHNERSYSTEME
69
4.1
DAS
SYSTEM
SIMIS
.
69
4.2
DAS
SYSTEM
LOGISAFE
.
70
4.3
DAS
SYSTEM
LOGISIRE
.
70
4.3.1
FUNKTIONEN
DES
LOGISIRE
.
72
4.3.2
MASSNAHMEN
ZUR
GEWAEHRLEISTUNG
VON
SICHERHEIT
.
73
4.3.3
HARD
UND
SOFTWARE-STRUKTUR
DES
LOGISIRE
.
74
4.3.4
DETAILLIERTE
BESCHREIBUNG
DER
FUNKTIONEN
DES
LOGISIRE
BETRIEBSSYSTEMS
.
77
4.3.5
ZUSAMMENFASSUNG
.
79
4.4
DAS
SYSTEM
DIMI
.
80
4.4.1
SYSTEMKONZEPT
.
80
4.4.2
HARDWARE-STRUKTUREN
.
81
4.5
REALISIERUNG
UND
ERPROBUNG
DES
SYSTEMS
DIMI
.
84
4.5.1
SCHWERPUNKTE
DER
ERPROBUNG
.
84
4.5.2
HARDWARE
.
86
4.5.3
SOFTWARE
.
89
4.5.4
ERGEBNISSE
DER
PRAKTISCHEN
ERPROBUNG
.
93
5
ENTWICKLUNG
SICHERHEITSGERICHTETER
SOFTWARE
97
5.1
SYSTEMENTWURF
SICHERHEITSGERICHTETER
SOFTWARE
.
97
5.1.1
FEHLERVERMEIDUNG
.
98
5.1.2
FEHLERTOLERANZ
.
100
5.2
QUALITAETSSICHERUNG
VON
SOFTWARE
.'
.
103
5.2.1
MASSNAHMEN
ZUR
SOFTWARE-QUALITAETSSICHERUNG
.
104
5.2.2
PLANUNG
DER
SOFTWARE-QUALITAETSSICHERUNG
.
105
5.2.3
STRUKTUR
VON
ENTWICKLUNGSPROJEKTEN
.
107
5.2.4
SOFTWARE-ANFORDERUNGSSPEZIFIKATION
.
108
5.3
EIN
WERKZEUG
ZUR
ANFORDERUNGSSPEZIFIKATION
.
109
5.3.1
ANFORDERUNGSERFASSUNG
.
111
5.3.2
SYSTEMENTWURF
.
112
5.3.3
PROJEKT
UND
KONFIGURATIONSVERWALTUNG,
QUALITAETSSICHERUNG
.
.
113
5.3.4
BEWERTUNG
.
114
5.4
PRINZIPIEN
DES
PROGRAMMENTWURFS
UND
DER
PROGRAMMCODIERUNG
.
.
.114
VIII
5.5
SOFTWARE-DIVERSITAET
.
H6
5.5.1
VOLLSTAENDIGE
DIVERSITAET
.
117
5.5.2
GEZIELTE
DIVERSITAET
.
119
5.5.3
UBERSETZERDIVERSITAET
.
119
5.5.4
DIVERSITAERE
IMPLEMENTATION
.
121
5.5.5
DIVERSITAERE
SPEZIFIKATION
.
122
5.5.6
FUNKTIONELLE
DIVERSITAET
.
123
5.5.7
ZUR
ANWENDUNG
DER
DIVERSITAETSARTEN
.
124
5.5.8
MEHRKANALIGE
SOFTWARE-REALISIERUNG
.
125
6
SOFTWARE-VERIFIKATION
127
6.1
PRINZIPIEN
DER
SOFTWARE-VERIFIKATION
.
127
6.1.1
VERIFIKATIONSPLAN
.
127
6.1.2
VERIFIKATIONSTECHNIKEN
.
128
6.1.3
ANFORDERUNGSVERIFIKATION
.
130
6.1.4
ENTWURFSVERIFIKATION
.
131
6.1.5
MODUL
UND
CODEVERIFIKATION
.
131
6.1.6
INTEGRATIONSVERIFIKATION
VON
HARD
UND
SOFTWARE
.
132
6.1.7
RECHENSYSTEMVALIDIERUNG
.
133
6.2
BESCHREIBUNG
AUSGEWAEHLTER
SOFTWARE-VERIFIKATIONSTECHNIKEN
.
136
6.2.1
BEGUTACHTUNGEN
UND
REVISIONEN
.
136
6.2.2
STRUKTURIERTES
NACH
VOLLZIEHEN
UND
INSPEKTIONEN
.
138
6.2.3
SOFTWARE-TESTS
.
140
6.2.4
DIVERSITAERE
RUECKWAERTSANALYSE
.
144
6.3
VALIDIERUNG
VON
ECHTZEITSYSTEMEN
.
147
6.3.1
EREIGNISSIMULATION
.
147
6.3.2
EXTERNE
UMGEBUNGSSIMULATION
UND
AUSGABEVERIFIKATION
.
148
7
QUANTITATIVE
BEWERTUNG
SICHERHEITSGERICHTETER
ECHTZEITSYSTEME
155
7.1
BEWERTUNGSGRUNDLAGE
.
155
7.1.1
BEWERTUNGSGROESSEN
.
155
7.1.2
VORAUSSETZUNGEN
ZUR
BEWERTUNG
.
156
7.1.3
FEHLER
UND
AUSFAELLE
IN
ZWEIKANALIGEN
SYSTEMEN
.
156
7.2
BEWERTUNG
IDENTISCHER
KANAELE
HINSICHTLICH
GEFAEHRLICHER
AUSFALLARTEN
.
156
7.2.1
MITTLERE
ZEIT
BIS
ZUM
SICHERHEITSBEZOGENEN
(GEFAEHRLICHEN)
DOPPELAUSFALL
.
158
INHALTSVERZEICHNIS
IX
7.2.2
BEISPIEL:
2-AUS-3-WERTUNGSSCHALTUNG
.
160
7.3
BEWERTUNG
IDENTISCHER
KANAELE
HINSICHTLICH
GEFAEHRLICHER
FEHLERARTEN
.
.
165
7.4
BEWERTUNG
DIVERSITAERER
KANAELE
HINSICHTLICH
GEFAEHRLICHER
AUSFALLARTEN
.
165
7.4.1
BEWERTUNG
VON
HARDWARE-DIVERSITAET
.
165
7.4.2
BEWERTUNG
VON
SOFTWARE-DIVERSITAET
.
171
7.5
BEWERTUNG
DIVERSITAERER
KANAELE
HINSICHTLICH
GEFAEHRLICHER
FEHLERARTEN
.
.
174
7.5.1
EIN-BIT-VERGLEICH
.
174
7.5.2
BEISPIEL:
SOFTWARE-IMPLEMENTIERUNG
DER
2-AUS-3-WERTUNGSSCHALTUNG
.
176
7.5.3
MEHR-BIT-VERGLEICH
.
177
7.5.4
BEISPIEL:
ZWEI-BIT-VERGLEICH
.
180
7.5.5
BEISPIEL:
VIER-BYTE-VERGLEICH
.
181
7.5.6
VERGLEICH
VON
ANALOGWERTEN
.
182
7.6
BEDEUTUNG
DER
EINGABEWERTE
.
183
8
DAS
INHAERENT
SICHERE
FUNKTIONSPLANPARADIGMA
185
8.1
ARCHITEKTUR
UND
BETRIEBSART
SPEICHERPROGRAMMIERBARER
STEUERUNGEN
.
185
8.2
PROGRAMMIERSPRACHEN
UND
PROGRAMMENTWICKLUNG
.
190
8.2.1
ALLGEMEINE
MERKMALE
DER
LEC-SPRACHEN
.
191
8.2.2
ANWEISUNGSLISTE
.
194
8.2.3
KONTAKTPLAN
.
194
8.2.4
STRUKTURIERTER
TEXT
.
194
8.2.5
FUNKTIONSPLAN
.
195
8.2.6
SEQUENTIELLER
ABLAUFPLAN
.
196
8.2.7
ANWENDUNGSBEREICH
HOEHERER
GRAPHISCHER
UND
TEXTUELLER
SPRA
CHEN
.
201
8.3
ANWENDUNGSSPEZIFISCHE
PROGRAMMOBJEKTE
.
207
8.3.1
AUTOMATISIERUNG
CHEMISCHER
PROZESSE
.
207
8.3.2
NOTABSCHALTSYSTEME
.209
8.4
FUNKTIONSPLAENE
MIT
VERIFIZIERTEN
BIBLIOTHEKEN
.
212
8.5
SICHERHEITSTECHNISCHE
ABNAHME
VON
FUNKTIONSPLAENEN
.
214
9
ERSTELLUNG
UND
PRUEFUNG
SICHERHEITSGERICHTETER
SOFTWARE
219
9.1
GRUNDLEGENDE
METHODEN
DER
SOFTWARE-QUALITAETSSICHERUNG
.
219
9.2
QUALITAETSSICHERUNG
DER
DOKUMENTATION
.
221
9.3
QUALITAETSSICHERUNG
VON
PROGRAMMEN
.
222
9.3.1
INSPEKTION
VON
PROGRAMMEN
.
223
9.3.2
VERIFIKATION
VON
PROGRAMMEN
.224
9.3.3
SYMBOLISCHE
AUSFUEHRUNG
VON
PROGRAMMEN
.225
9.3.4
TEST
VON
PROGRAMMEN
.
226
9.4
INDUSTRIELLE
PRUEFUNG
DER
SOFTWARE
VON
PROZESSAUTOMATISIERUNGSSYSTEMEN227
9.4.1
GRUNDLAGEN
DER
PRUEFUNG
VON
SOFTWARE
.
228
9.4.2
SOFTWARE-TYPPRUEFUNG
DER
FUNKTIONEN
VON
PROZESSLEITSYSTEMEN
.
231
9.4.3
AUTOMATISCHE
DIALOGPRUEFUNG
.
233
9.4.4
AUTOMATISCHE
PRUEFUNG
DER
VERARBEITUNG
.
236
9.4.5
AUTOMATISCHE
MESSUNG
DER
RECHNERLEISTUNG
.239
9.4.6
ERFAHRUNGEN
UND
WEITERENTWICKLUNGEN
.
242
9.5
RICHTLINIEN
ZUR
ERSTELLUNG
SICHERHEITSGERICHTETER
SOFTWARE
.244
9.5.1
DETAILS
VON
SOFTWARE-ANFORDERUNGSSPEZIFIKATIONEN
.245
9.5.2
ENTWURFSPROZEDUREN
.249
9.5.3
SOFTWARE-STRUKTUR
.
251
9.5.4
SELBSTUEBERWACHUNG
.253
9.5.5
ENTWURF
UND
CODIERUNG
IM
DETAIL
.254
9.5.6
SPRACHABHAENGIGE
EMPFEHLUNGEN
.257
9.5.7
SPRACHE
UND
UEBERSETZER
.258
9.5.8
SYSTEMATISCHE
TESTMETHODEN
.259
9.5.9
HARDWARE-ERWAEGUNGEN
.260
10
EINIGE
FORMALE
METHODEN
ZUR
PROGRAMMVERIFIKATION
261
10.1
ANALYTISCHE
VERFIKATION
MIT
VOR
UND
NACHBEDINGUNGEN
.
261
10.2
AUSDRUECKE,
ANWEISUNGEN
UND
BEWEISREGELN
.
262
10.2.1
SYNTAX
UND
SEMANTIK
.
263
10.2.2
VARIABLEN
UND
UMGEBUNGEN
.263
10.2.3
AUSWERTUNG
VON
AUSDRUECKEN
.
263
10.2.4
AUSFUEHRUNG
EINER
WERTZUWEISUNG
.264
10.2.5
DIE
NULL-ANWEISUNG
SKIP
.
265
10.2.6
AUSFUEHRUNG
EINER
ANWEISUNGSFOLGE
.
265
10.2.7
AUSFUEHRUNG
EINER
IF-ANWEISUNG
.
265
10.2.8
AUSFUEHRUNG
EINER
WHILE-SCHLEIFE
.
265
10.3
BEWEISREGELN
.
266
10.3.1
STAERKUNG
EINER
VORBEDINGUNG,
SCHWAECHUNG
DER
NACHBEDINGUNG
266
INHALTSVERZEICHNIS
XI
10.3.2
WERTZUWEISUNGEN
.
267
10.3.3
VERZWEIGUNGEN
.
269
10.3.4
ANWEISUNGSFOLGE
.269
10.3.5
SCHLEIFEN
.
.'
.
269
10.4
BEISPIELE
.
271
10.4.1
MULTIPLIKATION
NATUERLICHER
ZAHLEN
.
271
10.4.2
EFFIZIENTE
MULTIPLIKATION
.
273
10.5
SYMBOLISCHE
AUSFUEHRUNG
VON
PROGRAMMEN
.
275
10.5.1
SYSTEMATISIERUNG
.
276
10.5.2
ANMERKUNGEN
ZUR
SYMBOLISCHEN
AUSFUEHRUNG
.
278
10.5.3
BEISPIELE
.
279
10.6
KORREKTHEITSBEWEIS
EINES
ZEITGEBERS
.
284
10.6.1
SPEZIFIKATION
.
285
10.6.2
HILFSSAETZE
.
285
10.6.3
BEWEIS
.
288
10.7
WERKZEUGE
ZUR
PROGRAMMVERIFIKATION
.
290
11
EINE
FUNKTIONSPLANABBILDENDE
PROZESSRECHNERARCHITEKTUR
293
11.1
ANFORDERUNGEN
AN
DIE
RECHNERARCHITEKTUR
.
294
11.2
INFORMATIONSVERARBEITUNG
.
296
11.2.1
ABBILDUNG
NATUERLICHER
SYSTEMSTRUKTUREN
IN
DER
RECHNERARCHI
TEKTUR
.
296
11.2.2
ERWEITERBARKEIT
VON
RECHENANLAGEN
.
300
11.2.3
PARALLELITAET
ZUR
ERHOEHUNG
DER
RECHENLEISTUNG
.
301
11.2.4
MODULARITAET
UND
PARALLELITAET
.
307
11.2.5
KOMMUNIKATION
.
308
11.2.6
ASPEKTE
DES
ZEITVERHALTENS
.
310
11.2.7
BETRIEBSSYSTEM
.
311
11.2.8
REGELN
ZUM
ANPASSEN
EINES
RECHNERS
AN
EIN
AUTOMATISIERUNGS
TECHNISCHES
PROBLEM
.
312
11.2.9
SOFTWARE-KONZEPTION
.
314
11.3
SCHNITTSTELLEN
ZU
SENSOREN
UND
AKTOREN
.
315
11.3.1
STANDARD
GEGENUEBER
ANWENDUNGSSPEZIFISCHEN
MODULEN
.
316
11.3.2
SENSOR-/AKTORANBINDUNG
AUF
DER
SIGNALEBENE
.
317
11.3.3
ERWEITERBARKEIT
UND
SENSOR-/AKTORANBINDUNG
AUF
DER
BUSEBENE324
11.3.4
SENSOR-/AKTORANBINDUNG
AUF
DER
PROZESSOREBENE
.
327
XII
11.3.5
FELDBUSSE
UND
SENSORLOKALE
PROZESSOREN
.328
11.4
EIN
EINSATZBEISPIEL
AUS
DER
ROBOTIK
.328
11.4.1
GESAMTSTRUKTUR
DES
STEUERUNGSSYSTEMS
DER
KARLSRUHER
HAND
.
330
11.4.2
HARDWARE-KOMPONENTEN
DER
RECHENANLAGE
DER
KARLSRUHER
HAND332
12
IHLLSTUDIEN
SICHERHEITSGERICHTETER
PES
337
12.1
EIN
LEICHT
VERIFIZIERBARES
AUSFALLSICHERHEITSGERICHTETES
PES
.338
12.1.1
FUZZY-LOGIK
ALS
ENTWURFSPRINZIP
EINES
SICHERHEITSGERICHTETEN
PES
.338
12.1.2
URSACHE-/WIRKUNGSTABELLEN
.339
12.1.3
EINE
AUF
FUZZY-LOGIK
BERUHENDE
PROGRAMMIERBARE
STEUERUNG
.
340
12.1.4
SICHERHEITSASPEKTE
.
345
12.2
ARCHITEKTUR
EINER
SICHERHEITSTECHNISCH
ABNEHMBAREN
SPS
.346
12.2.1
ENTWURFSGRUNDLAGEN
.346
12.2.2
HARDWARE-ARCHITEKTUR
.346
12.2.3
SOFTWARE-VERIFIKATION
.354
12.2.4
EINIGE
ANMERKUNGEN
.
361
12.3
EINE
ANWENDUNGSORIENTIERTE
ASYMMETRISCHE
MEHRPROZESSORARCHITEKTUR
363
12.3.1
ENTWURFSANFORDERUNGEN
.
363
12.3.2
DAS
ARCHITEKTURKONZEPT
.364
12.3.3
DIE
EREIGNISERFASSUNGSSCHICHT
.365
12.3.4
DIE
PRIMAERREAKTIONSSCHICHT
.367
12.3.5
DIE
SEKUNDAERREAKTIONSSCHICHT
.367
12.3.6
BEWERTUNG
.
368
12.3.7
ANWENDUNGEN
.368
12.4
ZEITGENAU
ARBEITENDE
PROZESSPERIPHERIE
.
371
12.4.1
NOTWENDIGE
FUNKTIONEN
UND
IHR
AUFRUF
IN
PEARL
.
371
12.4.2
IMPLEMENTIERUNG
DER
HARDWARE-UNTERSTUETZUNG
.372
12.4.3
BETRIEBSSYSTEMUNTERSTUETZUNG
.
375
13
DIE
SICHERHEITSGERICHTETE
ECHTZEITPROGRAMMIERSPRACHE
HI-PEARL377
13.1
PEARL
ALS
SPEZIFIKATIONSSPRACHE
.
377
13.1.1
MOTIVATION
.377
13.1.2
ZUR
ROLLE
VON
SPEZIFIKATIONEN
IN
DER
PROGRAMMENTWICKLUNG
.
.
378
13.1.3
SPEZIFIKATIONSKONZEPTE
IN
PEARL
.379
13.1.4
BEISPIEL
.382
VORWORT
XIII
13.1.5
ZUSAMMENFASSUNG
.
383
13.2
HI-PEARL
.
383
13.2.1
UEBERBLICK
UEBER
PEARL
.
383
13.2.2
MOTIVATION
ZUR
DEFINITION
VON
HI-PEARL
.
385
13.2.3
MEHRRECHNER-PEARL
.
387
13.2.4
ZUR
ENTWICKLUNG
FEHLERTOLERANTER
UND
ROBUSTER
ECHTZEITPRO
GRAMME
ERFORDERLICHE
FUNKTIONALITAETEN
.
388
13.2.5
DEFINITION
SICHERHEITSGERICHTETER
SPRACHELEMENTE
.
391
13.2.6
SPRACHLICH
ZU
UNTERSTUETZENDE
ZUSAETZLICHE
BETRIEBSSYSTEMFUNK
TIONEN
.
395
13.2.7
SPRACHMITTEL
ZUR
SOFTWARE-VERIFIKATION
.
406
13.2.8
SCHLUSSBEMERKUNG
.406
13.3
SICHERE
SPRACHMITTEL
ZUR
FORMULIERUNG
VON
ABLAUFPLAENEN
.407
14
ABLAUFPLANUNG
UND
ZUTEILBARKEITSANALYSE
FUER
DEN
MEHRPROZESSBE
TRIEB
409
14.1
GRAPHISCHES
PROGRAMMIEREN
IM
GROSSEN
.
409
14.2
ZEITSYNCHRONE
ZUTEILUNG
.410
14.3
TERMINBEZOGENE
PROZESSORZUTEILUNG
.412
14.3.1
PROZESSORZUTEILUNGSVERFAHREN
AUS
DER
SICHT
DES
PRAKTIKERS
.
.
.
412
14.3.2
STRUKTUREIGENSCHAFTEN
DES
ANTWORTZEITALGORITHMUS
.
415
14.3.3
HINREICHENDE
BEDINGUNGEN
DER
ZEITGERECHTEN
AUSFUEHRBARKEIT
UNTER
BEACHTUNG
VON
BETRIEBSMITTELRESERVIERUNGEN
.417
14.3.4
NICHT
PRAEEMPTIVE
ANTWORTZEITZUTEILUNG
.
421
14.3.5
VERMEIDUNG
VON
KONTEXTUMSCHALTUNGEN
OHNE
VERLETZUNG
ZEIT
GERECHTER
AUSFUEHRBARKEIT
.
421
14.3.6
UEBERLASTVERMEIDUNG
DURCH
LASTADAPTIVE
DYNAMISCHE
ZUTEILUNG
424
14.4
ZUTEILBARKEITSANALYSE
VON
ECHTZEITSYSTEMEN
.
425
14.4.1
MOTIVATION
UND
UEBERBLICK
.425
14.4.2
ZUTEILBARKEITSANALYSIERBARE
ECHTZEITPROGRAMMIERSPRACHEN
.
.
.
427
14.4.3
HI-PEARL:
DIE
ZUTEILBARKEITSANALYSIERBARE
VERSION
VON
PEARL428
14.4.4
EIN
ZUTEILBARKEITSANALYSATOR
FUER
HI-PEARL
.
429
14.4.5
AUSBLICK
.
435
LITERATURVERZEICHNIS
437
STICHWORTVERZEICHNIS
451 |
| any_adam_object | 1 |
| author | Halang, Wolfgang A. 1951- Konakovsky, Rudolf |
| author_GND | (DE-588)120993732 |
| author_facet | Halang, Wolfgang A. 1951- Konakovsky, Rudolf |
| author_role | aut aut |
| author_sort | Halang, Wolfgang A. 1951- |
| author_variant | w a h wa wah r k rk |
| building | Verbundindex |
| bvnumber | BV012590488 |
| classification_rvk | ST 230 ST 234 ST 267 ZQ 5450 ZQ 6200 |
| classification_tum | MSR 728f DAT 260f |
| ctrlnum | (OCoLC)45541999 (DE-599)BVBBV012590488 |
| discipline | Informatik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV012590488</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050406</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990602s1999 ad|| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">956185436</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3486240366</subfield><subfield code="9">3-486-24036-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)45541999</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012590488</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-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-2070s</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 234</subfield><subfield code="0">(DE-625)143621:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 267</subfield><subfield code="0">(DE-625)143635:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZQ 5450</subfield><subfield code="0">(DE-625)158141:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZQ 6200</subfield><subfield code="0">(DE-625)158182:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MSR 728f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 260f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Halang, Wolfgang A.</subfield><subfield code="d">1951-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120993732</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sicherheitsgerichtete Echtzeitsysteme</subfield><subfield code="c">von Wolfgang A. Halang ; Rudolf Konakovsky</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München [u.a.]</subfield><subfield code="b">Oldenbourg</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 455 S.</subfield><subfield code="b">Ill., 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="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</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="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionssicherheit</subfield><subfield code="0">(DE-588)4760707-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Betriebssicherheit</subfield><subfield code="0">(DE-588)4145063-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessleittechnik</subfield><subfield code="0">(DE-588)4312606-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Speicherprogrammierte Steuerung</subfield><subfield code="0">(DE-588)4116559-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)4151278-9</subfield><subfield code="a">Einführung</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">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Prozessleittechnik</subfield><subfield code="0">(DE-588)4312606-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Betriebssicherheit</subfield><subfield code="0">(DE-588)4145063-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Speicherprogrammierte Steuerung</subfield><subfield code="0">(DE-588)4116559-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Speicherprogrammierte Steuerung</subfield><subfield code="0">(DE-588)4116559-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Funktionssicherheit</subfield><subfield code="0">(DE-588)4760707-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Speicherprogrammierte Steuerung</subfield><subfield code="0">(DE-588)4116559-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Konakovsky, Rudolf</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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=008549376&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008549376</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV012590488 |
| illustrated | Illustrated |
| indexdate | 2024-08-16T00:12:56Z |
| institution | BVB |
| isbn | 3486240366 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008549376 |
| oclc_num | 45541999 |
| open_access_boolean | |
| owner | DE-20 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-210 DE-92 DE-12 DE-859 DE-29T DE-634 DE-2070s |
| owner_facet | DE-20 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-210 DE-92 DE-12 DE-859 DE-29T DE-634 DE-2070s |
| physical | XVII, 455 S. Ill., graph. Darst. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Oldenbourg |
| record_format | marc |
| spelling | Halang, Wolfgang A. 1951- Verfasser (DE-588)120993732 aut Sicherheitsgerichtete Echtzeitsysteme von Wolfgang A. Halang ; Rudolf Konakovsky München [u.a.] Oldenbourg 1999 XVII, 455 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Prozessautomation (DE-588)4176053-0 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Funktionssicherheit (DE-588)4760707-5 gnd rswk-swf Betriebssicherheit (DE-588)4145063-2 gnd rswk-swf Prozessleittechnik (DE-588)4312606-6 gnd rswk-swf Speicherprogrammierte Steuerung (DE-588)4116559-7 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Prozessautomation (DE-588)4176053-0 s Echtzeitsystem (DE-588)4131397-5 s Prozessleittechnik (DE-588)4312606-6 s Betriebssicherheit (DE-588)4145063-2 s Softwareentwicklung (DE-588)4116522-6 s Zuverlässigkeit (DE-588)4059245-5 s Speicherprogrammierte Steuerung (DE-588)4116559-7 s 1\p DE-604 Funktionssicherheit (DE-588)4760707-5 s 2\p DE-604 DE-604 Konakovsky, Rudolf Verfasser aut DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008549376&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Halang, Wolfgang A. 1951- Konakovsky, Rudolf Sicherheitsgerichtete Echtzeitsysteme Softwareentwicklung (DE-588)4116522-6 gnd Echtzeitsystem (DE-588)4131397-5 gnd Prozessautomation (DE-588)4176053-0 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Funktionssicherheit (DE-588)4760707-5 gnd Betriebssicherheit (DE-588)4145063-2 gnd Prozessleittechnik (DE-588)4312606-6 gnd Speicherprogrammierte Steuerung (DE-588)4116559-7 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4131397-5 (DE-588)4176053-0 (DE-588)4059245-5 (DE-588)4760707-5 (DE-588)4145063-2 (DE-588)4312606-6 (DE-588)4116559-7 (DE-588)4151278-9 |
| title | Sicherheitsgerichtete Echtzeitsysteme |
| title_auth | Sicherheitsgerichtete Echtzeitsysteme |
| title_exact_search | Sicherheitsgerichtete Echtzeitsysteme |
| title_full | Sicherheitsgerichtete Echtzeitsysteme von Wolfgang A. Halang ; Rudolf Konakovsky |
| title_fullStr | Sicherheitsgerichtete Echtzeitsysteme von Wolfgang A. Halang ; Rudolf Konakovsky |
| title_full_unstemmed | Sicherheitsgerichtete Echtzeitsysteme von Wolfgang A. Halang ; Rudolf Konakovsky |
| title_short | Sicherheitsgerichtete Echtzeitsysteme |
| title_sort | sicherheitsgerichtete echtzeitsysteme |
| topic | Softwareentwicklung (DE-588)4116522-6 gnd Echtzeitsystem (DE-588)4131397-5 gnd Prozessautomation (DE-588)4176053-0 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Funktionssicherheit (DE-588)4760707-5 gnd Betriebssicherheit (DE-588)4145063-2 gnd Prozessleittechnik (DE-588)4312606-6 gnd Speicherprogrammierte Steuerung (DE-588)4116559-7 gnd |
| topic_facet | Softwareentwicklung Echtzeitsystem Prozessautomation Zuverlässigkeit Funktionssicherheit Betriebssicherheit Prozessleittechnik Speicherprogrammierte Steuerung Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008549376&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT halangwolfganga sicherheitsgerichteteechtzeitsysteme AT konakovskyrudolf sicherheitsgerichteteechtzeitsysteme |