The use of UML for development of a railway interlocking system

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

Volumn 3147, Issue , 2004, Pages 174-198

  Rástočný, Karol ^a   Janota, Aleš ^a   Zahradník, Jiří ^a  

^a UNIVERSITY OF ILINA   (Slovakia)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; RAILROADS; SAFETY DEVICES; UNIFIED MODELING LANGUAGE;

COMPUTER BASED INTERLOCKING; FUNCTIONAL SAFETY; INTERLOCKING SYSTEMS; OBJECT ORIENTED APPROACH; PRACTICAL EXPERIENCE; RAILWAY INTERLOCKING SYSTEM; SEMI-FORMAL SPECIFICATION; SIGNALLING SYSTEMS;

INTERLOCKING SIGNALS;

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

References (10)

1. OMG Unified Modeling Language Specification 1.3. Object Management Group. http://www.omg.org/cgi-bin/doc?formal/00-03-01
2. ISO/IEC DIS 19501-1: Information Technology - Unified Modeling Language (UML) - Part 1: Specification. Edition 1 (2000) 1024 p.
3. Coad, P., Yourdon, E.: Object Oriented Analysis. Prentice-Hall, Englewood Cliffs, New Jersey (1990)
4. David E. Monarchi, Gretchen I. Puhr: A Research Typology for Object-Oriented Analysis and Design. Communications of the ACM, 35(9) (1992) 35-47
5. TNŽ 34 2620: Predpisy pre staničné zabezpečovacie zariadenia (Regulations for railway interlocking apparatus). (1996) 23 p.
6. rd Int. Workshop on Computer Science and Information Technologies. Vol. 3 - USATU Publishers, Ufa, Russia (2001) 194-198
7. st Century, Warszawa (2001) 93-100
8. Rástočný, K., Zahradník, J., Janota, A.: An Object Oriented Model of Railway Safety-Related Control System. Communications, No. 4, ŽU in Žilina (2002) 32-39
9. Rástočný, K., Janota, A., Zahradník, J.: The Use of UML to Development of a Railway Interlocking System. Advances in Electrical and Electronic Engineering, Vol. 2, No. 2 (2003) 48-54
10. Zahradník, J., Rástočný, K., Janota, A.: UML - based Specification of a Railway Interlocking and Signalling System. In: Workshop on "Software Specification of Safety relevant Transportation Control Tasks" (E. Schnieder, Ed.), VDI-Report, Düsseldorf (2003) 131-142