{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T15:28:03Z","timestamp":1759937283856,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/icacci.2018.8554955","type":"proceedings-article","created":{"date-parts":[[2018,12,3]],"date-time":"2018-12-03T20:17:32Z","timestamp":1543868252000},"page":"1273-1279","source":"Crossref","is-referenced-by-count":4,"title":["Formal Verification of Datarace in Safety Critical ARINC653 compliant RTOS"],"prefix":"10.1109","author":[{"given":"Abhishek","family":"Singh","sequence":"first","affiliation":[]},{"given":"Meenakshi","family":"D'Souza","sequence":"additional","affiliation":[]},{"given":"Arshad","family":"Ebrahim","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"The SPIN Model Checker","year":"2003","author":"holzmann","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-52234-0_22"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337364"},{"journal-title":"RTCA Special Committee 205 Software considerations in airborne systems and equipment certification","year":"2011","key":"ref13"},{"journal-title":"A Survey of Tools for Model Checking and Model-Based Development","year":"2006","author":"strunk","key":"ref14"},{"journal-title":"A Technique for verification of race conditions in real-time systems","year":"0","author":"telkar","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61042-1_53"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287654"},{"key":"ref4","article-title":"Implementing Discrete Time in Promela and Spin","author":"bosnacki","year":"1997","journal-title":"International Conference on Logic in Computer Science LIRA '97"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.281"},{"key":"ref6","article-title":"ANSI-C Bounded Model Checker","author":"clarke","year":"2006","journal-title":"School of Comput Sci"},{"key":"ref5","first-page":"90","article-title":"Race Condition: A Case Study","volume":"17","author":"carr","year":"2001","journal-title":"Dept of Comput Sci Michigan Technological University J of computing sciences in colleges"},{"journal-title":"European Committee for Electrotechinical Standardisation (CENELEC) Software safety standard","year":"2011","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19718-5_11"},{"journal-title":"Survey of Existing Tools for Formal Verification","year":"0","author":"armstrong","key":"ref2"},{"year":"2007","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"}],"event":{"name":"2018 International Conference on Advances in Computing, Communications and Informatics (ICACCI)","start":{"date-parts":[[2018,9,19]]},"location":"Bangalore","end":{"date-parts":[[2018,9,22]]}},"container-title":["2018 International Conference on Advances in Computing, Communications and Informatics (ICACCI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8536361\/8554361\/08554955.pdf?arnumber=8554955","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T08:17:39Z","timestamp":1643271459000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8554955\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icacci.2018.8554955","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}