Paper Info
Title
Hierarchical Modelling Of Complex Control Systems: Dependability Analysis Of A Railway Interlocking
Abstract
This paper reports an experience made in building a model and analysing the dependability of an actual railway station interlocking control system. Despite our analysis has been restricted to the Safety Nucleus subsystem, mastering complexity and size required a considerable effort. We identified a modelling strategy, based on a modular, hierarchical decomposition allowing to use different methods and tools for modelling at the various level of the hierarchy. This multi-layered modelling methodology led to an accurate representation of the system behaviour and allowed us (i) to keep under control the size of the models within the different levels to be easily managed by the automatic tools, (ii) to make changes in the model in a very easy and cheap way. The paper contains also examples of the extensive analyses performed regarding the sensitivity of the dependability measures to variations of critical parameters and towards the validation of the assumptions made.
Year
Venue
Keywords
2001
COMPUTER SYSTEMS SCIENCE AND ENGINEERING
computer based interlocking systems, analytical modelling and evaluation, hierarchical modelling methodology, unsafety, reliability, availability, sensitivity analysis
Field
DocType
Volume
Dependability analysis,Dependability,Architecture,Interlocking,Computer science,Control system,Operating system,Reliability engineering,Distributed computing
Journal
16
Issue
ISSN
Citations 
4
0267-6192
3
PageRank 
References 
Authors
0.42
8
4
Name
Order
Citations
PageRank
Andrea Bondavalli1886133.06
Manuela Nelli2263.20
Luca Simoncini318424.69
Giorgio Mongardi4696.34