Integrated Frameworks for Multi-Level and Multi-Formalism Modeling
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Architecture and Safety Requirements of the ACC Railway Interlocking System
IPDS '96 Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Towards modeling and evaluation of ETCS real-time communication and operation
Journal of Systems and Software - Special issue: Parallel and distributed real-time systems
The Simulation of Anomalies in the Functional Testing of the ERTMS/ETCS Trackside System
HASE '05 Proceedings of the Ninth IEEE International Symposium on High-Assurance Systems Engineering
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems
HASE '05 Proceedings of the Ninth IEEE International Symposium on High-Assurance Systems Engineering
UML Based Reverse Engineering for the Verification of Railway Control Logics
DEPCOS-RELCOMEX '06 Proceedings of the International Conference on Dependability of Computer Systems
The software architecture of the OsMoSys multisolution framework
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Software Testing, Verification & Reliability
Quantitative Security Risk Assessment and Management for Railway Transportation Infrastructures
Critical Information Infrastructure Security
A Study on Multiformalism Modeling of Critical Infrastructures
Critical Information Infrastructure Security
Available and safe message freshness detection algorithm
International Journal of Critical Computer-Based Systems
Computer
ARES'11 Proceedings of the IFIP WG 8.4/8.9 international cross domain conference on Availability, reliability and security for business, enterprise and health information systems
Proceedings of the 30th international conference on Computer safety, reliability, and security
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Model-driven availability evaluation of railway control systems
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
A new methodology and tool set to execute software test on real-time safety-critical systems
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
A grey-box approach to the functional testing of complex automatic train protection systems
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
A robust approach for on-line and off-line threat detection based on event tree similarity analysis
AVSS '11 Proceedings of the 2011 8th IEEE International Conference on Advanced Video and Signal Based Surveillance
Freight Train monitoring: A Case-Study for the pSHIELD Project
IMIS '12 Proceedings of the 2012 Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing
Evaluating the effects of MJPEG compression on motion tracking in metro railway surveillance
ACIVS'12 Proceedings of the 14th international conference on Advanced Concepts for Intelligent Vision Systems
Formal methods for intelligent transportation systems
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Model-Driven v&v processes for computer based control systems: a unifying perspective
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
| Hi-index | 0.00 |
Computer-based transit systems are increasingly large, distributed and heterogeneous; in one word: complex. Being 'complex' and 'open' systems, their protection against both natural faults and deliberate attacks is far from being trivial. In this paper, we report a survey of a ten years industrial experience in infrastructure and threat modelling for the assurance of reliability, safety and security in different phases of the life-cycle of rail transit systems. Described by a set of case-study applications, the experience highlights the importance of mastering advanced modelling paradigms through a strict and constant cooperation with universities and research institutes.