Abstract
Although train control system (TCS) is regarded relatively safe, accidents still happened from time to time. In this paper, we propose a simulation based approach to elicit new requirements from accidents and then modify the TCS to provide a more reliable and safer system. A Modelica system model is constructed to describe the structure and interactions of TCS according to the continuous behavior and discrete fault event of TCS devices. A Modelica accident model is also defined based on the system model in order to predict accidents. These Modelica models are simulated in Open Modelica until all scenarios (paths) are covered. By analyzing the simulation results which indicate the causes of accidents, we elicit new requirements, and modify the original system model. Simulation is used again to show that these modifications could effectively avoid such accidents. A case study is provided to validate our approach.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Stamatelatos, M., Vesley, W.: Fault Tree Handbook with Aerospace Applications (Draft). Nasa Office of Safety & Mission Assurance Nasa Headquarters Washington DC (2002)
Ravi Sankar, N., Prabhu, B.S.: Modified approach for prioritization of failures in a system failure mode and effects analysis. Int. J. Qual. Reliab. Manag. 18(3), 324–336 (2001)
Dunjó, J., Fthenakis, V., VÃlchez, J.A., et al.: Hazard and operability (HAZOP) analysis. a literature review. J. Hazard. Mater. 173(1), 19–32 (2010)
Ericson, C.A.: Event tree analysis. In: Hazard Analysis Techniques for System Safety, pp. 223–234 (2005)
Chiappini, A., Cimatti, A., Porzia, C., Rotondo, G., Sebastiani, R., Traverso, P., Villafiorita, A.: Formal specification and development of a safety-critical train management system. In: Felici, M., Kanoun, K. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 410–419. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48249-0_35
Cimatti, A.: Industrial Applications of Model Checking. In: Cassez, F., Jard, C., Rozoy, B., Ryan, M.D. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 153–168. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45510-8_6
Cimatti, A., Pieraccini, P.L., Sebastiani, R., Traverso, P., Villafiorita, A.: Formal specification and validation of a vital communication protocol. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1709, pp. 1584–1604. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48118-4_34
Hinchey, M.G., Bowen, J.P. (eds.): Industrial Strength Formal Methods in Practice. Formal Approaches to Computing and Information Technology. Springer, London (1999). https://doi.org/10.1007/978-1-4471-0523-7
Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley, New Jersey (2010)
Tiller, M. (ed.): Introduction to Physical Modeling with Modelica. Springer, Boston (2012). https://doi.org/10.1007/978-1-4615-1561-6
Lu, Y., Peng, Z., Miller, A., et al.: Timed fault tree models of the China Yongwen railway accident. In: 2014 8th Asia Modelling Symposium (AMS), pp. 128–133. IEEE (2014)
Helmer, G., Wong, J., Slagell, M., et al.: A software fault tree approach to requirements analysis of an intrusion detection system. Requirements Eng. 7(4), 207–220 (2002)
San Kim, D., Yoon, W.C.: An accident causation model for the railway industry: Application of the model to 80 rail accident investigation reports from the UK. Saf. Sci. 60, 57–68 (2013)
Vernez, D., Buchs, D., Pierrehumbert, G.: Perspectives in the use of coloured Petri nets for risk analysis and accident modelling. Saf. Sci. 41(5), 445–463 (2003)
Yamaguchi, T., Kaga, T., Seshia, S.A.: Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems. In: Conference on Formal Methods in Computer-Aided Design. FMCAD Inc., pp. 201–204 (2016)
Acknowledgements
This paper is partially supported by the projects funded by the NSFC No. 61472140, 61572195 and, NSFC Key Project 61332008, and SHEITC160306.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Zhong, W., Wang, Y., Chen, X. (2018). New Requirements Elicited from Accidents of Train Control System Simulated by Modelica. In: Kamalrudin, M., Ahmad, S., Ikram, N. (eds) Requirements Engineering for Internet of Things. APRES 2017. Communications in Computer and Information Science, vol 809. Springer, Singapore. https://doi.org/10.1007/978-981-10-7796-8_15
Download citation
DOI: https://doi.org/10.1007/978-981-10-7796-8_15
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-7795-1
Online ISBN: 978-981-10-7796-8
eBook Packages: Computer ScienceComputer Science (R0)