Author(s)

E. Schnieder, A. Janhsen, K. Jopke, J. Kiefer, S. Kiriczi, D. Leinhos & A.G. Schielke

Abstract

A promising and practicable basis to perform an evolutional way of system development with respect to grown structures and existing infrastructure is shown in this paper. Therefore, structured methods together with hierarchical orders are invented using separation of function and implementation as an unavoidable prerequisite. The paper shows the application of the outlined modeling policies to several different aspects of railway operations control systems (train control system, safety proof for mag lev train operation system, train localization, satellite navigation). A brief outlook is given on how these policies can also be used for the

Keywords