Computer Science ›› 2018, Vol. 45 ›› Issue (9): 70-74.doi: 10.11896／j.issn.1002-137X.2018.09.010
• NASAC 2017 • Previous Articles Next Articles
DING Gui-qiang1, WANG Lei1, WANG Lu-ming1, KANG Qiao2
CLC Number:
| [1]KLEIN G,ANDRONICK J,ELPHINSTONE K,et al.seL4:formalverification of an operating system kernel[J].Communications of the Acm,2010,53(6):107-115. [2]PETERS S,DANIS A,ELPHINSTONE K,et al.For a Microkernel,a Big Lock Is Fine[C]∥Proceedings of the 6th Asia-Pacific Workshop on Systems.Newyork.NY,USA:ACM,APSys’15,2015. [3]ALVES-FOSS J,OMAN P W,TAYLOR C,et al.The MILS architecture for high-assurance embedded systems[J].Internationl Journal of Embedded Systems,2006,2(3／4):239-247. [4]PRISAZNUK P J.ARINC 653 role in integrated modular avio-nics(IMA)[C]∥2008 IEEE/AIAA 27th Digital Avionics Systems Conference.2008. [5]COMMITTEE A E E,et al.Avionics application software stan-dard interface part 1required services[EB/OL].https://stan-dards.globalspec.com/std/280829/arinc-653p1. [6]HAN S,JIN H W.Kernel-level ARINC653 partitioning for Linux[C]∥Proceedings of the 27th Annual ACM Symposium on Applied Computing.2012:1632-1637. [7]DELANGE J,POK L L.An ARINC653-compliant operating system released under the BSD license[C]∥13th Real-Time Linux Workshop.2011. [8]ASBERG M,NOLTE T.Towardsauser-mode approach to partitioned scheduling in the seL4 microkernel[J].ACM SIGBED Review,2013,10(3):15-22. [9]FORD B,SUSARLA S.CPU inheritance scheduling[C]∥Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation(OSDI’96).1996:91-105. [10]LACKORZYN′SKI A,WARG A,VÖLP M,et al.Flattening hie-rarchical scheduling[C]∥Proceedings of the Tenth ACM International Conference on Embedded Software.2012:93-102. [11]HEISER A L G,LYONS A,VANGE M,et al.FlaRe:Efficient Capability Semantics for Timely Processor Access[EB/OL].https://people.mpi-sws.org/~bbb/papers/pdf/preprint-FlaRe.pdf. [12]SERGEY B,ALEXANDRA F.User-level schedulingon NUMA multicore systems under Linux[EB/OL].http://citeseerx.ist.psu.edu /viewdoc/download?doi=10.1.1.369.9422&rep=rep1&type=pdf. [13]MERCER C W,SAVAGE S,TOKUDA H.Processor capacity reserves:An abstraction for managing processor usage[C]∥Fourth Workshop on Workstation Operating Systems.1993:129-134. [14]UHLIG R,NEIGER G,RODGERS D,et al.Intel virtualization technology[J].Computer,2005,38(5):48-56. [15]MERKEL D.Docker:lightweight linux containers for consistent development and deployment[J].Linux Journal,2014,2014(239):2. [16]NICTA.The seL4 microkernel[EB/OL].https://github.com/seL4/seL4. [17]KLEIN G,ANDRONICK J,ELPHINSTONE K,et al.Comprehensive formal verification of an OS micro-kernel[J].ACM Transactions on Computer Systems(TOCS),2014,32(1):32-102. |
| [1] | YANG Tao-yu, XU Yuan-yuan, TAN Zeng-jie. Tile Partition Optimized Omnidirectional Video Coding for 6G Network [J]. Computer Science, 2022, 49(6): 66-72. |
| [2] | WANG Ru-bin, LI Rui-yuan, HE Hua-jun, LIU Tong, LI Tian-rui. Distributed Distance Join Algorithm for Massive Spatial Data [J]. Computer Science, 2022, 49(1): 95-100. |
| [3] | QU Wei, YU Fei-hong. Survey of Research on Asymmetric Embedded System Based on Multi-core Processor [J]. Computer Science, 2021, 48(6A): 538-542. |
| [4] | LU Yong-chao, WANG Bin-yi, HU Jiang-feng, MU Yang, REN Jun-long. Research on Integrated Electronic Time Synchronization Technology [J]. Computer Science, 2021, 48(6A): 629-632. |
| [5] | HE Quan-qi, YU Fei-hong. Review of Low Power Architecture for Wireless Network Cameras [J]. Computer Science, 2021, 48(6A): 369-373. |
| [6] | GUO Biao, TANG Qi, WEN Zhi-min, FU Juan, WANG Ling, WEI Ji-bo. List-based Software and Hardware Partitioning Algorithm for Dynamic Partial Reconfigurable System-on-Chip [J]. Computer Science, 2021, 48(6): 19-25. |
| [7] | HE Ya-ru, PANG Jian-min, XU Jin-long, ZHU Yu, TAO Xiao-han. Implementation and Optimization of Floyd Parallel Algorithm Based on Sunway Platform [J]. Computer Science, 2021, 48(6): 34-40. |
| [8] | SHAO Xing-hui, HUANG Jian-hua, WANG Meng-nan, WU Hai-xia, MAI Yong. Trust-based Dual-layer Scalable Consensus Protocol [J]. Computer Science, 2021, 48(11): 142-150. |
| [9] | WANG Zhe, TANG Qi, WANG Ling, WEI Ji-bo. Joint Optimization Algorithm for Partition-Scheduling of Dynamic Partial Reconfigurable Systems Based on Simulated Annealing [J]. Computer Science, 2020, 47(8): 26-31. |
| [10] | ZHUANG Yuan, GUO Qiang, ZHANG Jie, ZENG Yun-hui. Large Scalability Method of 2D Computation on Shenwei Many-core [J]. Computer Science, 2020, 47(8): 87-92. |
| [11] | HUANG Jin-hao, DING Yu-zhen, XIAO Liang, SHEN Zhi-rong, ZHU Zhen-min. Reinforcement Learning Based Cache Scheduling Against Denial-of-Service Attacks in Embedded Systems [J]. Computer Science, 2020, 47(7): 282-286. |
| [12] | CAI Yu-xin, TANG Zhi-wei, ZHAO Bo, YANG Ming and WU Yu-fei. Accelerated Software System Based on Embedded Multicore DSP [J]. Computer Science, 2020, 47(6A): 622-625. |
| [13] | CHEN Yun. Embedded Device’s IAP Solution Based on Mail-update [J]. Computer Science, 2020, 47(6A): 648-651. |
| [14] | QIU Guo-liang, ZHANG Chi-hao. Approximability of Partition Functions of Ferromagnetic Two-state Spin Systems [J]. Computer Science, 2020, 47(5): 22-26. |
| [15] | ZHU Li-hua, WANG Ling, TANG Qi, WEI Ji-bo. Efficient MILP Model for HW/SW Partitioning of Dynamic Partial Reconfigurable SoC [J]. Computer Science, 2020, 47(4): 18-24. |
|
||
Home