Die Formalisierte Terminologie Der Verlässlichkeit Technischer Systeme

ISBN-13: 9783662469217 / Niemiecki / Twarda / 2015

Jorg R. Muller

Opis

"Die Grenzen meiner Sprache bedeuten die Grenzen meiner Welt diese Erkenntnis Ludwig Wittgensteins begrundet besonders hinsichtlich der Zunahme von interdisziplinaren Forschungs- und Entwicklungsprojekten und den damit sprachlich zu uberwindenden Disziplingrenzen, die Notwendigkeit forcierter Terminologiearbeit. Exemplarisch wird fur den Anwendungskontext der Verlasslichkeit technischer Systeme ein mehrdimensionales Terminologiegebaude durch verschrankte Kombination von Prazisierungsmethoden aufgebaut: Begriffe werden durch Ausdifferenzierung ihrer Binnenstruktur intensional hierarchisiert; zudem wird die Interpretationsfreiheit von Bezeichnungen und damit die Begriffsunscharfe durch vertikale Generalisierungs- und Spezialisierungsbeziehungen, sowie durch horizontale Vernetzung auf Grundlage der Zustands-Ereignis-Dualitat, eingeschrankt. Im Ergebnis entsteht ein konsistentes und prazises Terminologiegebaude der Verlasslichkeit technischer Systeme. Die Anwendung auf diese Domane hat dabei exemplarischen Charakter: Der verschrankt-kombinierten Anwendung der hier verwendeten Beschreibungssprachen, sowie strukturgebenden Konzepte auf andere Domanen steht nichts im Wege."

Spis treści

Einleitung.- Grundlagen der verwendeten Beschreibungsmittel.- Systemtheorie und Semiotik: Eigenschaften und Formalisierung.- Formalisierung der Überlebensfähigkeit als Systemeigenschaft.- Formalisierung der Instandhaltbarkeit als Systemeigenschaft.- Formalisierung der Verfügbarkeit als Systemeigenschaft.- Formalisierung von Sicherheitsbegriffen im Kontext der technischen Verlässlichkeit.- Zusammenfassung und Appell.- Index der Verlässlichkeitsbegriffe.- Sachverzeichnis.

O autorze

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“.

Blurb

„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 die Notwendigkeit forcierter Terminologiearbeit, damit interdisziplinäre Kommunikation eineindeutig interpretiert werden kann.

 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 intensional hierarchisiert; zudem wird die Interpretationsfreiheit von Bezeichnungen und damit die Begriffsunschärfe eingeschränkt.

Im Ergebnis entsteht ein konsistentes und präzises Terminologiegebäude, beispielhaft für die Verlässlichkeit technischer Systeme ausgeführt. Der Übertragung der hier verwendeten Beschreibungssprachen, sowie der strukturgebenden Konzepte, auf andere Domänen steht nichts im Wege.

 

Der Autor

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, zudem ist er Mitglied im Fachbeirat „Sicherheit und Zuverlässigkeit“ der VDI-Gesellschaft für Produkt- und Prozessgestaltung und leitet hier den Fachausschuss "Software-Zuverlässigkeit".