{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:35:36Z","timestamp":1725885336531},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319577074"},{"type":"electronic","value":"9783319577081"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57708-1_4","type":"book-chapter","created":{"date-parts":[[2017,4,20]],"date-time":"2017-04-20T08:03:37Z","timestamp":1492675417000},"page":"55-73","source":"Crossref","is-referenced-by-count":0,"title":["Automated Safety Analysis on Scenario-Based Requirements for Train Control System"],"prefix":"10.1007","author":[{"given":"Xi","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaikou","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weikai","family":"Miao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,21]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","unstructured":"Oh, S., Yoon, Y., Kim, Y.: Automatic train protection simulation for radio-based train control system. In: 2012 International Conference on Information Science and Applications (ICISA), pp. 1\u20134 (2012)","DOI":"10.1109\/ICISA.2012.6220965"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Han, X., Zhang, J.: A combined analysis method of FMEA and FTA for improving the safety analysis quality of safety-critical software. In: 2013 IEEE International Conference on Granular Computing (GrC), pp. 353\u2013356 (2013)","DOI":"10.1109\/GrC.2013.6740435"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Liu, S., Offutt, A.J., Ho-Stuart, C., Sun, Y., Ohba, M.: Sofl: a formal engineering methodology for industrial applications. In: Proceedings of the Third IEEE International Symposium on Requirements Engineering, pp. 24\u201345 (1998)","DOI":"10.1109\/32.663996"},{"key":"4_CR4","doi-asserted-by":"publisher","unstructured":"Wang, H., Liu, S., Gao, C.: Study on model-based safety verification of automatic train protection system. In: Asia-Pacific Conference on Computational Intelligence and Industrial Applications, PACIIA 2009, pp. 467\u2013470 (2009)","DOI":"10.1109\/PACIIA.2009.5406388"},{"key":"4_CR5","first-page":"28","volume":"43","author":"DL Parnas","year":"2010","unstructured":"Parnas, D.L.: Really rethinking \u2018formal methods\u2019. IEEE Softw. 43, 28\u201334 (2010)","journal-title":"IEEE Softw."},{"key":"4_CR6","doi-asserted-by":"publisher","unstructured":"Chiappini, A., Cimatti, A., Macchi, L., Rebollo, O., Roveri, M., Susi, A., Tonetta, S., Vittorini, B.: Formalization and validation of a subset of the European train control system. In: 2010 ACM\/IEEE 32nd International Conference on Software Engineering, vol. 2, pp. 109\u2013118 (2010)","DOI":"10.1145\/1810295.1810312"},{"key":"4_CR7","unstructured":"Cheng, R., Zhao, L., He, L.: Application of requirement analysis method based on UML and property in train control system requirement specification. Railway Signalling and Communication (2013)"},{"key":"4_CR8","doi-asserted-by":"publisher","unstructured":"Issad, M., Rauzy, A., Kloul, L.: A contribution to safety analysis of railway CBTC systems using scola. In: ESREL (2015)","DOI":"10.1201\/b19094-64"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-319-05032-4_17","volume-title":"Software Engineering and Formal Methods","author":"R Abo","year":"2014","unstructured":"Abo, R., Voisin, L.: Formal implementation of data validation for railway safety-related systems with OVADO. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 221\u2013236. Springer, Cham (2014). doi: 10.1007\/978-3-319-05032-4_17"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-540-73210-5_13","volume-title":"Integrated Formal Methods","author":"J Faber","year":"2007","unstructured":"Faber, J., Jacobs, S., Sofronie-Stokkermans, V.: Verifying CSP-OZ-DC specifications with complex data types and timing parameters. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, pp. 233\u2013252. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-73210-5_13"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Lee, Y.K., In, H.P., Kazman, R.: Customer requirements validation method based on mental models, vol. 1, pp. 199\u2013206 (2014)","DOI":"10.1109\/APSEC.2014.39"},{"key":"4_CR12","first-page":"367","volume":"161","author":"D Aceituna","year":"2010","unstructured":"Aceituna, D., Do, H., Lee, S.W.: Sq $${^{(2)}}$$ e: an approach to requirements validation with scenario question. Proc. Royal Soc. London A Math. Phys. Eng. Sci. 161, 367\u2013381 (2010)","journal-title":"Proc. Royal Soc. London A Math. Phys. Eng. Sci."},{"key":"4_CR13","doi-asserted-by":"publisher","unstructured":"Aceituna, D., Do, H., Lee, S.W.: Interactive requirements validation for reactive systems through virtual requirements prototype. In: Model-Driven Requirements Engineering Workshop, pp. 1\u201310 (2011)","DOI":"10.1109\/MoDRE.2011.6045361"},{"key":"4_CR14","unstructured":"Liu, S.: Utilizing specification testing in review task trees for rigorous review of formal specifications. In: Tenth Asia-Pacific on Software Engineering Conference, p. 510 (2003)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-540-68237-0_31","volume-title":"FM 2008: Formal Methods","author":"T Kurita","year":"2008","unstructured":"Kurita, T., Chiba, M., Nakatsugawa, Y.: Application of a formal specification language in the development of the \u201cMobile FeliCa\u201d IC chip firmware for embedding in mobile phone. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 425\u2013429. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-68237-0_31"},{"key":"4_CR16","doi-asserted-by":"publisher","unstructured":"Li, J.J., Horgan, J.R.: A tool suite for diagnosis and testing of software design specifications. In: International Conference on Dependable Systems and Networks, p. 295 (2000)","DOI":"10.1109\/ICDSN.2000.857553"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/TR.2015.2456853","volume":"65","author":"M Li","year":"2013","unstructured":"Li, M., Liu, S.: Integrating animation-based inspection into formal design specification construction for reliable software systems. IEEE Trans. Reliab. 65, 88\u2013106 (2013)","journal-title":"IEEE Trans. Reliab."},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/3-540-36578-8_21","volume-title":"Fundamental Approaches to Software Engineering","author":"A Gargantini","year":"2003","unstructured":"Gargantini, A., Riccobene, E.: Automatic model driven animation of SCR specifications. In: Pezz\u00e8, M. (ed.) FASE 2003. LNCS, vol. 2621, pp. 294\u2013309. Springer, Heidelberg (2003). doi: 10.1007\/3-540-36578-8_21"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30080-9_7"},{"key":"4_CR20","unstructured":"Liu, J., Tang, T., Xu, T., Zhao, L.: Formal verification of CTCS-3 system requirements specification based UML model, pp. 93\u201399. China Railway Science (2011)"},{"key":"4_CR21","doi-asserted-by":"publisher","unstructured":"Haxthausen AE, P.J.: Formal development and verification of a distributed railway control system. IEEE Trans. Softw. Eng., 687\u2013701 (2000)","DOI":"10.1109\/32.879808"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-54108-7_14","volume-title":"Verified Software: Theories, Tools, Experiments","author":"L Zou","year":"2014","unstructured":"Zou, L., Lv, J., Wang, S., Zhan, N., Tang, T., Yuan, L., Liu, Y.: Verifying Chinese train control system under a combined scenario by theorem proving. In: Cohen, E., Rybalchenko, A. (eds.) VSTTE 2013. LNCS, vol. 8164, pp. 262\u2013280. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54108-7_14"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57708-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,21]],"date-time":"2019-09-21T07:23:14Z","timestamp":1569050594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57708-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319577074","9783319577081"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57708-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}