{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T13:37:14Z","timestamp":1725802634431},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/iolts.2018.8474091","type":"proceedings-article","created":{"date-parts":[[2018,10,22]],"date-time":"2018-10-22T20:31:36Z","timestamp":1540240296000},"page":"245-246","source":"Crossref","is-referenced-by-count":1,"title":["Real-Time Validation of Fault-Tolerant Mixed-Criticality Systems"],"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","article-title":"UAV Avionics Hardware in the Loop Simulator","author":"mcmanus","year":"2003","journal-title":"10th Australian International Aerospace Congress Proceedings of Brisbane"},{"key":"ref11","article-title":"Modeling and Hardware-in-the-Loop Simulation for a Small Unmanned Aerial Vehicle","author":"jung","year":"0","journal-title":"AIAA Infotech Aerospace 2007 Conference and Exhibit"},{"journal-title":"Mixed-criticality Systems A Review","year":"2016","author":"burns","key":"ref12"},{"key":"ref13","first-page":"239","article-title":"Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance","author":"vestal","year":"0","journal-title":"Proc Real-Time Systems Symp"},{"key":"ref14","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":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658595"},{"article-title":"Partitioning in >Avionics Architectures: Requirements, Mechanisms, and Assurance","year":"0","author":"rushby","key":"ref16"},{"journal-title":"Software-Implemented Hardware Fault Tolerance","year":"2006","author":"goloubeva","key":"ref17"},{"journal-title":"On the emulation of software faults by software fault injection","year":"2000","author":"madeira","key":"ref18"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2015.7229823"},{"key":"ref3","first-page":"1","article-title":"Transitioning from federated avionics architectures to Integrated Modular Avionics","author":"watkins","year":"0","journal-title":"Proc AIAA\/IEEE\/SAE Digital Avionics Syst Conf"},{"key":"ref6","first-page":"109","article-title":"Multi-core interference-sensitive WCET analysis leveraging runtime resource capacity enforcement","author":"nowotsch","year":"0","journal-title":"Proc Euromicro Conf Real-Time Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3063313"},{"key":"ref8","article-title":"Real-Time Validation of Mixed-Criticality Applications","author":"esposito","year":"0","journal-title":"to appear in 2018 IEEE 19th Latin American Test Symposium (LATS)"},{"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":"Proc Des Autom Test Eur Conf Exhibition (DATE)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/NAECON.1992.220669"},{"year":"2011","key":"ref1","article-title":"DO-178c Software Considerations in Airborne Systems and Equipment Certification"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2009.06.001"}],"event":{"name":"2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS)","start":{"date-parts":[[2018,7,2]]},"location":"Platja d'Aro","end":{"date-parts":[[2018,7,4]]}},"container-title":["2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8450543\/8474071\/08474091.pdf?arnumber=8474091","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T22:06:53Z","timestamp":1598220413000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8474091\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/iolts.2018.8474091","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}