Slovak, R.; May, J.; Schnieder, E.:
Profund Modelling for Holistic Risk and availability Analysis by means of stochastic Petri nets applied to a Level Crossing Control System.
In: Tarnai, G.; Schnieder, E., Hrsg.: Formal Methods for Railway Operation and Control Systems, S. 221-232, Budapest, 2003. Symposium FORMS 2003, L'Harmattan.


The paper deals with a formal approach to the risk and availability analysis based on Stochastic Petri Nets for a railway operation control system. The PROFUND methodical design concept basing on PROcess, FUNctional and Dependability modelling is presented taking example of a level crossing control system. Due to the usage of a special class of stochastic Petri Nets a qualitative, as well as a quantitative model analysis according to the requirements of CENELEC standards is supported. Using a representation of the results analysis by the availability/safety diagram the influence of functional and technical design parameters on the resulting operational risk and availability is outlined.