Slovak, R.; Wegele, S.; Schnieder, E.:
Process-based safety requirements parameter derivation for a transportation system using stochastic petri nets modelling.
In: Kableschkow, T., Hrsg.: Tagungsband Scientific Conference Transport 2003, S. 463-470, Sofia, Bulgarien, November 2003. Scientific Conference Transport 2003/ Sofia, Bulgarien, 13.-14.11.2003.


Application of universal transportation control systems designed in order to fulfil the highest safety requirements is related with high investing, operation and maintenance costs. A solution offers application of the new CENELEC standards for railway application, which declare the definition of safety based on the operational risk in the transportation process. Application of the standard recommends usage of formal methods as a support mean of design and analysis in regard on the required legislative assessment. The paper presents an approach how to derive the system safety requirements parameter of a reilway operation control system according to the attributes of the expected transportation process. The main tasks of safety analysis (risk analysis, system hazard analysis) are explained, emphasizing the relation towards the transportation process. As an example, the risk and system hazard analysis of a simplified level crossing sontrol system is presented. For the quantitative parameter evaluation is applied the formal modelling using Extended Deterministic and Stochastic Petri Nets (EDSPN).