{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T07:57:40Z","timestamp":1768809460004,"version":"3.49.0"},"reference-count":63,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2021]]},"DOI":"10.1109\/access.2021.3100125","type":"journal-article","created":{"date-parts":[[2021,7,26]],"date-time":"2021-07-26T21:48:32Z","timestamp":1627336112000},"page":"106065-106078","source":"Crossref","is-referenced-by-count":6,"title":["Statistical Test Coverage for Linux-Based Next-Generation Autonomous Safety-Related Systems"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5221-9168","authenticated-orcid":false,"given":"Imanol","family":"Allende","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicholas Mc","family":"Guire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6389-648X","authenticated-orcid":false,"given":"Jon","family":"Perez-Cerrolaza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lisandro G.","family":"Monsalve","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Petersohn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Obermaisser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","article-title":"Bayesian SegNet: Model uncertainty in deep convolutional encoder-decoder architectures for scene understanding","author":"kendall","year":"2015","journal-title":"arXiv 1511 02680"},{"key":"ref38","article-title":"Uncertainty in deep learning","author":"gal","year":"2016"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3398665"},{"key":"ref32","first-page":"1","article-title":"CallGraph tool—How (not) to develop a call graph detection tool","author":"simunovic","year":"2020","journal-title":"Proc ELISA Workshop"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354244"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2016.53"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.31"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2019.00020"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/DSD51259.2020.00063"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66284-8_1"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1890\/07-1288.1"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1987.10478410"},{"key":"ref61","year":"2012","journal-title":"Lecture Notes in Artificial Intelligence"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.9734\/ARRB\/2016\/25104"},{"key":"ref28","first-page":"1","article-title":"Utilizing inherent diversity in complex software systems","author":"okech","year":"2014","journal-title":"Proc Austral Syst Saf Conf (ASSC) Austral Comput Soc"},{"key":"ref27","first-page":"1","article-title":"Investigating execution path non-determinism in the Linux kernel","author":"okech","year":"2013","journal-title":"Proc 14th Real-Time Linux Workshop Lugano (OSADL)"},{"key":"ref29","article-title":"Inherent diversity in replicated architectures","author":"okech","year":"2015","journal-title":"arXiv 1510 02086"},{"key":"ref2","author":"leveson","year":"2016","journal-title":"Engineering A Safer World Systems Thinking Applied to Safety"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2500468.2494558"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2021.102047"},{"key":"ref22","year":"2010","journal-title":"Functional safety of electrical\/electronic\/programmable electronic safety-related systems"},{"key":"ref21","year":"2021","journal-title":"Repository Available GIT Clone"},{"key":"ref24","year":"2021","journal-title":"Linux in 2020 27 8 Million Lines of code in the Kernel 1 3 Million in Systemd"},{"key":"ref23","year":"2011"},{"key":"ref26","first-page":"1","article-title":"Analysis of statistical properties of inherent randomness","author":"okech","year":"2010","journal-title":"Proc 12th Real-Time Linux Workshop"},{"key":"ref25","first-page":"1","article-title":"Analysis of inherent randomness of the Linux kernel","author":"guire","year":"2009","journal-title":"Proc 11th Real-Time Linux Workshop"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-7138-7"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1046\/j.1461-0248.2001.00230.x"},{"key":"ref59","author":"sampson","year":"2002","journal-title":"Empirical Linguistics"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1080\/09296179508590051"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/40.3-4.237"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1111\/j.1365-2656.2005.00940.x"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.2307\/2335915"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.2307\/2531532"},{"key":"ref53","first-page":"1","article-title":"Choosing the best non-parametric richness estimator for benthic macroinvertebrates databases","volume":"70","author":"basualdo","year":"2017","journal-title":"Rev Soc Entomol Argentina"},{"key":"ref52","first-page":"39","volume":"12","author":"gotelli","year":"2011","journal-title":"Estimating Species Richness"},{"key":"ref10","article-title":"Certifying Linux: Lessons learned in three years of SIL2linuxMP","author":"platschek","year":"2018","journal-title":"Proc Embedded World"},{"key":"ref11","year":"2019","journal-title":"SIL2 61508 Ed 2 Compliance Route SIL2LinuxMP—The Safety Project for Linux"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487679"},{"key":"ref12","year":"2021","journal-title":"Linux Grows on Government Systems"},{"key":"ref13","year":"2021","journal-title":"Trust SUSE US Federal Government Solutions"},{"key":"ref14","year":"2021","journal-title":"DISA Has Released the Red Hat Enterprise Linux 8 STIG"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2017.160182"},{"key":"ref16","year":"2021","journal-title":"ELC SpaceX lessons learned"},{"key":"ref17","author":"gruen","year":"2012","journal-title":"Linux in space"},{"key":"ref18","first-page":"1289","article-title":"Flight control system for NASA’s Mars helicopter","author":"grip","year":"2019","journal-title":"Proc AIAA SciTech Forum"},{"key":"ref19","first-page":"1446","article-title":"Estimation of Linux kernel execution path uncertainty for safety software test coverage","author":"allende","year":"2021","journal-title":"Proc Design Autom Test Eur Conf Exhibition (DATE)"},{"key":"ref4","first-page":"70","article-title":"Approaching certification of complex systems","author":"mc guire","year":"2020","journal-title":"Proc 50th Annu IEEE\/IFIP Int Conf Dependable Syst Netw Workshops (DSN-W)"},{"key":"ref3","year":"2019","journal-title":"Road Vehicles—Safety of the Intended Functionality"},{"key":"ref6","author":"bulwahn","year":"2013","journal-title":"Research on an Open-Source Software Platform for Autonomous Driving Systems"},{"key":"ref5","article-title":"Linux kernel development report","author":"kroah-hartman","year":"2017"},{"key":"ref8","year":"2021","journal-title":"Enabling Linux in Safety Applications (ELISA)"},{"key":"ref7","year":"2021","journal-title":"SIL2LinuxMP—The Safety Project for Linux"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/s10531-005-0311-9"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DSD51259.2020.00066"},{"key":"ref46","first-page":"719","article-title":"The Vegan Package","volume":"10","author":"oksanen","year":"2007","journal-title":"Community Ecol Package"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1890\/03-0557"},{"key":"ref48","first-page":"1","article-title":"Species richness: Estimation and comparison","volume":"1","author":"chao","year":"2014","journal-title":"Wiley StatsRef Statistics Reference Online"},{"key":"ref47","first-page":"1","article-title":"Vegan: Ecological diversity","volume":"368","author":"oksanen","year":"2013","journal-title":"R Project"},{"key":"ref42","first-page":"265","article-title":"Non-parametric estimation of the number of classes in a population","volume":"11","author":"chao","year":"1984","journal-title":"Scandin J Statist"},{"key":"ref41","first-page":"1","article-title":"Schedulability of probabilistic mixed-criticality systems","author":"draskovic","year":"2021","journal-title":"Real-Time Syst"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1111\/j.1461-0248.2007.01024.x"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.2307\/2530750"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9312710\/09496663.pdf?arnumber=9496663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T19:57:13Z","timestamp":1639771033000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9496663\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"references-count":63,"URL":"https:\/\/doi.org\/10.1109\/access.2021.3100125","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]}}}