Analytical model-based evaluations of railway applications: a case study on sensitivity analysis

This paper reports an experience made in building a model and analysing the dependability of an actual railway station interlocking control system developed by Ansaldo Trasporti: the ACC CIS (Computer Interlocking System). Despite our decision to restrict the analysis to the Safety Nucleus subsystem a considerable effort was necessary in...