{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:13:15Z","timestamp":1725613995163},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642331756"},{"type":"electronic","value":"9783642331763"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33176-3_12","type":"book-chapter","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T04:53:23Z","timestamp":1347425603000},"page":"165-179","source":"Crossref","is-referenced-by-count":5,"title":["Model-Based Evaluation of the Availability of a CBTC System"],"prefix":"10.1007","author":[{"given":"Alessio","family":"Ferrari","sequence":"first","affiliation":[]},{"given":"Massimiliano L.","family":"Itria","sequence":"additional","affiliation":[]},{"given":"Silvano","family":"Chiaradonna","sequence":"additional","affiliation":[]},{"given":"Giorgio O.","family":"Spagnolo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"CENELEC. EN50126 Railway Applications - The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) (1997)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Courtney, T., Gaonkar, S., Keefe, K., Rozier, E.W.D., Sanders, W.H.: M\u00f6bius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models. In: 39th Annual IEEE\/IFIP Int. Conf. on Dependable Systems and Networks (DSN 2009), pp. 353\u2013358 (2009)","DOI":"10.1109\/DSN.2009.5270318"},{"key":"12_CR3","unstructured":"Ferrari, A., Spagnolo, G.O., Martelli, G., Menabeni, S.: Product Line Engineering Applied to CBTC Systems Development. In: 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2012 (to appear, 2012)"},{"key":"12_CR4","unstructured":"Institute of Electrical and Electronics Engineers. IEEE Standard for Communications Based Train Control (CBTC) Performance and Functional Requirements. IEEE Std 1474.1-2004 (Revision of IEEE Std 1474.1-1999) (2004)"},{"key":"12_CR5","unstructured":"International Electrotechnical Commission. IEC 62290-1: Railway applications: Urban guided transport management and command\/control systems. Part 1: System principles and fundamental concepts (2007)"},{"key":"12_CR6","unstructured":"Kuun, E.: Open Standards for CBTC and CBTC Radio Based Communications. In: APTA Rail Rail Transit Conference Proceedings (2004)"},{"key":"12_CR7","unstructured":"Nystr\u00f6m, B.: The use of availability concepts in the railway system. International Journal of Performability Engineering, 103\u2013118 (2009)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Pascoe, R.D., Eichorn, T.N.: What is Communication-Based Train Control? IEEE Vehicular Technology Magazine (2009)","DOI":"10.1109\/MVT.2009.934665"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Patra, A., Kumar, U., Kraik, P.: Availability target of the railway infrastructure: an analysis. In: 2010 Proceedings - Annual Reliability and Maintainability Symposium (RAMS), pp. 1\u20136 (2010)","DOI":"10.1109\/RAMS.2010.5448035"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Sanders, W.H., Meyer, J.F.: Stochastic Activity Networks: Formal Definitions and Concepts. In: European Educational Forum: School on Formal Methods and Performance Analysis, pp. 315\u2013343 (2000)","DOI":"10.1007\/3-540-44667-2_9"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"2605","DOI":"10.1007\/s11431-009-0183-4","volume":"52","author":"T. Xu","year":"2009","unstructured":"Xu, T., Tang, T., Gao, C., Cai, B.: Dependability analysis of the data communication system in train control system. Science in China Series E: Technological Sciences\u00a052, 2605\u20132618 (2009)","journal-title":"Science in China Series E: Technological Sciences"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Zhu, L., Yu, F., Ning, B.: Availability Improvement for WLAN-Based Train-Ground Communication Systems in Communication-Based Train Control (CBTC). In: 2010 IEEE 72nd Vehicular Technology Conference Fall (VTC 2010-Fall), pp. 1\u20135 (2010)","DOI":"10.1109\/VETECF.2010.5594409"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33176-3_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:57:39Z","timestamp":1620115059000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33176-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642331756","9783642331763"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33176-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}