Logo des IfEV

Formale methods for requirement specification

Bild: UML-DiagrammSemi-formal and formal methods that originate from computer sciences offer interesting possibilities to specify the requirements for new technologies. The IfEV works together with computer science institutes to integrate these means of depiction into the work methods of engineers. The DFG has sponsored the research project SafeRail throughout the full term of six years. Work in this research area will continue in cooperation with computer scientists from the summer of 2006 onwards. From now on, the work will be sponsored by an industry trust.



  • Arabestani, Saeid; Bitsch, Friedemann; Gayen, Jan-Tecker: Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements. In H. Ehrig et al. (Eds.): INT 2004, LNCS 3147, pp. 119-144, Springer-Verlag 2004
  • Arabestani, Saeid; Gayen, Jan-Tecker: Prinzip der Vererbung bei der objektorientiertenAnalyse am Beispiel der funkbasierten Bahnübergangssteuerung. Forms 2000 - Formale Techniken für die Eisenbahnsicherung, Fortschritt-Berichte VDI, Reihe 12, Nr. 441, 2000
  • Arabestani, Saeid; Gayen, Jan-Tecker: Objektorientierte Analyse zur Modellierung im Eisenbahnwesen. Signal + Draht, 92(2000)1+2, S. 20-27

  last changed 12.04.2018
TU_Icon_E_Mail_1_17x17_RGB pagetop