Author(s)

P. Firpo, S. Savio & G. Sciutto

Abstract

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 auth

Keywords