{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:07:02Z","timestamp":1726042022003},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030270070"},{"type":"electronic","value":"9783030270087"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-27008-7_3","type":"book-chapter","created":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T23:12:33Z","timestamp":1566515553000},"page":"40-58","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Volk","sequence":"first","affiliation":[]},{"given":"Norman","family":"Weik","sequence":"additional","affiliation":[]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[]},{"given":"Nils","family":"Nie\u00dfen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,7,25]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.ress.2014.04.021","volume":"130","author":"J Andrews","year":"2014","unstructured":"Andrews, J., Prescott, D., Rozi\u00e8res, F.D.: A stochastic model for railway track asset management. Reliab. Eng. Syst. Saf. 130, 76\u201384 (2014)","journal-title":"Reliab. Eng. Syst. Saf."},{"issue":"4","key":"3_CR2","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1017\/S0960129512000254","volume":"23","author":"C Baier","year":"2013","unstructured":"Baier, C., Hahn, E.M., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Model checking for performability. Math. Struct. Comput. Sci. 23(4), 751\u2013795 (2013)","journal-title":"Math. Struct. Comput. Sci."},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-030-03421-4_24","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Verification","author":"D Basile","year":"2018","unstructured":"Basile, D., ter Beek, M.H., Ciancia, V.: Statistical model checking of a moving block railway signalling scenario with Uppaal SMC. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11245, pp. 372\u2013391. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-030-03421-4_24"},{"issue":"5","key":"3_CR4","doi-asserted-by":"publisher","first-page":"1407","DOI":"10.1177\/0954409717727879","volume":"232","author":"Samuel D Bemment","year":"2017","unstructured":"Bemment, S.D., Goodall, R.M., Dixon, R., Ward, C.P.: Improving the reliability and availability of railway track switching by analysing historical failure data and introducing functionally redundant subsystems. Proc. Inst. Mech. Eng. Part F: J. Rail Rapid Transit 232(5), 1407\u20131424 (2017)","journal-title":"Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1016\/j.trc.2017.07.002","volume":"82","author":"M Biagi","year":"2017","unstructured":"Biagi, M., Carnevali, L., Paolieri, M., Vicario, E.: Performability evaluation of the ERTMS\/ETCS \u2013 level 3. Transp. Res. Part C 82, 314\u2013336 (2017)","journal-title":"Transp. Res. Part C"},{"doi-asserted-by":"crossref","unstructured":"Birnbaum, Z.: On the importance of different components in a multicomponent system. In: Multivariate Analysis-II, pp. 581\u2013592 (1969)","key":"3_CR6","DOI":"10.21236\/AD0670563"},{"unstructured":"Bj\u00f8rner, D.: New results and trends in formal techniques for the development of software for transportation systems. In: FORMS. L\u2019Harmattan Hongrie (2003)","key":"3_CR7"},{"doi-asserted-by":"crossref","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.: Dynamic fault tree analysis using input\/output interactive Markov chains. In: Proceedings of DSN, pp. 708\u2013717. IEEE (2007)","key":"3_CR8","DOI":"10.1109\/DSN.2007.37"},{"unstructured":"Br\u00fcnger, O., Gr\u00f6ger, T.: Fahrplantrassen managen und Fahrplanerstellung simulieren. In: 19. Verkehrswissenschaftliche Tage (VWT), Dresden, Germany (2003)","key":"3_CR9"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"19","DOI":"10.4204\/EPTCS.184.2","volume":"184","author":"S Busard","year":"2015","unstructured":"Busard, S., Cappart, Q., Limbr\u00e9e, C., Pecheur, C., Schaus, P.: Verification of railway interlocking systems. Electron. Proc. Theor. Comput. Sci. 184, 19\u201331 (2015)","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Cappart, Q., Limbr\u00e9e, C., Schaus, P., Quilbeuf, J., Traonouez, L., Legay, A.: Verification of interlocking systems using statistical model checking. In: HASE, pp. 61\u201368. IEEE Computer Society (2017)","key":"3_CR11","DOI":"10.1109\/HASE.2017.10"},{"unstructured":"CENELEC: EN 50128: Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems (2012), EN 50129: Railway applications - Communication, signalling and processing systems - Safety related electronic systems for signalling (2017), EN 50159: Railway applications - Communication, signalling and processing systems - Safety-related communication in transmission systems (2011)","key":"3_CR12"},{"unstructured":"CENELEC: EN 50126\u20131\/50126-2: Railway applications - The specification and demonstration of reliability, availability, maintainability and safety (rams) (2018)","key":"3_CR13"},{"issue":"2","key":"3_CR14","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1049\/iet-epa:20060244","volume":"1","author":"S Chen","year":"2007","unstructured":"Chen, S., Ho, T., Mao, B.: Reliability evaluations of railway power supplies by fault-tree analysis. IET Electric Power Appl. 1(2), 161\u2013172 (2007)","journal-title":"IET Electric Power Appl."},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-02658-4_17","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2009","unstructured":"Cimatti, A., Roveri, M., Tonetta, S.: Requirements validation for hybrid systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 188\u2013203. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-02658-4_17"},{"unstructured":"Coleman, I.: In2Rail Project Innovative Intelligent Rail, Deliverable D2.1 - Development of Novel S&C Motion\/Locking Mechanisms: Design Concept Report. Technical report, Network Rail (NWR) (2015)","key":"3_CR16"},{"unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and sequence dependencies. In: Proceedings of RAMS, pp. 286\u2013293 (1990)","key":"3_CR17"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-319-05032-4_13","volume-title":"Software Engineering and Formal Methods","author":"A Fantechi","year":"2014","unstructured":"Fantechi, A.: Twenty-five years of formal methods and railways: what next? In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 167\u2013183. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-05032-4_13"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-14261-1_11","volume-title":"FORMS\/FORMAT 2010","author":"A Ferrari","year":"2011","unstructured":"Ferrari, A., Magnani, G., Grasso, D., Fantechi, A.: Model checking interlocking control tables. In: Schnieder, E., Tarnai, G. (eds.) FORMS\/FORMAT 2010, pp. 107\u2013115. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-14261-1_11"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.ress.2019.02.005","volume":"186","author":"M Ghadhab","year":"2019","unstructured":"Ghadhab, M., Junges, S., Katoen, J.P., Kuntz, M., Volk, M.: Safety analysis for vehicle guidance systems with dynamic fault trees. Reliab. Eng. Syst. Saf. 186, 37\u201350 (2019)","journal-title":"Reliab. Eng. Syst. Saf."},{"unstructured":"Guck, D., Katoen, J.P., Stoelinga, M., Luiten, T., Romijn, J.: Smart railroad maintenance engineering with stochastic model checking. In: Proceedings of RAILWAYS. Civil-Comp Press (2014)","key":"3_CR21"},{"unstructured":"Hassankiadeh, S.J.: Failure analysis of railway switches and crossings for the purpose of preventive maintenance. MA thesis, KTH Stockholm (2011)","key":"3_CR22"},{"unstructured":"Henry, J.: Automatic fault tree construction for railway safety systems. Ph.D. thesis, Loughborough University (1996)","key":"3_CR23"},{"doi-asserted-by":"crossref","unstructured":"Hermanns, H., Jansen, D.N., Usenko, Y.S.: From StoCharts to MoDeST. In: Proceedings of WOSP. ACM Press (2005)","key":"3_CR24","DOI":"10.1145\/1071021.1071023"},{"doi-asserted-by":"crossref","unstructured":"Iliasov, A., Romanovsky, A.B.: Formal analysis of railway signalling data. In: HASE, pp. 70\u201377. IEEE Computer Society (2016)","key":"3_CR25","DOI":"10.1109\/HASE.2016.44"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-319-99130-6_7","volume-title":"Computer Safety, Reliability, and Security","author":"A Iliasov","year":"2018","unstructured":"Iliasov, A., Taylor, D., Laibinis, L., Romanovsky, A.: Formal verification of signalling programs with SafeCap. In: Gallina, B., Skavhaug, A., Bitsch, F. (eds.) SAFECOMP 2018. LNCS, vol. 11093, pp. 91\u2013106. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-99130-6_7"},{"issue":"4","key":"3_CR27","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1007\/s00165-016-0412-0","volume":"29","author":"Sebastian Junges","year":"2017","unstructured":"Junges, S., Guck, D., Katoen, J.P., Rensink, A., Stoelinga, M.: Fault trees on a diet: automated reduction by graph rewriting. Formal Asp. Comput. 29, 1\u201353 (2017)","journal-title":"Formal Aspects of Computing"},{"doi-asserted-by":"crossref","unstructured":"Junges, S., Guck, D., Katoen, J.P., Stoelinga, M.: Uncovering dynamic fault trees. In: Proceedings of DSN, pp. 299\u2013310. IEEE (2016)","key":"3_CR28","DOI":"10.1109\/DSN.2016.35"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-319-91268-4_14","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"S Junges","year":"2018","unstructured":"Junges, S., Katoen, J.-P., Stoelinga, M., Volk, M.: One net fits all. In: Khomenko, V., Roux, O.H. (eds.) PETRI NETS 2018. LNCS, vol. 10877, pp. 272\u2013293. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-91268-4_14"},{"unstructured":"Kalvakunta, R.G.: Reliability modelling of ERTMS\/ETCS. MA thesis, NTNU (2017)","key":"3_CR30"},{"unstructured":"Kassa, E.: Analysis of failures within switches and crossings using failure modes and effects analysis methodology. In: Proceedings of Intelliswitch Symposium (2017)","key":"3_CR31"},{"issue":"1","key":"3_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10703-017-0281-z","volume":"52","author":"B Luteberget","year":"2018","unstructured":"Luteberget, B., Johansen, C.: Efficient verification of railway infrastructure designs against standard regulations. Formal Methods Syst. Des. 52(1), 1\u201332 (2018)","journal-title":"Formal Methods Syst. Des."},{"unstructured":"Morant, S.: New generation of turnouts promises to improve reliability and reduce costs. IRJ Int. Rail. J. 56(12) (2016)","key":"3_CR33"},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"3","DOI":"10.2495\/978-1-84564-500-7\/01","volume-title":"Vorticity and Turbulence Effects in Fluid Structure Interactions","author":"A. Nash","year":"2010","unstructured":"Nash, A., Huerlimann, D., Sch\u00fctte, J., Krauss, V.: RailML - a standard data interface for railroad applications, pp. 3\u201310. WIT Press, Southampton (2004)"},{"unstructured":"ORR - Office of Road and Rail: Online data portal, Rail infrastructure, assets and environmental (2013). \nhttps:\/\/dataportal.orr.gov.uk\/\n\n. Accessed 01 May 2019","key":"3_CR35"},{"issue":"2","key":"3_CR36","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1109\/TR.2003.809657","volume":"52","author":"Y Ou","year":"2003","unstructured":"Ou, Y., Dugan, J.B.: Approximate sensitivity analysis for acyclic Markov reliability models. IEEE Trans. Rel. 52(2), 220\u2013230 (2003)","journal-title":"IEEE Trans. Rel."},{"key":"3_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-10373-5_13","volume-title":"Formal Methods and Software Engineering","author":"A Platzer","year":"2009","unstructured":"Platzer, A., Quesel, J.-D.: European train control system: a case study in formal verification. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol. 5885, pp. 246\u2013265. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-10373-5_13"},{"doi-asserted-by":"crossref","unstructured":"Prescott, D., Andrews, J.: Modelling maintenance in railway infrastructure management. In: Proceedings of RAMS, pp. 1\u20136. IEEE (2013)","key":"3_CR38","DOI":"10.1109\/RAMS.2013.6517678"},{"doi-asserted-by":"crossref","unstructured":"Ruijters, E., Guck, D., van Noort, M., Stoelinga, M.: Reliability-centered maintenance of the electrically insulated railway joint via fault tree analysis: a practical experience report. In: Proceedings of DSN. IEEE (2016)","key":"3_CR39","DOI":"10.1109\/DSN.2016.67"},{"key":"3_CR40","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15\u201316","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15\u201316, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"unstructured":"Stamatelatos, M., Vesely, W., Dugan, J.B., Fragola, J., Minarick, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. NASA Headquarters (2002)","key":"3_CR41"},{"issue":"1","key":"3_CR42","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1109\/TII.2017.2710316","volume":"14","author":"M Volk","year":"2018","unstructured":"Volk, M., Junges, S., Katoen, J.P.: Fast dynamic fault tree analysis by model checking techniques. IEEE Trans. Ind. Inform. 14(1), 370\u2013379 (2018)","journal-title":"IEEE Trans. Ind. Inform."},{"doi-asserted-by":"crossref","unstructured":"Weik, N., Nie\u00dfen, N.: Performability analysis of railway systems. In: 2018 International Conference on Intelligent Rail Transportation (ICIRT). IEEE (2018)","key":"3_CR43","DOI":"10.1109\/ICIRT.2018.8641589"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-27008-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T23:16:27Z","timestamp":1566515787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-27008-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030270070","9783030270087"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-27008-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"25 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"60% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}