{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:50:09Z","timestamp":1750308609114,"version":"3.41.0"},"reference-count":14,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2018,3,20]],"date-time":"2018-03-20T00:00:00Z","timestamp":1521504000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2018,3,20]]},"abstract":"<jats:p>\n            The Open Group Future Airborne Capability Environment (FACE\n            <jats:sup>\u2122<\/jats:sup>\n            ) Consortium has developed a reference architecture and standard for real-time embedded avionics systems. The FACE Technical Standard defines required capabilities for real-time operating systems (RTOS), portable components, and a shared data model to facilitate information exchange between components. FACE RTOS requirements are based on ARINC 653 and POSIX 1003.1b with tailoring to address the safety and security needs of avionics systems. Deos is a safety-certified RTOS that supports ARINC 653 but not POSIX. In contrast, RTEMS is an open source RTOS that supports POSIX but not ARINC 653. Integrating a paravirtualized RTEMS with Deos combines the strengths of both and provides a path to conformance with the FACE Safety Base operating system profile. This paper presents the FACE operating system profiles and discusses the technical challenges of the paravirtualization and integration effort.\n          <\/jats:p>","DOI":"10.1145\/3199610.3199612","type":"journal-article","created":{"date-parts":[[2018,3,22]],"date-time":"2018-03-22T15:17:48Z","timestamp":1521731868000},"page":"15-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Aligning Deos and RTEMS with the FACE safety base operating system profile"],"prefix":"10.1145","volume":"15","author":[{"given":"Gedare","family":"Bloom","sequence":"first","affiliation":[{"name":"Howard University"}]},{"given":"Joel","family":"Sherrill","sequence":"additional","affiliation":[{"name":"OAR Corporation"}]},{"given":"Gary","family":"Gilliland","sequence":"additional","affiliation":[{"name":"DDC-I, Inc."}]}],"member":"320","published-online":{"date-parts":[[2018,3,20]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Ieee standard for information technology - standardized application environment profile - posix(r) realtime application support (aep). IEEE Std 1003.13-1998 pages i- 1999.  Ieee standard for information technology - standardized application environment profile - posix(r) realtime application support (aep). IEEE Std 1003.13-1998 pages i- 1999."},{"key":"e_1_2_1_2_1","first-page":"1","article-title":"standard for information technology - portable operating system interface (POSIX) - part 26: Device control application program interface (API) {c language}","volume":"26","author":"IEEE","year":"2004","journal-title":"IEEE Std 1003."},{"key":"e_1_2_1_3_1","unstructured":"Standard for information technology portable operating system interface (POSIX(R)) base specifications issue 7. IEEE Std 1003.1 2013 Edition (incorporates IEEE Std 1003.1-2008 and IEEE Std 1003.1-2008\/Cor 1-2013) pages 1-3906 April 2013.  Standard for information technology portable operating system interface (POSIX(R)) base specifications issue 7. IEEE Std 1003.1 2013 Edition (incorporates IEEE Std 1003.1-2008 and IEEE Std 1003.1-2008\/Cor 1-2013) pages 1-3906 April 2013."},{"key":"e_1_2_1_4_1","unstructured":"ARINC Specification 653 P1-4 Avionics Application Software Standard Interface Part 1: Required Services 2015.  ARINC Specification 653 P1-4 Avionics Application Software Standard Interface Part 1: Required Services 2015."},{"key":"e_1_2_1_5_1","unstructured":"Deos: A time and space partitioned DO-178 Level A certifiable RTOS 2016. http:\/\/www.ddci.com\/products_deos\/.  Deos: A time and space partitioned DO-178 Level A certifiable RTOS 2016. http:\/\/www.ddci.com\/products_deos\/."},{"key":"e_1_2_1_6_1","unstructured":"The lightweightip stack (lwIP) 2016. http:\/\/www.nongnu.org\/lwip.  The lightweightip stack (lwIP) 2016. http:\/\/www.nongnu.org\/lwip."},{"key":"e_1_2_1_7_1","unstructured":"RTEMS real time operating system (RTOS) 2016. https:\/\/www.rtems.org\/.  RTEMS real time operating system (RTOS) 2016. https:\/\/www.rtems.org\/."},{"key":"e_1_2_1_8_1","unstructured":"Technical standard for Future Airborne Capability Environment (FACE) edition 2.1 May 2014. http:\/\/www.opengroup.org\/face\/tech-standard-2.1.  Technical standard for Future Airborne Capability Environment (FACE) edition 2.1 May 2014. http:\/\/www.opengroup.org\/face\/tech-standard-2.1."},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","unstructured":"J. Alves-Foss P. Oman R. Bradetich X. He and J. Song. Implications of Multi-Core Architectures on the Development of Multiple Independent Levels of Security (MILS) Compliant Systems. Technical report Oct. 2012.  J. Alves-Foss P. Oman R. Bradetich X. He and J. Song. Implications of Multi-Core Architectures on the Development of Multiple Independent Levels of Security (MILS) Compliant Systems. Technical report Oct. 2012.","DOI":"10.21236\/ADA568860"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2597457.2597459"},{"volume-title":"Data Systems In Aerospace DASIA","year":"2009","author":"Crespo A.","key":"e_1_2_1_11_1"},{"issue":"1","key":"e_1_2_1_12_1","first-page":"68","volume":"18","author":"Mogosanu L.","year":"2016","journal-title":"Journal of Control Engineering and Applied Informatics"},{"key":"e_1_2_1_13_1","unstructured":"J. Werner. Improving Virtualization Support in the Fiasco. OC Microkernel. PhD thesis tu-berlin 2012.  J. Werner. Improving Virtualization Support in the Fiasco. OC Microkernel . PhD thesis tu-berlin 2012."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2015.7108435"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3199610.3199612","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3199610.3199612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:07:18Z","timestamp":1750273638000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3199610.3199612"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,20]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,3,20]]}},"alternative-id":["10.1145\/3199610.3199612"],"URL":"https:\/\/doi.org\/10.1145\/3199610.3199612","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2018,3,20]]},"assertion":[{"value":"2018-03-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}