{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:44:04Z","timestamp":1761324244914},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:00:00Z","timestamp":1564617600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1109\/rtcsa.2019.8864566","type":"proceedings-article","created":{"date-parts":[[2019,10,14]],"date-time":"2019-10-14T20:26:42Z","timestamp":1571084802000},"page":"1-11","source":"Crossref","is-referenced-by-count":10,"title":["Mixed-Trust Computing for Real-Time Systems"],"prefix":"10.1109","author":[{"given":"D.","family":"de Niz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Andersson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Klein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Lehoczky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Vasudevan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Moreno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","article-title":"überspark: Enforcing verifiable object abstractions for automated compositional security analysis of a hypervisor","author":"vasudevan","year":"2016","journal-title":"25th USENIX Security Symposium (USENIX Security 16)"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.36"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2018.00021"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217951"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038651"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3126517"},{"key":"ref11","article-title":"Concepts of integration for UAS operations in the NAS","author":"consiglio","year":"2012","journal-title":"16th Congress of the International Council of Aeronautical Sciences (ICAS)"},{"key":"ref12","article-title":"The design of a COTS realtime distributed security kernel","author":"correia","year":"2002","journal-title":"edcc"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2010.18"},{"journal-title":"Technical report University of York","year":"2019","author":"davis","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9012-7"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1117\/12.2307575"},{"key":"ref17","article-title":"On the scheduling of mixed-criticality real-time task sets","author":"de niz","year":"2009","journal-title":"RTSS"},{"journal-title":"Mixed-Trust Computing for Real-Time System - extended version","year":"2019","author":"de niz","key":"ref18"},{"key":"ref19","article-title":"The dependency management framework: a case study of the ION cubesat","author":"ding","year":"2006","journal-title":"ECRTS"},{"journal-title":"Special C of RTCA D O-178C software considerations in airborne systems and equipment certification","year":"2011","key":"ref28"},{"journal-title":"Formal Methods Supplement to DO-178C and DO-278A","article-title":"RTCA Special Committee 205","year":"2011","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.28"},{"year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055012"},{"key":"ref29","article-title":"Using simplicity to control complexity","author":"sha","year":"2001","journal-title":"IEEE Software"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00010"},{"key":"ref8","article-title":"On spatial isolation for mixed criticality, embedded systems","author":"armbrust","year":"2014","journal-title":"WMC"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_5"},{"year":"0","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021711220939"},{"year":"0","key":"ref1"},{"key":"ref20","article-title":"Compositional schedu-lability analysis of hierarchical real-time systems","author":"easwaran","year":"2007","journal-title":"ISORC"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00013"},{"key":"ref21","article-title":"CertiKOS: An extensible architecture for building certified concurrent OS kernels","author":"gu","year":"2016","journal-title":"OSDI"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"ref23","article-title":"Evolution of the PikeOS microkernel","author":"kaiser","year":"2007","journal-title":"First International Workshop on Microkernels for Embedded Systems"},{"key":"ref26","article-title":"Predictable commmunication and migration in the Quest-V separation kernel","author":"li","year":"2014","journal-title":"RTSS"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128748"}],"event":{"name":"2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)","start":{"date-parts":[[2019,8,18]]},"location":"Hangzhou, China","end":{"date-parts":[[2019,8,21]]}},"container-title":["2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8854249\/8864552\/08864566.pdf?arnumber=8864566","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,14]],"date-time":"2022-07-14T23:08:36Z","timestamp":1657840116000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8864566\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/rtcsa.2019.8864566","relation":{},"subject":[],"published":{"date-parts":[[2019,8]]}}}