Safety And Reliability In Computer-basedTraffic Managment: A Probabilistic ApproachUsing Petri Nets
Pierluigi Firpo, Stefano Savio, G. Sciutto · WIT transactions on the built environment · 1970
Real time computer systems, already employed in several industrial fields, as far as system management concerns, are today applied, thanks to their high flexibility, reliability and compactness, also in the transport area, particularly in life-critical applications, where electromechanical devices are state of the art. In such applications safety and reliability must be the keywords of the problem: safety to preserve human lives from dangerous events and reliability to keep the system operational as far as possible. One of the most flexible approaches is the statistical approach based on the high modelling capabilities of Petri nets. In particular, the stochastic extension of Petri nets is today, probably, the best modelling tool to perform safety and reliability analysis of real time computer systems. In this paper the authors present a safety and reliability analysis, based on a Petri net model, of a life-critical system; a central apparatus for veichle routing and peripheral management for a railway station traffic control, is modelled and statistical results are presented.