{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:50:08Z","timestamp":1740102608519,"version":"3.37.3"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T00:00:00Z","timestamp":1700611200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T00:00:00Z","timestamp":1700611200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001863","name":"New Energy and Industrial Technology Development Organization (NEDO)","doi-asserted-by":"publisher","award":["JPNP21027"],"award-info":[{"award-number":["JPNP21027"]}],"id":[{"id":"10.13039\/501100001863","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,11,22]]},"DOI":"10.1109\/icsrs59833.2023.10381358","type":"proceedings-article","created":{"date-parts":[[2024,1,8]],"date-time":"2024-01-08T19:33:05Z","timestamp":1704742385000},"page":"488-497","source":"Crossref","is-referenced-by-count":0,"title":["Deadlock- and Starvation-free Formally Verified Client Library for Robots"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6888-9024","authenticated-orcid":false,"given":"Yuuki","family":"Takano","sequence":"first","affiliation":[{"name":"TIER IV, inc.,Tokyo,Japan"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.abm6074"},{"volume-title":"ROS 2: Robot Operating System","year":"2023","key":"ref2"},{"volume-title":"Autoware - the worlds leading open-source software project for autonomous driving","year":"2023","key":"ref3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2020.2972872"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/formalise.2017.9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"volume-title":"Specifying Systems: The TLA + Language and Tools for Hardware and Software Engineers","year":"2002","author":"Lamport","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78917-8_3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3342355"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1201\/b18064","volume-title":"Operating System Design - The Xinu Approach","author":"Comer","year":"2015"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2370776.2370794"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.08.005"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411290"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2808098.2808100"},{"volume-title":"rclcpp: ROS Client Library for C++","year":"2023","key":"ref16"},{"volume-title":"rclpy: ROS Client Library for the Python language","year":"2023","key":"ref17"},{"volume-title":"R2R: Easy to use, runtime-agnostic, async rust bindings for ROS2","year":"2023","key":"ref18"},{"volume-title":"ROS 2 for Rust","year":"2023","key":"ref19"},{"volume-title":"rclrust: Yet another ROS2 client library written in Rust","year":"2023","key":"ref20"},{"key":"ref21","article-title":"Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling","volume-title":"Euromicro Conference on Real-Time Systems","author":"Casini","year":"2019"},{"volume-title":"safe_drive: Formally Specified Rust Bindings for ROS2","year":"2023","key":"ref22"},{"article-title":"Rust for secure IoT applications: why C is getting rusty","volume-title":"WEKA, jun 2022. Embedded World Conference","author":"Noseda","key":"ref23"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICINT55083.2022.00019"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/330249.330251"},{"volume-title":"Specification of Selector","key":"ref26"},{"volume-title":"Specification of DeltaList","key":"ref27"},{"volume-title":"Message Transpiler for safe_drive","year":"2023","key":"ref28"},{"volume-title":"T4 IDL Parser","year":"2023","key":"ref29"},{"volume-title":"rcl: ROS Client Library","year":"2023","key":"ref30"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/103727.103729"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-71237-6_14"}],"event":{"name":"2023 7th International Conference on System Reliability and Safety (ICSRS)","start":{"date-parts":[[2023,11,22]]},"location":"Bologna, Italy","end":{"date-parts":[[2023,11,24]]}},"container-title":["2023 7th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10380806\/10380972\/10381358.pdf?arnumber=10381358","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T04:18:50Z","timestamp":1706069930000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10381358\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,22]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/icsrs59833.2023.10381358","relation":{},"subject":[],"published":{"date-parts":[[2023,11,22]]}}}