Die Arbeit ist ein Beitrag zur ingenieurgerechten Handhabung formaler Techniken im Allgemeinen sowie zur Spezifikation und Analyse operationaler Prozesse der Automatisierungstechnik im Speziellen. Sie stellt eine formale Technik vor, die entwickelt wurde, weil konventionelle Spezifikationen in diesem Bereich nur sehr schwer auf Vollständigkeit und Korrektheit überprüft werden können. Die formale Technik STOP basiert auf Petrinetzen. Sie wird gezielt aus Anwendersicht, d.h. ingenieurgerecht, beschrieben. Die Arbeit liefert dazu einen sogenannten Entwicklungsrahmen zur pragmatischen Festlegung von formalen Techniken. Zur Beschreibung von STOP zählen der Anwendungsbereich der Technik, die Aspekte des verwendeten bzw. entwickelten Beschreibungsmittels sowie die angewendeten und erarbeiteten Methoden. Schließlich wird die formale Technik an einem Fallbeispiel aus der Eisenbahnsicherung angewendet.
Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel Eisenbahnsicherung
2003
224 Seiten, 130 Bilder, 4 Tabellen, 68 Quellen
Hochschulschrift
Deutsch
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
TIBKAT | 2000
|Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung
Tema Archiv | 2000
|Petrinetze fur die durchgangige Entwicklung von Systemen der Eisenbahnsicherung
British Library Conference Proceedings | 2000
|