Formale Methoden bieten die Möglichkeit funktionale Systemanforderungen eindeutig und korrekt zu spezifizieren. Ihre Anwendung hat sich im Eisenbahnwesen noch nicht durchgesetzt. In diesem Beitrag wird ein ingenieurgerechtes formales Beschreibungsmittel vorgestellt, das Anwender aus unterschiedlichen Fachgebieten in die Lage versetzt, funktionale Systemanforderungen, beispielsweise für Stellwerke, formal zu beschreiben sowie deren Konsistenz und Korrektheit nachzuweisen. Entscheidungsdiagramme und präpositionale Logik werden verwendet um SRSs (funktionale Systemanforderungsspezifikation) zu derart zu spezifizieren, daß SRSs klar und unzweideutig vorliegen. OBLH-Funktionen (Objektbasiertes Lastenheft) werden formal definiert und unter Verwendung mathematisch genau definierter, geordneter binärer Entscheidungsdiagramme in einer Computersoftware implementiert. Durch die Anwendung eines OBLH zur Spezifizierung und Verifizierung von SRSs kann die Effizienz des entsprechenden Systementwicklungsprozesses erhöht, und können Entwicklungskosten reduziert werden.
Because of rare applications of formal methods among railway engineers, an engineering-oriented formal framework was developed. In this article, the concepts, the implemented tool and the formal logics of this framework were discussed and presented. Decision tables and prepositional logic are used to specify SRSs (funktionale Systemanforderungsspezifikation), such that SRSs become clear and unambiguous. OBLH (Objektbasiertes Lastenheft) functions are formally defined and are implemented to a computer software by using mathematically well-defined Ordered Binary Decision Diagrams. By using OBLH to specify and verify SRSs, the efficiency of the corresponding system development process can be increased and the development costs can be reduced.
Ein Ingenieur-gerechtes formales Beschreibungsmittel
A formal descriptive tool suitable for engineers
ETR - Eisenbahntechnische Rundschau ; 59 , 10 ; 704-709
2010
6 Seiten, 6 Bilder, 2 Tabellen, 16 Quellen
Article (Journal)
German
Ein Ingenieur-gerechtes formales Beschreibungsmittel
Online Contents | 2010
|ESP gerechtes Reifendruck Kontrollsystem
Automotive engineering | 2005
|Beschreibungsmittel für betriebliche Lastenhefte (z.B. für Stellwerke)
Tema Archive | 2010
|PP-gerechtes Konstruieren - Aspekte des Werkzeugbaus
Automotive engineering | 1991
|