{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:16:52Z","timestamp":1742984212113,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319489889"},{"type":"electronic","value":"9783319489896"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48989-6_47","type":"book-chapter","created":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T01:31:19Z","timestamp":1478482279000},"page":"757-763","source":"Crossref","is-referenced-by-count":4,"title":["Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller"],"prefix":"10.1007","author":[{"given":"Yu","family":"Jiang","sequence":"first","affiliation":[]},{"given":"Han","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Houbing","family":"Song","sequence":"additional","affiliation":[]},{"given":"Hui","family":"Kong","sequence":"additional","affiliation":[]},{"given":"Ming","family":"Gu","sequence":"additional","affiliation":[]},{"given":"Jiaguang","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,8]]},"reference":[{"key":"47_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/3-540-46002-0_32","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Amnell","year":"2002","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES b\u2014 A tool for modelling and implementation of embedded systems. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 460\u2013464. Springer, Heidelberg (2002). doi: 10.1007\/3-540-46002-0_32"},{"key":"47_CR2","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":"47_CR3","unstructured":"International Electrotechnical Commission et al.: IEC 61375-1, Train Communication Network (2011)"},{"key":"47_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-540-68524-1_3","volume-title":"Testing of Software and Communicating Systems","author":"K Havelund","year":"2008","unstructured":"Havelund, K.: Runtime verification of C programs. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) FATES\/TestCom -2008. LNCS, vol. 5047, pp. 7\u201322. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-68524-1_3"},{"key":"47_CR5","doi-asserted-by":"crossref","unstructured":"Iturbe, X., Zuloaga, A., Jim\u00e9nez, J., L\u00e1zaro, J., Mart\u00edn, J.L.: A novel SoC architecture for a MVB slave node. In: IECON 2008. IEEE (2008)","DOI":"10.1109\/IECON.2008.4758168"},{"key":"47_CR6","doi-asserted-by":"crossref","unstructured":"Jiang, Y., Gu, M., Sun, J.: Verification and implementation of the protocol standard in train control system. In: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC), pp. 549\u2013558 (2014)","DOI":"10.1109\/COMPSAC.2013.89"},{"key":"47_CR7","unstructured":"Song, H., et al.: Data-centered runtime verification of wireless medical cyber-physical system. IEEE Transactions on Industry Informatics (2016)"},{"key":"47_CR8","unstructured":"Yang, Y., et al.: From stateflow simulation to verified implementation: a verification approach and a real-time train controller design. In: 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (2016)"},{"issue":"2","key":"47_CR9","first-page":"1270","volume":"62","author":"H Zhang","year":"2014","unstructured":"Zhang, H., et al.: Design and optimization of multi-clocked embedded systems using formal technique. IEEE Trans. Ind. Electron. 62(2), 1270\u20131278 (2014)","journal-title":"IEEE Trans. Ind. Electron."},{"key":"47_CR10","doi-asserted-by":"crossref","first-page":"2220","DOI":"10.1109\/TPDS.2014.2346171","volume":"26","author":"Y Jiang","year":"2014","unstructured":"Jiang, Y., et al.: Design of mixed synchronous\/asynchronous systems with multiple clocks. IEEE Trans. Parallel Distrib. Syst. 26, 2220\u20132232 (2014)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"47_CR11","unstructured":"Aarthipriya, R., Chitrapreyanka, S.: FPGA implementation of multifunction vehicle bus controller with class 2 interface and verification using Beaglebone Black (2015)"},{"key":"47_CR12","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1016\/j.ssci.2015.02.017","volume":"76","author":"F Yunxiao","year":"2015","unstructured":"Yunxiao, F., Zhi, L., Jingjing, P., Hongyu, L., Jiang, S.: Applying systems thinking approach to accident analysis in China: case study of \u201c7.23\u201d Yong-Tai-Wen high-speed train accident. Saf. Sci. 76, 190\u2013201 (2015)","journal-title":"Saf. Sci."}],"container-title":["Lecture Notes in Computer Science","FM 2016: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48989-6_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T05:56:12Z","timestamp":1568526972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48989-6_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319489889","9783319489896"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48989-6_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}