Abstract
This chapter describes the results of the work conducted within the METRIP project in order to define a tool-chain supporting the methodological approach to the protection of railway infrastructures. The proposed tool-chain allows for: (a) modelling the RIS infrastructure, attack scenarios and protection technologies, (b) generating quantitative models to perform vulnerability analyses, and (c) generating and solving integer linear programming covering models to determine the optimal design choice in the development of physical protection systems. The chapter illustrates the functional and logical architecture of the tool-chain and describes the realization of a prototype to demonstrate the feasibility and effectiveness of the proposed approach.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Also referred as baseline security system (BSS, Chap. 9).
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
References
Schmidt DC (2006) Model-driven engineering. IEEE Comput 39(2):25–31
Sendall S, Kozaczynski W (2003) Model transformation: the heart and soul of model-driven software development. IEEE Softw 20:42–45
Marrone S, Nardone R, Tedesco A, D’Amore P, Vittorini V, Setola R, De Cillis F, Mazzocca N (2013) Vulnerability modelling and analysis for critical infrastructure protection applications. Int J Crit Infrastr Prot 6 (3–4):217–227. ISSN 1874-5482. http://dx.doi.org/10.1016/j.ijcip.2013.10.001
Sforza A, Sterle C, D’Amore P, Tedesco A, De Cillis F, Setola R (2013) Optimization models in a smart tool for the railway infrastructure protection. Lecture notes in computer science, 8328 LNCS, pp 191–196. doi:10.1007/978-3-319-03964-0_17
Toregas C, ReVelle C, Swain R, Bergman L (1971) The location of emergency service facilities. Oper Res 19:1363–1373
Church R, ReVelle C (1974) The maximal covering location problem. Pap Reg Sci Assoc 32:101–118
Trivedi KS (2002) Probability and statistics with reliability, queuing, and computer science applications. Wiley, New York. ISBN 0-471-33341-7
Heckerman D, Geiger D, Chickering DM (1995) Learning Bayesian networks: the combination of knowledge and statistical data. Mach Learn 20(3):197–243
Peterson JL (1981) Petri net theory and the modelling of systems. Prentice Hall. ISBN 0-13-661983-5
FICOTM Xpress Optimization Suite (2009) Xpress-Optimizer reference manual. Release 20.00
Christelle G, Prins C, Sevaux M (2002) Applications of optimization with Xpress-MP. Dash Optimization, Paris
Jouault F, Allilaire F, Bézivin J, Kurtev I (2008) ATL: a model transformation tool. Sci Comput Program 72(1–2):31–39
Jouault F, Kurtev I (2006) Transforming models with ATL. In: Satellite events at the MoDELS 2005 conference. Springer, pp 128–138
Acknowledgments
This work is supported by Ansaldo STS under Grant HOME/2010/CIPS/AG/035 METRIP—MEthodological Tools for Railway Infrastructure Protection, financed by the European Commission, Directorate-General Home Affairs, within the Specific Programme on Prevention, Preparedness and Consequence Management of Terrorism and other Security-related risks.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Marrone, S., Mazzocca, N., Pragliola, C., Sforza, A., Sterle, C., Vittorini, V. (2015). The METRIP Tool. In: Setola, R., Sforza, A., Vittorini, V., Pragliola, C. (eds) Railway Infrastructure Security. Topics in Safety, Risk, Reliability and Quality, vol 27. Springer, Cham. https://doi.org/10.1007/978-3-319-04426-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-04426-2_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-04425-5
Online ISBN: 978-3-319-04426-2
eBook Packages: EngineeringEngineering (R0)