{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:15:04Z","timestamp":1729649704837,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,5]]},"DOI":"10.1109\/wfcs.2014.6837602","type":"proceedings-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T18:51:18Z","timestamp":1406573478000},"page":"1-10","source":"Crossref","is-referenced-by-count":5,"title":["Model-based validation of CANopen systems"],"prefix":"10.1109","author":[{"given":"Alexios","family":"Lekidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/978-3-642-34026-0_25","article-title":"Statistical model checking QoS properties of systems with SBIP","author":"bensalem","year":"2012","journal-title":"Leveraging Applications of Formal Methods Verification and Validation Technologies for Mastering Change"},{"year":"2011","journal-title":"CANopen Application Firmware for the ELMB","key":"17"},{"year":"2008","journal-title":"CANopen Device Profile for Generic I\/O Modules Draft Standard 401","key":"18"},{"key":"15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/ETFA.2011.6058998","article-title":"Schedulabil-ity analysis of CAN with non-abortable transmission requests","author":"khan","year":"2011","journal-title":"Emerging Technologies & Factory Automation (ETFA) 2011 IEEE 16th Conference on"},{"year":"2002","author":"kersten","journal-title":"Towards A Detector Control System for the ATLAS Pixel Detector","key":"16"},{"key":"13","article-title":"A model-based design flow for CAN-based systems","author":"lekidis","year":"2013","journal-title":"14th International CAN Conference Eurosites Re?publique"},{"key":"14","article-title":"CAN with flexible data-rate specification","author":"bosch","year":"2012","journal-title":"Robert Bosch GmbH Stuttgart"},{"year":"2014","author":"lekidis","journal-title":"Rigorous Modeling and Validation of CANopen Systems","key":"11"},{"year":"2005","key":"12"},{"year":"0","key":"3"},{"year":"1991","author":"bosch","journal-title":"CAN Specification Version 2 0","key":"2"},{"year":"2011","journal-title":"Application Layer and Communica-tion Profile Draft Standard 301","key":"1"},{"year":"2008","author":"pfeiffer","journal-title":"Embedded Networking with CAN and CANopen","key":"10"},{"key":"7","first-page":"226","article-title":"Formal validation of the CANopen communication protocol","volume":"5","author":"barbosa","year":"0","journal-title":"Fieldbus Systems and Their Applications 2003 (FET 2003) A Proceeedings Volume from the 5th IFAC International Conference"},{"key":"6","article-title":"Frame latency evaluation: When simulation and analysis alone are not enough","author":"navet","year":"2010","journal-title":"8th IEEE International Workshop on Factory Communication Systems (WFCS2010) Industry Day"},{"year":"0","key":"5"},{"year":"0","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/SEFM.2006.27"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1007\/978-3-7091-6421-1_20"}],"event":{"name":"2014 10th IEEE Workshop on Factory Communication Systems (WFCS)","start":{"date-parts":[[2014,5,5]]},"location":"Toulouse, France","end":{"date-parts":[[2014,5,7]]}},"container-title":["2014 10th IEEE Workshop on Factory Communication Systems (WFCS 2014)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6827398\/6837570\/06837602.pdf?arnumber=6837602","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T17:25:45Z","timestamp":1498152345000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6837602\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/wfcs.2014.6837602","relation":{},"subject":[],"published":{"date-parts":[[2014,5]]}}}