A Case Study for the Automated System Development: The Satellite-Based Train Control System

Abstract

This paper shows a methodological approach for the development of complex systems with a Petri net representation for models and methodology. On the basis of the Waterfall Model (Yourdon, 1989) and the Spiral Model (Boehm, 1988) of the development process a combined frame for the automated systems development has been developed. The aim of the automated systems development is to establish a general methodological frame for the consistent systematic realisation of systems starting from the first specifications up to the real implementation. As a case study for the steps of modelling and definition of the algorithms in this approach the train control system with satellite-based locationing (SatZB) has been used . Based on the Petri net models the next step is the automatic or semi-automatic generation of source code and the assessment of the performance of this code.