Formal development and verification of a distributed railway control system

IEEE Transactions on Software Engineering

Volumn 26, Issue 8, 2000, Pages 687-701

  Haxthausen, Anne E ^a   Peleska, Jan ^b  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; CONTROL SYSTEM ANALYSIS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; RAILROAD ACCIDENTS;

DISTRIBUTED RAILWAYS CONTROL SYSTEMS;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

EID: 0034245344     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.879808     Document Type: Article

References (12)

1. D. Bjørner, C.W. George, B. Stig Hansen, H. Laustrup, and S. Prehn, "A Railway System, Coordination '97, Case Study Workshop Example," Technical Report 93, United Nations University's Int'l Inst. for Software Technology, Macau, 1997.
2. B. Dehbonei and F. Mejia, " Formal Development of Safety-Critical Software Systems in Railway Signalling," Applications of Formal Methods, M.G. Hinchey and J.P. Bowen, eds., pp. 227-252, Prentice Hall, 1995.
3. U. Oser, J. Arms, and H. Wegel, " FunkFahrBetrieb (FFB) Zum Wirtschaftlichen Einsatz auf Regionalstrecken," Eisenbahntechnische Rundschau (ETR) vol. 46 Heft 6, pp. 323-331, 1997.
4. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns. Addison Wesley, 1995.
5. K. Mark Hansen, " Linking Safety Analysis to Safety Requirements - Exemplified by Railway Interlocking Systems," PhD dissertation, Technical Univ. Denmark, Lyngby, Dept. of Information Technology, 1996.
6. K. Mark Hansen, " Formalising Railway Interlocking Systems," Proc. Second FMERail Workshop, Oct. 1998.
7. A. Haxthausen and J. Peleska, " A Distributed Railway Control System-Selected Proofs," Feb. 2000. http://www.it.dtu.dk/ah/Dracos.
8. J. Peleska and B. Buth, " Formal Methods for the International Space Station ISS," Correct System Design. E.-R. Olderog, and B. Steffen, eds., pp. 363-389, 1999.
9. J. Peleska, A. Baer, and A. Haxthausen, " Towards Domain-Specific Formal Specification Languages for Railway Control Systems," Proc. Transportation Systems 2000, June, 2000.
10. The RAISE Language Group, The RAISE Specification Language. The BCS Practitioners Series, Prentice Hall, 1992.
11. The RAISE Method Group, The RAISE Development Method. The BCS Practitioners Series, Prentice Hall, 1995.
12. N. Storey, Safety-Critical Computer Systems. Addison Wesley, 1996.