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 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
