{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:35:26Z","timestamp":1725478526938},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1109\/latw.2018.8349683","type":"proceedings-article","created":{"date-parts":[[2018,4,26]],"date-time":"2018-04-26T18:51:33Z","timestamp":1524768693000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Real-time validation of mixed-criticality applications"],"prefix":"10.1109","author":[{"given":"S.","family":"Esposito","sequence":"first","affiliation":[]},{"given":"J.","family":"Sini","sequence":"additional","affiliation":[]},{"given":"M.","family":"Violante","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.2514\/6.2007-2768"},{"journal-title":"Mixed Criticality Systems-a Review","year":"2016","author":"burns","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.47"},{"key":"ref13","article-title":"Multicore operating-system support for mixed criticality","author":"anderson","year":"2009","journal-title":"Workshop on Mixed Criticality Roadmap to Evolving UAV Certification"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658595"},{"key":"ref15","article-title":"Partitioning in >Avionics Architectures: Requirements, Mechanisms, and Assurance","author":"rushby","year":"0","journal-title":"NASA Langley Research Center NASA CR-1999–209347"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2015.7229823"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2007.4391842"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.20"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3063313"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2009.06.001"},{"key":"ref7","first-page":"1","article-title":"Monitoring and WCET analysis in COTS multi-core-SoC-based mixed-criticality systems","author":"nowotsch","year":"2014","journal-title":"Des Autom Test Eur Con! Exhib (DATE)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/NAECON.1992.220669"},{"journal-title":"RTCA Inc","article-title":"DO-178c Software Considerations in Airborne Systems and Equipment Certification","year":"2011","key":"ref1"},{"key":"ref9","article-title":"UAV Avionics Hardware in the Loop Simulator","author":"mcmanus","year":"2003","journal-title":"Proc 10th Aust Int Aerosp Congr"}],"event":{"name":"2018 IEEE 19th Latin-American Test Symposium (LATS)","start":{"date-parts":[[2018,3,12]]},"location":"Sao Paulo","end":{"date-parts":[[2018,3,14]]}},"container-title":["2018 IEEE 19th Latin-American Test Symposium (LATS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8340944\/8347228\/08349683.pdf?arnumber=8349683","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,21]],"date-time":"2018-05-21T20:23:51Z","timestamp":1526934231000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8349683\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/latw.2018.8349683","relation":{},"subject":[],"published":{"date-parts":[[2018,3]]}}}