{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:12:05Z","timestamp":1750306325341,"version":"3.41.0"},"reference-count":24,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2016,3,25]],"date-time":"2016-03-25T00:00:00Z","timestamp":1458864000000},"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":[[2016,3,25]]},"abstract":"<jats:p>Unmanned autonomous systems (UAS) avionics call for advanced computing system architectures fulfilling strict size, weight and power consumption (SWaP) requisites, decreasing the vehicle cost and ensuring the safety and timeliness of the system. The AIR (ARINC 653 in Space Real-Time Operating System) architecture defines a partitioned environment for the development and execution of aerospace applications, following the notion of time and space partitioning (TSP), preserving application timing and safety requisites.<\/jats:p>\n          <jats:p>The plan for a UAS mission may vary with the passage of time, according to its mode\/phase of operation, and the vehicle may be exposed to unpredictable (environmental) events and failures, calling for the advanced adaptability and reconfigurability features included in the AIR architecture. This paper explores the potential of non-intrusive runtime verification (RV) mechanisms, currently being included in AIR, to improve system safety and to decrease the computational cost of timeliness adaptability and of the corresponding overhead on the system.<\/jats:p>","DOI":"10.1145\/2907972.2907981","type":"journal-article","created":{"date-parts":[[2016,3,28]],"date-time":"2016-03-28T12:53:25Z","timestamp":1459169605000},"page":"60-65","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Towards integration of adaptability and non-intrusive runtime verification in avionic systems"],"prefix":"10.1145","volume":"13","author":[{"given":"Jos\u00e9","family":"Rufino","sequence":"first","affiliation":[{"name":"Universidade de Lisboa, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2016,3,25]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Mar.","author":"AEEC (Airlines Electronic Engineering Committee","year":"2006","unstructured":"AEEC (Airlines Electronic Engineering Committee ). Avionics Application Software Standard Interface, Part 1 - Required Services , Mar. 2006 . AEEC (Airlines Electronic Engineering Committee). Avionics Application Software Standard Interface, Part 1 - Required Services, Mar. 2006."},{"key":"e_1_2_1_2_1","volume-title":"Dec.","author":"AEEC (Airlines Electronic Engineering Committee","year":"2008","unstructured":"AEEC (Airlines Electronic Engineering Committee ). Avionics Application Software Standard Interface, Part 2 - Extended Services , Dec. 2008 . AEEC (Airlines Electronic Engineering Committee). Avionics Application Software Standard Interface, Part 2 - Extended Services, Dec. 2008."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.20"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1851340.1851349"},{"key":"e_1_2_1_5_1","first-page":"457","volume-title":"Proc. 6th Simp\u00f3sio de Inform\u00e1tica (INForum 2014","author":"Carraca J.","year":"2014","unstructured":"J. Carraca , R. C. Pinto , J. P. Craveiro , and J. Rufino . Information security in time- and space-partitioned architectures for aerospace systems . In Proc. 6th Simp\u00f3sio de Inform\u00e1tica (INForum 2014 ), pages 457 -- 472 , Porto, Portugal , Sept. 2014 . J. Carraca, R. C. Pinto, J. P. Craveiro, and J. Rufino. Information security in time- and space-partitioned architectures for aerospace systems. In Proc. 6th Simp\u00f3sio de Inform\u00e1tica (INForum 2014), pages 457--472, Porto, Portugal, Sept. 2014."},{"key":"e_1_2_1_7_1","volume-title":"Proc. 2nd Int. Conf. on Adaptive and Self-adaptive Systems and Applic.","author":"Craveiro J. P.","year":"2010","unstructured":"J. P. Craveiro and J. Rufino . Adaptability support in time- and space-partitioned aerospace systems . In Proc. 2nd Int. Conf. on Adaptive and Self-adaptive Systems and Applic. , Lisbon, Portugal , Nov. 2010 . J. P. Craveiro and J. Rufino. Adaptability support in time- and space-partitioned aerospace systems. In Proc. 2nd Int. Conf. on Adaptive and Self-adaptive Systems and Applic., Lisbon, Portugal, Nov. 2010."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641243"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2010.18"},{"key":"e_1_2_1_10_1","volume-title":"Feb.","author":"DILIGENT.","year":"2014","unstructured":"DILIGENT. ZYBO Reference Manual , Feb. 2014 . DILIGENT. ZYBO Reference Manual, Feb. 2014."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2009.46"},{"key":"e_1_2_1_12_1","volume-title":"Proc. 7th Ann. Conf. on Systems Engineering Research","author":"Ford B.","year":"2009","unstructured":"B. Ford , P. Bull , A. Grigg , L. Guan , and I. Phillips . Adaptive architectures for future highly dependable, real-time systems . In Proc. 7th Ann. Conf. on Systems Engineering Research , Loughborough, UK , Apr. 2009 . B. Ford, P. Bull, A. Grigg, L. Guan, and I. Phillips. Adaptive architectures for future highly dependable, real-time systems. In Proc. 7th Ann. Conf. on Systems Engineering Research, Loughborough, UK, Apr. 2009."},{"key":"e_1_2_1_14_1","first-page":"103","volume-title":"Proc. 5th Int. Conf. on Real-Time Computing Systems and Applications","author":"Lee Y.","year":"1998","unstructured":"Y. Lee , D. Kim , M. Younis , and J. Zhou . Partition scheduling in APEX runtime environment for embedded avionics software . In Proc. 5th Int. Conf. on Real-Time Computing Systems and Applications , pages 103 -- 109 , Hiroshima, Japan , 1998 . Y. Lee, D. Kim, M. Younis, and J. Zhou. Partition scheduling in APEX runtime environment for embedded avionics software. In Proc. 5th Int. Conf. on Real-Time Computing Systems and Applications, pages 103--109, Hiroshima, Japan, 1998."},{"key":"e_1_2_1_15_1","volume-title":"The 22nd Int. Ann. Forum on COCOMO and Systems\/Software Cost Modelling","author":"Nguyen V.","year":"2007","unstructured":"V. Nguyen , S. Deeds-Rubin , T. Tan , and B. Boehm . A SLOC counting standard . In The 22nd Int. Ann. Forum on COCOMO and Systems\/Software Cost Modelling , Los Angeles, USA , 2007 . V. Nguyen, S. Deeds-Rubin, T. Tan, and B. Boehm. A SLOC counting standard. In The 22nd Int. Ann. Forum on COCOMO and Systems\/Software Cost Modelling, Los Angeles, USA, 2007."},{"key":"e_1_2_1_16_1","volume-title":"RTEMS C User's Guide, 4.9.4 edition","author":"On-Line Applications Research Corporation","year":"2010","unstructured":"On-Line Applications Research Corporation . RTEMS C User's Guide, 4.9.4 edition , 2010 . On-Line Applications Research Corporation. RTEMS C User's Guide, 4.9.4 edition, 2010."},{"key":"e_1_2_1_17_1","first-page":"25","volume-title":"26th Euromicro Conf. on Real-Time Systems - WIP Session","author":"Pinto R. C.","year":"2014","unstructured":"R. C. Pinto and J. Rufino . Towards non-invasive run-time verification of real-time systems . In 26th Euromicro Conf. on Real-Time Systems - WIP Session , pages 25 -- 28 , Madrid, Spain , July 2014 . R. C. Pinto and J. Rufino. Towards non-invasive run-time verification of real-time systems. In 26th Euromicro Conf. on Real-Time Systems - WIP Session, pages 25--28, Madrid, Spain, July 2014."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0199-z"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034932"},{"key":"e_1_2_1_20_1","series-title":"LNCS","volume-title":"Architecting Dependable Systems VII","author":"Rufino J.","year":"2010","unstructured":"J. Rufino , J. Craveiro , and P. Verissimo . Architecting robustness and timeliness in a new generation of aerospace systems . In A. Casimiro, R. de Lemos, and C. Gacek, editors, Architecting Dependable Systems VII , volume 6420 of LNCS . Springer , 2010 . J. Rufino, J. Craveiro, and P. Verissimo. Architecting robustness and timeliness in a new generation of aerospace systems. In A. Casimiro, R. de Lemos, and C. Gacek, editors, Architecting Dependable Systems VII, volume 6420 of LNCS. Springer, 2010."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2008.4702767"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.actaastro.2008.07.019"},{"key":"e_1_2_1_24_1","volume-title":"ESA","author":"TSP Working Group","year":"2009","unstructured":"TSP Working Group . Avionics time and space partitioning user needs. Technical Note TEC-SW\/09-247\/JW , ESA , Aug. 2009 . TSP Working Group. Avionics time and space partitioning user needs. Technical Note TEC-SW\/09-247\/JW, ESA, Aug. 2009."},{"key":"e_1_2_1_25_1","volume-title":"Proc. 10th Int. Symp. of Hungarian Researchers on Computational Intelligence and Informatics","author":"Vanek B.","year":"2009","unstructured":"B. Vanek . Future trends in UAS avionics . In Proc. 10th Int. Symp. of Hungarian Researchers on Computational Intelligence and Informatics , Budapest, Hungary , Nov. 2009 . B. Vanek. Future trends in UAS avionics. In Proc. 10th Int. Symp. of Hungarian Researchers on Computational Intelligence and Informatics, Budapest, Hungary, Nov. 2009."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20060076"},{"key":"e_1_2_1_27_1","volume-title":"Retrieved","author":"River Wind","year":"2015","unstructured":"Wind River . Wind River VxWorks 653 Platform 2.4 and 2.5, 2015 . Retrieved Jun 29, 2015 . Wind River. Wind River VxWorks 653 Platform 2.4 and 2.5, 2015. Retrieved Jun 29, 2015."}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2907972.2907981","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2907972.2907981","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:27Z","timestamp":1750222467000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2907972.2907981"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,25]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,3,25]]}},"alternative-id":["10.1145\/2907972.2907981"],"URL":"https:\/\/doi.org\/10.1145\/2907972.2907981","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2016,3,25]]},"assertion":[{"value":"2016-03-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}