{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T13:48:45Z","timestamp":1777902525865,"version":"3.51.4"},"reference-count":30,"publisher":"SAGE Publications","issue":"6","license":[{"start":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T00:00:00Z","timestamp":1614556800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2021,6]]},"abstract":"<jats:p>The ARINC 653 operation system is currently widely adopted in the avionics industry, and has become the mainstream architecture in avionics applications because of its strong agility and reliability. Although ARINC 653 can efficiently reduce the weight and energy consumption, it results in a serious development and verification problem for avionics systems. As ARINC 653 is non-open source software and lacks effective support for software testing and debugging, it is of great significance to build a real-time simulation platform for ARINC 653 on general-purpose operating systems, improving the efficiency and effectiveness of system development and implementation. In this paper, a virtual ARINC 653 platform is designed and realized by using real-time simulation technology. The proposed platform is composed of partition management, communication management, and health monitoring management, provides the same operation interfaces as the ARINC 653 system, and allows dynamic debugging of avionics applications without requiring the actual presence of real devices. Experimental results show that the platform not only simulates the functionalities of ARINC 653, but also meets the real-time requirements of avionics applications.<\/jats:p>","DOI":"10.1177\/0037549721996018","type":"journal-article","created":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T07:20:58Z","timestamp":1614583258000},"page":"427-436","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":5,"title":["Design and implementation of a virtual ARINC 653 simulation platform"],"prefix":"10.1177","volume":"97","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6234-1001","authenticated-orcid":false,"given":"Jinchao","family":"Chen","sequence":"first","affiliation":[{"name":"School of Computer Science, Northwestern Polytechnical University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keke","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Computer Science, Northwestern Polytechnical University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chenglie","family":"Du","sequence":"additional","affiliation":[{"name":"School of Computer Science, Northwestern Polytechnical University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yifan","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Computer Science, Northwestern Polytechnical University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2021,3]]},"reference":[{"key":"e_1_3_4_2_2","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0168064"},{"key":"e_1_3_4_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/4229.4233"},{"key":"e_1_3_4_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2010.5442147"},{"key":"e_1_3_4_5_2","first-page":"540","volume-title":"2019 IEEE Real-Time Systems Symposium (RTSS)","author":"Chen J","unstructured":"Chen J, Du C, Han P, et al. Work-in-progress: Non-preemptive scheduling of periodic tasks with data dependency upon heterogeneous multiprocessor platforms. In 2019 IEEE Real-Time Systems Symposium (RTSS), pp. 540\u2013543."},{"key":"e_1_3_4_6_2","volume-title":"2008 IEEE\/AIAA 27th Digital Avionics Systems Conference","author":"Prisaznuk PJ","unstructured":"Prisaznuk PJ. ARINC 653 role in integrated modular avionics (IMA). In 2008 IEEE\/AIAA 27th Digital Avionics Systems Conference, pp. 1.E.5\u20131\u20131.E.5\u201310."},{"key":"e_1_3_4_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2883993"},{"key":"e_1_3_4_8_2","doi-asserted-by":"publisher","DOI":"10.1177\/0037549720986865."},{"key":"e_1_3_4_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.014"},{"key":"e_1_3_4_10_2","doi-asserted-by":"publisher","DOI":"10.1177\/0037549715604720"},{"key":"e_1_3_4_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36377-7_5"},{"key":"e_1_3_4_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2019.2963301"},{"key":"e_1_3_4_13_2","first-page":"900","volume-title":"2018 2nd IEEE Advanced Information Management, Communicates, Electronic and Automation Control Conference (IMCEC)","author":"Chen J","unstructured":"Chen J, Du C, Jiang Z. A universal and configurable simulator for distributed systems. In 2018 2nd IEEE Advanced Information Management, Communicates, Electronic and Automation Control Conference (IMCEC), pp. 900\u2013904."},{"key":"e_1_3_4_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2941958"},{"key":"e_1_3_4_15_2","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2012.54033"},{"key":"e_1_3_4_16_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2018.09.002"},{"key":"e_1_3_4_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-012-9148-y"},{"key":"e_1_3_4_18_2","first-page":"970","volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe","author":"Kim JE","unstructured":"Kim JE, Yoon MK, Im S, et al. Optimized scheduling of multi-ima partitions with exclusive region for synchronized real-time multi-core systems. In Proceedings of the Conference on Design, Automation and Test in Europe, DATE \u201813, EDA Consortium, pp. 970\u2013975."},{"key":"e_1_3_4_19_2","volume-title":"29th Digital Avionics Systems Conference","author":"VanderLeest SH","unstructured":"VanderLeest SH. ARINC 653 hypervisor. In 29th Digital Avionics Systems Conference, pp. 5.E.2\u20131\u20135.E.2\u201320."},{"key":"e_1_3_4_20_2","first-page":"388","volume-title":"IEEE International Conference on Dependable","author":"Ruan W","unstructured":"Ruan W, Zhai Z. Kernel-level design to support partitioning and hierarchical real-time scheduling of ARINC 653 for vxworks. In IEEE International Conference on Dependable, pp. 388\u2013393."},{"key":"e_1_3_4_21_2","first-page":"870","volume-title":"Design, Automation Test in Europe Conference Exhibition","author":"Beckert M","unstructured":"Beckert M, Gemlau KB, Ernst R. Exploiting sporadic servers to provide budget scheduling for ARINC 653 based real-time virtualization environments. In Design, Automation Test in Europe Conference Exhibition, pp. 870\u2013875."},{"key":"e_1_3_4_22_2","first-page":"4","volume-title":"IEEE Real-time Systems Symposium","author":"Abeni L","unstructured":"Abeni L. Integrating multimedia applications in hard real-time systems. In IEEE Real-time Systems Symposium, pp. 4\u201313."},{"key":"e_1_3_4_23_2","unstructured":"Gu F. Implementation of ARINC 653 partition in ARM virtualization environment. PhD Thesis Shanghai Jiaotong University 2015 pp. 1\u201381."},{"key":"e_1_3_4_24_2","first-page":"348","volume-title":"2009 15th International Conference on Parallel and Distributed Systems","author":"Jiang W","unstructured":"Jiang W, Zhou Y, Cui Y, et al. CFS optimizations to KVM threads on multi-core environment. In 2009 15th International Conference on Parallel and Distributed Systems, pp. 348\u2013354."},{"key":"e_1_3_4_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-015-9226-z"},{"key":"e_1_3_4_26_2","first-page":"1","article-title":"Design of major time frame for ARINC 653 partitioned real-time systems","volume":"11","author":"Tan L","year":"2016","unstructured":"Tan L, Chenglie DU. Design of major time frame for ARINC 653 partitioned real-time systems. J Beijing Uni Aeronaut Astronaut 2016; 11: 1\u20137.","journal-title":"J Beijing Uni Aeronaut Astronaut"},{"key":"e_1_3_4_27_2","first-page":"377","article-title":"Data distribution service (DDS): A performance comparison of OpenSplice and RTI implementations","author":"Bellavista P","year":"2014","unstructured":"Bellavista P, Corradi A, Foschini L, et al. Data distribution service (DDS): A performance comparison of OpenSplice and RTI implementations. Comput Commun 2014; 377\u2013383.","journal-title":"Comput Commun"},{"key":"e_1_3_4_28_2","first-page":"162","article-title":"Precise time stamping method for IEEE 1588 clock synchronization message","volume":"30","author":"Wei F","year":"2009","unstructured":"Wei F, Sun W. Precise time stamping method for IEEE 1588 clock synchronization message. Chin J Sci Instrum 2009; 30: 162\u2013169.","journal-title":"Chin J Sci Instrum"},{"key":"e_1_3_4_29_2","first-page":"619","volume-title":"2013 IEEE 37th Annual Computer Software and Applications Conference","author":"Eslamimehr M","unstructured":"Eslamimehr M, Palsberg J. Testing versus static analysis of maximum stack size. In 2013 IEEE 37th Annual Computer Software and Applications Conference, pp. 619\u2013626."},{"key":"e_1_3_4_30_2","first-page":"513","article-title":"Design and implementation of a real-time publish\/subscribe middleware","volume":"12","author":"Zheng P.","year":"2019","unstructured":"Zheng P. Design and implementation of a real-time publish\/subscribe middleware. Recent Adv Electr Electron Eng 2019; 12: 513\u2013518.","journal-title":"Recent Adv Electr Electron Eng"},{"key":"e_1_3_4_31_2","first-page":"44","article-title":"Design and implementation of real-time middleware based on publish\/subscribe mechanism","volume":"35","author":"Zheng P","year":"2018","unstructured":"Zheng P, Zhang Z, Yuan Z. Design and implementation of real-time middleware based on publish\/subscribe mechanism. Comput Appl Software 2018; 35: 44\u201347.","journal-title":"Comput Appl Software"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549721996018","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/0037549721996018","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549721996018","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:31:52Z","timestamp":1777635112000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0037549721996018"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3]]},"references-count":30,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["10.1177\/0037549721996018"],"URL":"https:\/\/doi.org\/10.1177\/0037549721996018","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,3]]}}}