Level crossings are defined as passive and automated ones. Traffic risk of the automated level crossing is analyzed and estimated. The function and the dependability of the level crossing control system are modeled based on the stochastic Petri nets. The relationship between the national statistic data and the densities of the road users and railway train is set up and a mathematical function is used to describe the relation between the road users' action and the national dat. The parameters of the Petri nets based model is identified and validated based on the available data and finally the personal risk ofthe level crossing is estimated.
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 will be 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 coloured Petrinets 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 which 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.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.