{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:08:14Z","timestamp":1742922494917,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030190620"},{"type":"electronic","value":"9783030190637"}],"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-19063-7_17","type":"book-chapter","created":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T18:20:03Z","timestamp":1558549203000},"page":"195-210","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modeling and Verification of Starvation-Free Bitwise Arbitration Technique for Controller Area Network Using SPIN Promela"],"prefix":"10.1007","author":[{"given":"Haklin","family":"Kimm","sequence":"first","affiliation":[]},{"given":"Hanke","family":"Kimm","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,5,23]]},"reference":[{"key":"17_CR1","unstructured":"Albert, A., Bosch, R.: Comparison of event-triggered and time-triggered concepts with regard to distributed control systems. Proc. Embed. World, 235\u2013252 (2004)"},{"key":"17_CR2","unstructured":"CAN specification version 2.0. Robert Bosch GmbH, Stuttgart, Germany (1991)"},{"issue":"7","key":"17_CR3","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S1474-6670(17)43241-1","volume":"30","author":"J.A. Gil","year":"1997","unstructured":"Gil, J.A., et al.: A CAN architecture for an intelligent mobile robot. In: Proceedings of SICICA-97, pp. 65\u201370 (1997)","journal-title":"IFAC Proceedings Volumes"},{"key":"17_CR4","unstructured":"Fuhrer, T., et al.: Time-triggered Communication on CAN (Time-triggered CANTTCAN). In: Proceedings of ICC 2000, The Netherlands, Amsterdam (2000)"},{"key":"17_CR5","unstructured":"Hartwich F., et al.: Timing in the TTCAN network. In: Proceedings of 8th International CAN Conference, Las Vegas (2002)"},{"key":"17_CR6","unstructured":"Homepage of the organization CAN in Automation (CiA) (2004). \n                    http:\/\/www.can-cia.de"},{"key":"17_CR7","unstructured":"Rett, J.: Using the CANbus toolset software and the SELECONTROL MAS automation system, Control System Center, University of Sanderland (2001)"},{"key":"17_CR8","unstructured":"Magnenat S., et al.: ASEBA, an event-based middleware for distributed robot control. In: International Conference on Intelligent Robots and Systems (2007)"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s11241-007-9012-7","volume":"35","author":"RI Davis","year":"2007","unstructured":"Davis, R.I., et al.: Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Syst. 35, 239\u2013272 (2007)","journal-title":"Real-Time Syst."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Kimm, H., Kang, J.: Implementation of networked robot control system over controller area network. In: Proceedings of the Ninth IEEE International Conference on Ubiquitous Robots and Ambient Intelligence, Daejeon, Korea, 26\u201329 November 2012 (2012)","DOI":"10.1109\/URAI.2012.6463028"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.entcs.2014.12.004","volume":"309","author":"C Pan","year":"2014","unstructured":"Pan, C., et al.: Modeling and verification of CAN bus with application Layer using UPPAL. Electron. Notes Theor. Comput. Sci. 309, 31\u201349 (2014)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Murtaza, A., Khan, Z.: Starvation free controller area network using master node. In: Proceedings of IEEE 2nd International Conference on Electrical Engineering, Lahore, Pakistan, 25\u201326 March 2008 (2008)","DOI":"10.1109\/ICEE.2008.4553945"},{"key":"17_CR13","unstructured":"MSC8122: Avoiding Arbitration Deadlock During Instruction Fetch, FreeScale Semiconductor, INC. (2008)"},{"key":"17_CR14","unstructured":"Lee, K, et al.: Starvation Prevention Scheme for a Fixed Priority Pci\n                    \n                      \n                    \n                    $$-$$\n                  Express Arbiter with Grant Counters Using Arbitration Pools. US Patent Application Publication, 14 January 2009"},{"issue":"6","key":"17_CR15","doi-asserted-by":"publisher","first-page":"1504","DOI":"10.1587\/transinf.E93.D.1504","volume":"93\u2013D","author":"C-M Lin","year":"2010","unstructured":"Lin, C.-M.: Analysis and modeling of a priority inversion scheme for starvation free controller area networks. IEICE Trans. Inf. Syst. 93\u2013D(6), 1504\u20131511 (2010)","journal-title":"IEICE Trans. Inf. Syst."},{"issue":"5","key":"17_CR16","doi-asserted-by":"publisher","first-page":"4413","DOI":"10.1109\/TIE.2017.2762638","volume":"65","author":"G Zago","year":"2018","unstructured":"Zago, G., de Freitas, E.: A quantitative performance study on CAN and CAN FD vehicular networks. IEEE Trans. Ind. Electron. 65(5), 4413\u20134422 (2018)","journal-title":"IEEE Trans. Ind. Electron."},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Park, P., et al.: Performance evaluation of a method to improve fairness in in-vehicle non-destructive arbitration using ID rotation. KSII Trans. Internet Inf. Syst. 11(10) (2017)","DOI":"10.3837\/tiis.2017.10.022"},{"key":"17_CR18","volume-title":"Operating System Concepts","author":"A Silberschatz","year":"2016","unstructured":"Silberschatz, A., et al.: Operating System Concepts, 9th edn. Wiley, Hoboken (2016)","edition":"9"},{"key":"17_CR19","volume-title":"Modern Operating Systems","author":"A Tanenbaum","year":"2015","unstructured":"Tanenbaum, A., Bos, H.: Modern Operating Systems, 4th edn. Pearson Prentice-Hall, Upper Saddle River (2015)","edition":"4"},{"key":"17_CR20","volume-title":"Operating Systems: Internals and Design Principles","author":"W Stallings","year":"2016","unstructured":"Stallings, W.: Operating Systems: Internals and Design Principles, 9th edn. Pearson Prentice-Hall, Upper Saddle River (2016)","edition":"9"},{"key":"17_CR21","volume-title":"Principles of Concurrent and Distributed Programming","author":"M Ben-Ari","year":"2006","unstructured":"Ben-Ari, M.: Principles of Concurrent and Distributed Programming, 2nd edn. Addison-Wesley, Boston (2006)","edition":"2"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Ben-David, N., Belloch, G.: Analyzing contention and backoff in asynchronous share memory. In: Proceedings of PODC 2017, Washington, DC, USA, 25\u201327 July 2017 (2017)","DOI":"10.1145\/3087801.3087828"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Dalessandro, L., et al.: Transcational mutex locks. In: Proceeding of European Conference on Parallel Processing, Italy, 31 August\u20133 September 2010 (2010)","DOI":"10.1007\/978-3-642-15291-7_2"},{"issue":"3","key":"17_CR24","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/506117.506118","volume":"34","author":"J Trono","year":"2000","unstructured":"Trono, J., Taylor, W.: Further comments on \u201ca correct and unrestrictive implementation of general semaphores\u201d. ACM SCIGOPS Oper. Syst. Rev. 34(3), 5\u201310 (2000)","journal-title":"ACM SCIGOPS Oper. Syst. Rev."},{"issue":"6","key":"17_CR25","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1007\/s00165-011-0219-y","volume":"25","author":"WH Hesselink","year":"2013","unstructured":"Hesselink, W.H., IJbema, M.: Starvation-free mutual exclusion with semaphores. Form. Asp. Comput. 25(6), 947\u2013969 (2013)","journal-title":"Form. Asp. Comput."},{"key":"17_CR26","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/0020-0190(86)90117-1","volume":"23","author":"J Udding","year":"1986","unstructured":"Udding, J.: Absence of individual starvation using weak semaphores. Inf. Process. Lett. 23, 159\u2013162 (1986)","journal-title":"Inf. Process. Lett."},{"key":"17_CR27","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0020-0190(87)90210-9","volume":"25","author":"SA Friedberg","year":"1987","unstructured":"Friedberg, S.A., Peterson, G.L.: An efficient solution to the mutual exclusion problem using weak semaphores. Inf. Process. Lett. 25, 343\u2013347 (1987)","journal-title":"Inf. Process. Lett."},{"key":"17_CR28","unstructured":"Wikipedia page. \n                    https:\/\/en.wikipedia.org\/wiki\/Promela\n                    \n                  . Accessed 25 Oct 2017"},{"key":"17_CR29","unstructured":"Gerth, R.: Concise Promela reference (1997). \n                    http:\/\/spinroot.com\/spin\/Man\/Quick.html\n                    \n                  . Accessed 25 Oct 2017"},{"key":"17_CR30","unstructured":"Ahrendt, W.: Lecture Slides: Introduction to Promela - in the course Software Engineering using Formal Methods, Chalmers University (2014). \n                    cse.chalmers.se\/edu\/year\/2014\/course\/...\/PROMELAIntroductionPS.pdf\n                    \n                  . Accessed 25 Oct 2017"}],"container-title":["Advances in Intelligent Systems and Computing","Proceedings of the 13th International Conference on Ubiquitous Information Management and Communication (IMCOM) 2019"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19063-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T01:05:57Z","timestamp":1564967157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19063-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030190620","9783030190637"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19063-7_17","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"23 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IMCOM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Ubiquitous Information Management and Communication","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Phuket","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thailand","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":"4 January 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 January 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"imcom2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/imcom.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}