In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'2000), 8-11 October 2000, Nashville, TN, Vol. 4, pages 3207-3211. 2000.
Abstract: European cooperation and new technologies have an effect on the process of the requirements specification in the development of train control systems. The meaning of requirements specification under these circumstances and aspects of the system which have to be described in it are discussed. With the goal to achieve a complete behavior specification in a methodically efficient manner a modeling approach to the recording and description of the relevant behavior aspects is introduced. The approach is based on the use of colored Petri nets as a formal notation allowing formal analysis. Using the case example of a decentralized level crossing control system, the operational view and its model representation are explained. This view is consistently extended across the technical concept of the system by systematic refinement of the model. Not only the regular technical events realizing the operational requirements, but also alternatives occurring by system malfunction are taken into account. Furthermore, operational events deviate from the regular course of behavior, are integrated, so that the produced model leads to a closed illustration of the permissible system behavior from an operational view in reference to its technical conception.
Keywords: colored Petri nets, operational specifications, train control systems.