{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:25:19Z","timestamp":1729657519011,"version":"3.28.0"},"reference-count":43,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.23919\/date.2019.8715067","type":"proceedings-article","created":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T17:29:07Z","timestamp":1558027747000},"page":"1445-1450","source":"Crossref","is-referenced-by-count":1,"title":["Towards verified programming of embedded devices"],"prefix":"10.23919","author":[{"given":"Jean-Pierre","family":"Talpin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Joseph","family":"Marty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shravan","family":"Narayan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deian","family":"Stefan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajesh","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1109\/SIES.2013.6601485"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.3166\/ejc.18.217-238"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"91","DOI":"10.3233\/FI-2011-415","article-title":"From concurrent multi-clock programs to deterministic asynchronous implementations","volume":"108","author":"potop-butucaru","year":"2011","journal-title":"Fundamenta Informaticae"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1109\/SFCS.1977.32"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1007\/978-3-540-71070-7_15"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.2168\/LMCS-8(4:16)2012"},{"key":"ref37","first-page":"1","article-title":"Contract-based integration of cyber-physical analyses","author":"ruchkin","year":"2014","journal-title":"International Conference on Embedded Software"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1145\/1375581.1375602"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"119","DOI":"10.3233\/FI-2011-416","article-title":"A modal interface theory for component-based design","volume":"108","author":"raclet","year":"2011","journal-title":"Fundamenta Informaticae"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1145\/3110261"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1561\/1000000053"},{"doi-asserted-by":"publisher","key":"ref40","DOI":"10.1145\/2837614.2837655"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/3-540-45828-X_19"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/978-3-662-44381-1_14"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/ICCAD.1999.810667"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/2518037.2491245"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/503209.503226"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/978-3-319-21668-3_25"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/RTAS.2017.9"},{"key":"ref18","first-page":"264","article-title":"The case for the precision timed (PRET) machine","author":"edwards","year":"2007","journal-title":"Proceedings of the 44th Design Automation Conference"},{"key":"ref19","first-page":"3","article-title":"An overview of the SAE architecture analysis & design language (AADL) standard: A basis for model-based architecture-driven embedded systems engineering","author":"feiler","year":"2004","journal-title":"IFIP TC-2 Workshop on Architecture Description Languages (WADL) World Computer Congress"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1007\/978-981-10-4436-6"},{"year":"2018","article-title":"Whip: safe composition of micro-services","key":"ref4"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/2557963.2566628","article-title":"Unikernels: Rise of the virtual library operating system","volume":"11","author":"madhavapeddy","year":"2013","journal-title":"Queue"},{"year":"2018","article-title":"Systems modeling language","key":"ref3"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/JIOT.2018.2815038"},{"year":"2018","author":"plassan","article-title":"Vérification formelle concluante des propriétés des systèmes multi-horloges","key":"ref29"},{"year":"0","article-title":"Arduino stepper motor","key":"ref5"},{"key":"ref8","article-title":"A synchronous approach to quasi-periodic systems","author":"baudart","year":"2017","journal-title":"PhD thesis"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/MS.2011.27"},{"year":"2018","article-title":"The ptolemy project","key":"ref2"},{"year":"2018","article-title":"Police ground drones after reports they fall out of the sky","key":"ref9"},{"year":"2013","article-title":"What is a motor resonance?","key":"ref1"},{"key":"ref20","first-page":"653","article-title":"Certikos: An extensible architecture for building certified concurrent os kernels","volume":"16","author":"gu","year":"2016","journal-title":"OSDI"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1145\/1629575.1629596"},{"year":"0","article-title":"Johnny five api - stepper","key":"ref21"},{"doi-asserted-by":"publisher","key":"ref42","DOI":"10.1145\/2744769.2747945"},{"year":"2016","author":"lamb","article-title":"Why is IoT so insecure?","key":"ref24"},{"year":"2012","author":"van rantwijk","article-title":"Arduino clock frequency accuracy","key":"ref41"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/978-3-662-46681-0_15"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/ACSD.2017.16"},{"doi-asserted-by":"publisher","key":"ref43","DOI":"10.1007\/978-3-642-32759-9_38"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/MEMCOD.2014.6961851"}],"event":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2019,3,25]]},"location":"Florence, Italy","end":{"date-parts":[[2019,3,29]]}},"container-title":["2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8704855\/8714721\/08715067.pdf?arnumber=8715067","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,12]],"date-time":"2020-12-12T23:51:56Z","timestamp":1607817116000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8715067\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":43,"URL":"https:\/\/doi.org\/10.23919\/date.2019.8715067","relation":{},"subject":[],"published":{"date-parts":[[2019,3]]}}}