{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:44Z","timestamp":1740099104715,"version":"3.37.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319951706"},{"type":"electronic","value":"9783319951713"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-95171-3_43","type":"book-chapter","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T15:49:47Z","timestamp":1530632987000},"page":"550-564","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Model Checking of TTCAN Protocol\u00a0Using UPPAAL"],"prefix":"10.1007","author":[{"given":"Liu","family":"Shuxin","sequence":"first","affiliation":[]},{"given":"Noriaki","family":"Yoshiura","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,4]]},"reference":[{"key":"43_CR1","unstructured":"Holzmann, G.J.: The Spin Model Checker-Primer and Reference Manual. Published by Addison Wesley (2004)"},{"key":"43_CR2","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.entcs.2014.12.004","volume":"309","author":"Can Pan","year":"2014","unstructured":"Pan, C., Guo, J., Zhu, L., Shi, J., Zhu, H., Zhou, X.: Modeling and verification of CAN bus with application layer using UPPAAL. In: Electronic Notes in Theoretical Computer Science, vol. 309, no. C, pp. 31\u201349 (2014)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"43_CR3","unstructured":"Corrigan, S.: Controller Area Network Physical Layer Requirements. Published by Texas Instruments (2008)"},{"key":"43_CR4","doi-asserted-by":"crossref","unstructured":"Saha, I., Roy, S.: A finite state analysis of time-triggered CAN (TTCAN) protocol using Spin. In: Proceeding of International Conference on Computing: Theory and Applications, pp. 77\u201381 (2007)","DOI":"10.1109\/ICCTA.2007.4"},{"key":"43_CR5","doi-asserted-by":"crossref","unstructured":"Rodriguez-Navas, G., Proenza, J., Hansson, H.: Using UPPAAL to model and verify a clock synchronization protocol for the controller area network. In: Proceedings of 2005 IEEE Conference on Emerging Technologies and Factory Automation, pp. 495\u2013502 (2005)","DOI":"10.1109\/ETFA.2005.1612717"},{"key":"43_CR6","doi-asserted-by":"crossref","unstructured":"Kauer, M., Soudbakhsh, D., Dip, G., Samarjit, C., Anuradha, A.M.: Fault-tolerant control synthesis and verification of distributed embedded systems. In: Proceeding in Design, Automation & Test in Europe Conference & Exhibition, no. 56, pp. 1\u20136 (2014)","DOI":"10.7873\/DATE.2014.069"},{"key":"43_CR7","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1007\/0-8176-4404-0_32","volume-title":"Handbook of Networked and Embedded Control Systems","author":"Karl Henrik Johansson","year":"2005","unstructured":"Johansson, K.H., Torngren, T., Nielsen, L.: Vehicle applications of controller area network. In: Handbook of Networked and Embedded Control Systems, pp. 741\u2013765 (2005)"},{"key":"43_CR8","unstructured":"International Organization for Standardization: Road vehicles-Controller area network (CAN)-Part 4: Time-triggered communication (2015)"},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"Keating, D., McInnes, A., Hayes, M.: Model checking a TTCAN implementation. In: Proceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, pp. 387\u2013396 (2011)","DOI":"10.1109\/ICST.2011.47"},{"key":"43_CR10","doi-asserted-by":"crossref","unstructured":"Wu, X., Ling, H., Dong, Y.: On modeling and verifying of application protocols of TTCAN in flight-control system with UPPAAL. In: Proceedings of International Conference on Embedded Software and Systems, pp. 572\u2013577 (2009)","DOI":"10.1109\/ICESS.2009.27"},{"key":"43_CR11","doi-asserted-by":"crossref","unstructured":"Szilagyi, C., Koopman, P.: Low cost multicast authentication via validity voting in time-triggered embedded control networks. In: Proceeding of the 5th Workshop on Embedded Systems Security, pp. 1\u201310 (2010)","DOI":"10.1145\/1873548.1873558"},{"key":"43_CR12","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on UPPAAL 4.0. Department of Computer Science. Aalborg University (2006)"},{"key":"43_CR13","unstructured":"Leen, G.: Development and Formal Verification of TTCAN (Time-Triggered Controller Area Network). Lambert Academic Publishing (2010)"},{"key":"43_CR14","doi-asserted-by":"crossref","unstructured":"Ran, Q., Wu, X., Li, X., Shi, J., Guo, J., Zhu, H.: Modeling and verifying the TTCAN protocol using timed CSP. In: Proceedings of Theoretical Aspects of Software Engineering Conference, pp. 90\u201397 (2014)","DOI":"10.1109\/TASE.2014.8"},{"key":"43_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2013.07.011","volume":"537","author":"J Byg","year":"2014","unstructured":"Byg, J., Jacobsen, M., Jacobsen, L.: TCTL-preserving translations from timed-arc petri nets to networks of timed automata. Theor. Comput. Sci. 537, 3\u201328 (2014)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95171-3_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T05:14:54Z","timestamp":1571548494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-95171-3_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319951706","9783319951713"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95171-3_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}