Precise definition of the single-track level crossing in radio-based operation in UML notation and specification of safety requirements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3147, Issue , 2004, Pages 119-144

  Arabestani, Saeid ^a   Bitsch, Friedemann ^b   Gayen, Jan Tecker ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^b UNIVERSITY OF STUTTGART   (Germany)

Author keywords

Level crossing; Object orientation; Radio based train control system (FFB); Safety patterns; Safety requirements specification; UML

Indexed keywords

RAILROAD CROSSINGS; RAILROAD TRANSPORTATION; RAILROADS; UNIFIED MODELING LANGUAGE;

CENELEC STANDARDS; LEVEL CROSSING; LOGIC LANGUAGES; OBJECT ORIENTATION; PRECISE DEFINITION; RADIO BASED TRAIN CONTROL; RAILWAY SYSTEM; SAFETY REQUIREMENTS;

FORMAL SPECIFICATION;

EID: 35048870772     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27863-4_9     Document Type: Article

References (28)

1. Adtranz: Lastenhefte zum Funkfahibetrieb (FFB), Deutsche Bahn AG (1997)
2. Arabestani, S.: Umschreibung von Zustandsdiagrammen der UML für das ModelChecking. In: Schnieder, E. (Hrsg.): Entwurfsmethodik, Modellbildung, Werkzeuge und Anwendungen, 8. Fachtagung EKA (2003) S. 63-79
3. Arabestani, S.: Relations in Object-Oriented Analysis. In: Ehrig, H., Grosse-Rhode, M. (eds.): Proceedings of 2nd International Workshop on Software Specification Techniques-Satelite Event of ETAPS (2002) pp. 37-47
4. Arabestani, S., Gayen, J.-T.: Objektorientierte Analyse zur Modellierung im Eisenbahnwesen. Signal & Draht 92 (2000) 1+2, S. 20-27
5. Arabestani, S., Gayen, J.-T.: Prinzip der Vererbung bei der objektorientierten Analyse am Beispiel der funkbasierten Bahnübergangssteuerung. In: Schnieder, E. (Hrsg.): Forms 2000 - Formale Techniken für die Eisenbahnsicherung, Fortschritt-Berichte VDI, Reihe 12, Verkehrstechnik/Fahrzeugtechnik, Nr. 441 (2000)
6. Bitsch, F., Canver, E., Moik, A.: Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode. In: Schnieder, E. (Hrsg.): Forms '99 - Formale Techniken für die Eisenbahnsicherung, Fortschritt-Berichte VDI, Reihe 12, Verkehrstechnik/Fahrzeugtechnik, Nr.436, VDI Verlag GmbH, Düsseldorf (2000) S. 225-245
7. Bitsch, F., Göhner, P.: Spezifikation von Sicherheitsanforderungen mit Safety-Pattern. Software Engineering in der industriellen Praxis, VDI-Bericht-Nr. 1666, Düsseldorf (2002) S. 29-40
8. Bitsch, F.: A Way for Applicable Formal Specification of Safety Requirements by ToolSupport. In: Tamai, G., Schnieder, E. (eds.): Proceedings of FORMS 2003 - Formal Methods for Railway Operation and Control Systems, L'Harmattan, Budapest (2003) pp. 175-185
9. Bitsch, F.: Process Model for the Development of System Requirements Specifications for Railway Systems. In: Schnieder, E. (ed.): Workshop on Software specification of safety relevant transportation control tasks, VDI-Fortschrittbericht, Reihe 12, Verkehrstechnik/Fahrzeugtechnik, Nr.535, VDI Verlag GmbH, Düsseldorf (2002) pp. 75-90
10. Bitsch, F.: Safety Patterns - The Key to Formal Specification of Safety Requirements. In Voges, U. (ed.): Proceedings of 20th International Conference SAFECOMP 2001 - Computer Safety Reliability and Security, LNCS, Vol. 2187. Springer-Verlag, Berlin, Heidelberg (2001) S. 176-189
11. CELENEC EN 50126: Railway Applications - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS) (1999)
12. CENELEC EN 50128: Railway Applications - Communications, signaling and processing systems - Software for railway control and protection systems (2001)
13. CENELEC EN 50129: Railway Applications - Safety related electronic systems for signaling (2000)
14. Dill, D.L., Drexler, A.J., Hu, A.J., Yang, C.H.: Protocol Verification as a Hardware Design Aid. Proc. IEEE Int'l Conf. Computer Design: VLSI in Computers and Processors (1992) pp. 522-525
15. DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik im DIN und VDE: DIN EN 61508 (VDE 0803) "Funktionale Sicherheit - Sicherheitssysteme (E/E/PES)" (2002)
16. Fingerle, M.: Konzeption zur Auswertung von UML Systemmodellen für die Durchführung von Sicherheitsanalysen. Diplomarbeit IAS, SADA Nr. 1868, Universität Stuttgart (2003)
17. Gayen, J.-T.: Sicherheitsanforderungen/-eigenschaften im FFB. http://ivev8.ivev.bau.tu-bs.de/forschung/dfg-spp/sicherheitsanforderungen/(1999)
18. Gunzert, M.: Komponentenbasierte Softwareentwicklung für sicherheitskritische eingebettete Systeme. Dissertation, IAS, Universität Stuttgart (2003)
19. Hänsel, F., Poliak, J., Slovák, R., Schnieder, E.: Reference case study "Traffic Control Systems" for comparison and validation of formal specifications using a model demonstrator. In this volume.
20. Heitmeyer, C.L.: On the Need for 'Practical' Formal Methods. In: Formal Techniques in Real-Time and Real-Time Fault-Tolerant Systems, Proc., 5th Intern. Symposium (FTRTFT98), LICS 1486, Lyngby, Denmark (1998) pp. 18-26
21. Heitmeyer, C., Kirby Jr., J., Labaw, B., Archer, M., Bharadwaj, R.: Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. IEEE Transactions on software engineering, vol. 24, no. 11 (November 1998) pp. 927-948
22. Lauber, R., Göhner, P.: Prozessautomatisierung 1. 3. Auflage, Springer Verlag, Berlin, Heidelberg, New York (1999)
23. Moik, A.: Ingenieurgerechte formale Methoden für die Entwicklung von sicheren Automatisierungssystemen. Dissertation, IAS, Universität Stuttgart (2002)
24. Ortner, E.: Methodenneutraler Fachentwurf - Zu den Grundlagen einer anwendungsorientierten Informatik. Stuttgart, Leipzig: B. G. Teubner Verlagsgesellschaft (1997)
25. Pnueli, A.: The Temporal Logic of Programs. In Proceedings of the 18th IEEE Symposium Foundations of Computer Science (FOCS 1977) pp. 46-57
26. Lakoff, G.: Linguistik und natürliche Logik. Athenäum Verlag, Frankfurt (1970)
27. Schnieder, E.: Methoden der Automatisierung - Beschreibungsmittel, Modellkonzepte und Werkzeuge für Automatisierungssysteme. Friedr. Vieweg & Sohn Verlag, Braunschweig, Wiesbaden (1999)
28. OMG Unified Modeling Language Specification, Version 1.5, OMG Document formal/03-03-01, (March 2003)