A case study for the automated system e=development: the satellite-based train control system

摘要

This paper shows a methodological approach for the development of complex systems with a Petri ent representation for models and methodoogy. 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 fo systems starting from the first specificatiosn 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 systemw tih 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 performnce of this code.