Müller Die Formalisierte Terminologie der Verlässlichkeit Technischer Systeme

1. Auflage 2015
ISBN: 978-3-662-46922-4
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Deutsch, 161 Seiten

Reihe: Computer Science and Engineering (German Language)

'Die Grenzen meiner Sprache bedeuten die Grenzen meiner Welt' - diese Erkenntnis Ludwig Wittgensteins begründet besonders hinsichtlich der Zunahme von interdisziplinären Forschungs- und Entwicklungsprojekten und den damit sprachlich zu überwindenden Disziplingrenzen, die Notwendigkeit forcierter Terminologiearbeit. Exemplarisch wird für den Anwendungskontext der Verlässlichkeit technischer Systeme ein mehrdimensionales Terminologiegebäude durch verschränkte Kombination von Präzisierungsmethoden aufgebaut: Begriffe werden durch Ausdifferenzierung ihrer Binnenstruktur intensional hierarchisiert; zudem wird die Interpretationsfreiheit von Bezeichnungen und damit die Begriffsunschärfe durch vertikale Generalisierungs- und Spezialisierungsbeziehungen, sowie durch horizontale Vernetzung auf Grundlage der Zustands-Ereignis-Dualität, eingeschränkt. Im Ergebnis entsteht ein konsistentes und präzises Terminologiegebäude der Verlässlichkeit technischer Systeme. Die Anwendung auf diese Domäne hat dabei exemplarischen Charakter: Der verschränkt-kombinierten Anwendung der hier verwendeten Beschreibungssprachen, sowie strukturgebenden Konzepte auf andere Domänen steht nichts im Wege.

Priv.-Doz. Dr. rer. nat. Jörg Rudolf Müller wurde am 01.05.1972 geboren. Nach dem Studium und der Promotion in Informatik an der Universität in Koblenz (1998 und 2004), wurde er 2013 an der Fakultät für Maschinenbau der TU-Braunschweig habilitiert und erhielt die venia legendi im Bereich 'Zuverlässigkeit und Sicherheit automatisierter Verkehrssysteme'. Seit Oktober 2011 ist er bei der Bombardier Transportation GmbH als Projekt- und seit Mai 2014 als Abteilungsleiter tätig.Als Mitglied im Referat K132 'Zuverlässigkeit' der DKE hat er die Veröffentlichung des IEC-Standards 62551 'Analysis techniques for dependability - Petri-nets' geleitet, er ist Mitglied im Fachbeirat der VDI-Gesellschaft Produkt- und Prozessgestaltung (VDI-GPP), Fachbereich Zuverlässigkeit und leitet den VDI-Fachausschuss 'Software-Zuverlässigkeit'.

Autoren/Hrsg.

Müller, Jörg R.

Inhaltsverzeichnis

1;Vorwort;5
2;Inhaltsverzeichnis;6
3;1 Einleitung;9
3.1;1.1 Rahmen und Ziel;9
3.2;1.2 Der Aufbau dieser Arbeit;12
3.3;Literatur;15
4;2 Grundlagen der verwendeten Beschreibungsmittel;16
4.1;2.1 Mathematische Grundlagen;16
4.2;2.2 UML-Klassendiagramme;24
4.3;2.3 Petrinetze;27
4.4;2.4 Zentrale Konstituenten der Semiotik;32
4.5;Literatur;39
5;3 Systemtheoretische und semiotische Eigenschaften und Formalisierung;42
5.1;3.1 Historischer Abriss;43
5.2;3.2 Grundlagen von Systemen;44
5.3;3.3 Hierarchie und Emergenz;55
5.4;3.4 Die Verschränkung systemtheoretischer und semiotischer Konzepte;57
5.5;3.5 Formalisierung der Funktionsfähigkeit und -möglichkeit als grundlegende Systemeigenschaften;75
5.6;3.6 Verlust der Funktionsfähigkeit I – internally disabled;78
5.7;3.7 Verlust der Funktionsfähigkeit II – preventive maintenance;79
5.8;3.8 Verlust der Funktionsmöglichkeit – externally disabled;81
5.9;3.9 Integration von Funktionsfähigkeit und -möglichkeit;83
5.10;Literatur;85
6;4 Formalisierung der Überlebensfähigkeit als Systemeigenschaft;88
6.1;4.1 Formalisierung der Überlebensfähigkeit;88
6.2;4.2 Mittelwerte ausfallfreier Zeiten;94
6.3;4.3 Strukturelle Beeinflussung der Überlebensfähigkeit;96
6.4;4.4 Common Mode und Common Cause Failure;105
6.5;Literatur;108
7;5 Formalisierung der Instandhaltbarkeit als Systemeigenschaft;109
7.1;5.1 Formalisierung der Instandhaltbarkeit;109
7.2;5.2 Mittelwerte von Wiederherstellungszeiten;122
7.3;Literatur;124
8;6 Formalisierung der Verfügbarkeit als Systemeigenschaft;125
8.1;6.1 Formalisierung der Verfügbarkeit;125
8.2;6.2 Die stationäre Verfügbarkeit;131
8.3;6.3 Strukturelle Beeinflussung der Verfügbarkeit;132
8.4;6.4 Die Zuverlässigkeit von Systemen;135
8.5;Literatur;136
9;7 Formalisierung von Sicherheitsbegriffen im Kontextder technischen Verlässlichkeit;137
9.1;7.1 Formalisierung der Verlässlichkeit und ihrer Konstituenten;137
9.2;7.2 Erweiterung des Risikobegriffs;144
9.3;7.3 Das Verhältnis der THR zur PFD;146
9.4;7.4 Kontinuitäts- und Sicherheitsintegritätsanforderungen in der Luftfahrt;150
9.5;Literatur;155
10;8 Zusammenfassung und Appell;157
10.1;Literatur;158
11;Index der Verlässlichkeitsbegriffe;159