[1] Armand F,Gien M.A practical look at micro-kernels and virtual machine monitors[A].Consumer Communications and Networking Conference[C].Las Vegas:IEEE Press,2009.1-7.
[2] 孔德岐,李亚晖,郭鹏.高可靠嵌入式计算机系统的发展[J].通信学报,2013,34(Z1):170-175. Kong Deqi,Li Yahui,Guo Peng.Development of dependable embedded computer systems[J].Journal on Communications,2013,34(Z1):170-175.(in Chinese)
[3] Chiueh S N T,Brook S.A survey on virtualization technologies[J].Rpe Report,2005,1-42.
[4] Sheridan-Barbian K K.A survey of real-timeoperating systems and virtualization solutions for space systems[D].Monterey,California:Naval Postgraduate School,2015.
[5] Sandström K,Vulgarakis A,Lindgren M,et al.Virtualization technologies in embedded real-time systems[A].Emerging Technologies & Factory Automation(ETFA)[C].Cagliari,Italy:IEEE Press,2013.1-8.
[6] Weltzin C,Delgado S.Using virtualization toreduce the cost of test[A].Autotestcon[C].Anaheim:IEEE Press,2009.439-442.
[7] VirtualLogix,Inc.VirtualLogix homepage[EB/OL].http://www.virtuallogix.org/,2017-08-08.
[8] Heiser G,Leslie B.The OKL4 microvisor:convergence point of microkernels and hypervisors[A].ACM Sigcomm Asia-pacific Workshop on Systems[C].New Delhi,India:DBLP,2010.19-24.
[9] Wikipedia.Xen ARM with Virtualization Extensions whitepaper[EB/OL].https://wiki.xen.org/wiki/Xen_ARM_with_Virtualization_Extensions_whitepaper,2017-07-13.
[10] Yoo S,Yoo C.Real-time scheduling for xenarm virtual machines[J].IEEE TransactionsonMobile Computing,2014,13(8):1857-1867.
[11] KVM/ARM.KVM/ARM Open Source Project[EB/OL].http://systems.cs.columbia.edu/projects/kvm-arm/,2017-08-01.
[12] Dall C,Nieh J.KVM/ARM:the design and implementation of the linux ARM hypervisor[J].ACM SIGARCH Computer Architecture News,2014,42(1):333-348.
[13] Masmano M,Ripoll I,Crespo A,et al.Xtratum:a hypervisor for safety critical embedded systems[A].11th Real-Time Linux Workshop[C].Dresden,Germany:Real Time Linux Workshop,2009.263-272.
[14] Patel A,Daftedar M,Shalan M,et al.Embedded hypervisor xvisor:A comparative analysis[A].Euromicro International Conference on Parallel,Distributed and Network-Based Processing (PDP)[C].Turku,Finland:IEEE,2015.682-691.
[15] Xen Project.The Xen Project,the powerful open source industry standard for virtualization[EB/OL].https://www.xenproject.org/,2017-08-01.
[16] Avanzini A,Valente P,Faggioli D,et al.Integrating Linux and the real-time ERIKA OS through the Xen hypervisor[A].IEEE International Symposium on Industrial Embedded Systems[C].Siegen:IEEE Press,2015.1-7.
[17] Yu P,Xia M,Lin Q,et al.Real-time enhancement for Xen hypervisor[A].International Conference on Embedded and Ubiquitous Computing (EUC)[C].Hong Kong:IEEE,2010.23-30.
[18] Chisnall D.The Definitive Guide to the Xen Hypervisor[M].Pearson Education,2008.217-233.
[19] 王吉,包卫东,朱晓敏.虚拟化云平台中实时任务容错调度算法研究[J].通信学报,2014,35(10):171-180. Wang Ji,Bao Weidong,Zhu Xiaomin.Fault-tolerant scheduling algorithm for real-time tasks in virtualized cloud[J].Journal on Communications,2014,35(10):171-180.(in Chinese)
[20] Takada H,Iiyama S,Kindaichi T,et al."Li-nux on ITRON":a hybrid operating system architecture for embedded systems[A].Symposium on Applications and the Internet Workshops[C].Nara:IEEE Press,2002.4-7.
[21] 吴一民.RT-Linux的实时机制分析[J].计算机应用,2002,22(12):110-112. Wu Yimin.Real-time mechanism analysis of RT-Linux[J].Computer Application,2002,22(12):110-112.(in Chinese)
[22] Mantegazza P,Dozio L,Papacharalambous S.RTAI:Real time application interface[J].Linux Journal,2000(72es):10.
[23] Gerum P.Xenomai:Real-time framework forLinux[EB/OL].http://xenomai.org/,2017-08-01.
[24] Heiser G.The role of virtualization in embedded systems[A].Proceedings of the 1st Workshop on Isolation and Integration in Embedded Systems[C].Glasgow,Scotland:ACM,2008.11-16.
[25] Hätig H,Hohmuth H,Liedtke J.The performance of μ-kernel-based systems[A].ACM SIGOPS Operating System Review[C].Malo,France:ACM,1997.31(5):66-77.
[26] Tu Dresden.The Fiasco microkernel[EB/OL].http://os.inf.tu-dresden.de/fiasco/,2016-06-09.
[27] Bruns F,Traboulsi S,Szczesny D,et al.An evaluation of microkernel-based virtualization for embedded real-time systems[A].Euromicro Conference on Real-Time Systems (ECRTS)[C].Brussels:IEEE Press,2010.57-65.
[28] Wikipedia.Adaptive Domain Environment forOperating Systems[EB/OL].https://en.wikipedia.org/wiki/Adaptive_Domain_Environment_for_Operating_Systems,2017-03-15.
[29] Surhone L M,Tennoe M T,Henssonow S F.Adaptive Domain Environment for Operating Systems[M].Betascript Publishing,2010.2-10.
[30] Roy K S,Gowthami K.Implementation of Xenomai Framework in GNU/Linux Environment to run applications in a Real-Time Environment[J].Indian Journal of Science and Technology,2016,9(17):1-8.
[31] Wikipedia.RT PREEMPT HOWTO[EB/OL].https://rt.wiki.kernel.org/index.php/RT_PREEMPT_HOWTO,2017-06-17.
[32] Sabt M,Achemlal M,Bouabdallah A.Trusted execution environment:What it is,and what it is not[A].Trustcom/bigdatase/ispa[C].Helsinki,Finland:IEEE,2015.57-64.
[33] Varanasi P,Heiser G.Hardware-supported vi-rtualization on ARM[A].Asia-Pacific Workshop on Systems[C].Shanghai:ACM,2011.1-5.
[34] Santos N,Raj H,Saroiu S,et al.Using ARM TrustZone to build a trusted language runtime for mobile applications[A].ACM SIGARCH Computer Architecture News[C].Salt Lake City:ACM,2014.67-80.
[35] Oh S C,Koh K W,Kim C Y,et al.Acceleration of dual OS virtualization in embededsystems[A].International Conference on Computing and Convergence Technology[C].Seoul,Korea:IEEE,2012.1098-1101.
[36] Sangorrin D,Honda S,Takada H.Dual ope-rating system architecture for real-time embedded systems[A].Proceedings of the 6th International Workshop on Operating Systems Platforms for Embedded Real-Time Applicati-ons[C].Brussels,Belgium,2010.6-15.
[37] Sangorrín D,Honda S,Takada H.Reliable and efficient Dual-OS communications for real-time embedded virtualization[J].Information and Media Technologies,2013,8(1):1-17.
[38] Shah J H.ARMithril:A secure OS leveraging ARM's TrustZone technology[J].Macromolecules,2007,40(20):7075-7078.
[39] Jing L,Chunhua J,Xia Y.Design and implementation of security OS based on TrustZone[A].International Conference on Electronic Measurement & Instruments[C].Harbin,China:IEEE,2013.1027-1032.
[40] Pinto S,Tavares A,Montenegro S.Hypervis-or for teal time space applications[A].4SSymposium[C].Malta:4S Symposium,2016.1-14.
[41] Pinto S,Pereira J,Gomes T,et al.Towards a TrustZone-assisted hypervisor for real-time embedded systems[J].IEEE Computer Architecture Letters,2016,16(2):158-161.
[42] Sangorrin Lopez D.Advanced integration techniques for highly reliable dual-OS embedded systems[D].Japan:Nagoya University,2012.1-114.
[43] Sangorrin D,Honda S,Takada H.Integrated scheduling for a reliable dualos monitor[J].Information and Media Technologies,2012,7(2):627-638.
[44] Aalto A.Dynamic management of multiple operating systems in an embedded multi-core environment[D].Espoo:Aalto University,2010.1-80.
[45] Gilles K,Groesbrink S,Baldin D,et al.Prot-eus hypervisor:Full virtualization and paravirtualization for multi-core embedded systems[A].International Embedded Systems Symposium[C].Berlin,Heidelberg:Springer,2013.293-305.
[46] Kinebuchi Y,Mitake H,Yasukawa Y,et al.A study on real-time responsiveness on virtualization based multi-OS embedded systems[A].Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems[C].Vilamoura,Portugal:PECCS,2011.369-378.
[47] Yu Q,Wei H,Liu M,et al.A novel multi-OS architecture for robot application[A].Robotics and Biomimetics (ROBIO)[C].Karon Beach,Phuket,Thailand:IEEE,2011.2301-2306.
[48] Meier L,Honegger D,Pollefeys M.PX4:A node-based multithreaded open source robotics framework for deeply embedded platforms[A].2015 IEEE International Conference on Robotics and Automation (ICRA)[C].Seattle,USA:IEEE,2015.6235-6240.
[49] 杨海钢,孙嘉斌,王慰.FPGA器件设计技术发展综述[J].电子与信息学报,2010,32(3):714-727. Yang Haigang,Sun Jiabin,Wang Wei.An overview to FPGA device design technologi-es[J].Journal of Electronics & Information Technology,2010,32(3):714-727.(in Chinese)
[50] Hauck S,Dehon A.Reconfigurable Computi-ng:The Theory and Practice of FPGA-Based Computation[M].Morgan Kaufmann Publishers Inc,2007.
[51] Wei H,Li C,Chen D,et al.Research on reconfigurable robot controller based on ARM and FPGA[A].IEEE International Conference on Industrial Informatics[C].Daejeon,Korea:IEEE,2008.123-128.
[52] Morabito R,Kjällman J,Komu M.Hypervisors vs.lightweight virtualization:a performance comparison[A].IEEE International Conference on Cloud Engineering[C].Tempe,USA:IEEE,2015.386-393.
[53] Li Y,Li W,Jiang C.A survey of virtual machine system:Current technology and future trends[A].Third International Symposium on Electronic Commerce and Security[C].Guangzhou:IEEE,2010.332-336.
[54] 涂刚,阳富民,胡贯荣,嵌入式操作系统综述[J].计算机应用研究,2000,17(11):4-5. Tu Gang,Yang Fumin,Hu Guanrong.An overview of embedded operating system[J].Application Research of Computers,2000,17(11):4-5.(in Chinese)
[55] 叶常春.嵌入式虚拟化技术[J].计算机工程与科学,2012,34(3):41-45. Ye Changchun.The embedded virtualization technology[J].Computer Engineering & Science,2012,34(3):41-45.(in Chinese)
[56] Kim B,Choi M.Design and analysis of m-ultiple OS implementation on a single arm-based embedded platform[J].Sustainability,2017,9(5):684.
[57] 郑显义,李文,孟丹.TrustZone技术的分析与研究[J].计算机学报,2016(9):1912-1928. Zheng Xianyi,Li Wen,Meng Dan.Analysis and research on TrustZone technology[J].Chinese Journal of Computers,2016(9):1912-1928.(in Chinese)
[58] Sangorrín D,Honda S,Takada H.Reliable device sharing mechanisms for dual-os embedded trusted computing[J].Trust and Trustworthy Computing,2012:74-91.
[59] Pinto S,Oliveira D,Pereira J,et al.Towardsa lightweight embedded virtualizetion architecture exploiting ARM TrustZone[A].Emerging Technology and Factory Automation[C].Barcelona,Spain:IEEE,2014.1-4.
[60] Jeon M,Kim S,Yoo H.Inter-GuestOS communications in multicore-based ARM TrustZone[J].Journal of KⅡSE,2015,42(5):551-557.
[61] 杨际祥,谭国真,王荣生.多核软件的几个关键问题及其研究进展[J].电子学报,2010,38(9):2140-2146. Yang Jixiang,Tan Guozhen,Wang Rongsheng.Some key issues and their research progress in multicore software[J].Acta Electronica Sinica,2010,38(9):2140-2146.(in Chinese)
[62] Zaki Y.An embedded multicore platform formixed-criticality systems:Study andanalysis of virtualization techniques[D].Sweden:School of Information and Communication Technology,2016.
[63] Borkar S.Thousand core chips:a technologyperspective[A].Proceedings of the 44th annual Design Automation Conference[C].San Diego,USA:ACM,2007.746-749.
[64] Wikipedia.Multiprocessing[EB/OL].https://en.wikipedia.org/wiki/Multiprocessing.2017-05-10.
[65] Quigley M,Conley K,Gerkey B,et al.ROS:an open-source robot operating system[A].ICRA Workshop on Open Source Software[C].ICRA,2009,5-11.
[66] Wei H,Shao Z,Huang Z,et al.RT-ROS:A real-time ROS architecture on multi-core processors[J].Future Generation Computer Systems,2016,56:171-178.
[67] Dong Q,Huang Z,Wei H.A hybrid operating system for modular dualarm manipulator[A].IEEE International Conference on Robotics and Biomimetics (ROBIO)[C].Bali,Indonesia:IEEE,2014.1481-1486.
[68] Lal S V,Palaniappan R,Prakash V.Real-time nursing management system for health care industry by using Xenomai kernel[J].Indian Journal of Science and Technology,2015,8(20):1-10.
[69] Santos N,Raj H,Saroiu S,et al.Using ARM TrustZone to build a trusted language runtime for mobile applications[J].ACM Sigarch Computer Architecture News,2014,42(1):67-80.
[70] Hwang J Y,Suh S B,Heo S K,et al.Xenon ARM:system virtualization using xen hypervisor for ARM-based secure mobile phones[A].IEEE Consumer Communications and Networking Conference[C].Las Vegas,USA:IEEE Press,2008.257-261.
[71] Yoo S,Liu Y,Hong C H,et al.MobiVMM:a virtual machine monitor for mobile phones[A].The Workshop on Virtualization in Mobile Computing[C].Breckenridge,Colorado:ACM,2008.1-5. |