计算机科学 ›› 2016, Vol. 43 ›› Issue (Z11): 542-546.doi: 10.11896/j.issn.1002-137X.2016.11A.122
朱怡安,林鹤
ZHU Yi-an and LIN He
摘要: 基于μC/OS-II,设计并实现了一个高可靠的分区嵌入式操作系统内核。为了保证高关键级别分区的执行时间,提高系统可靠性,提出了一种新的周期执行时间可变的分区调度算法,其能在保障高安全关键级别分区优先执行的同时提供较高的资源利用率和任务可调度性。采用了一种基于位运算的访问控制算法,其可保证系统的信息安全,提高系统的可靠性。最后,通过算法分析和实验结果验证了所提算法的有效性和实时性以及系统的可靠性。
[1] Han S,Jin H W.Resource partitioning for Integrated Modular Avionics:comparative study of implementation alternatives[J].Software Practice & Experience,2014,44(12):1441-1466 [2] Ananda C M,Nair S,Mainak G H.ARINC 653 API and its application-An insight into Avionics System Case Study[J].Defence Science Journal,2013,63(2):223-229 [3] Xiao G,Qu Z,He F.Design and realization of IMA simulation platform based on CPCI bus using VxWorks653 RTOS[C]∥2015 IEEE/AIAA 34th Digital Avionics Systems Conference(DASC).IEEE,2015:10A1-1-10A1-8 [4] Wan M,Tian S.Research on Schedulability of Partition Scheduling for IMA[C]∥2011 Fourth International Symposium on Computational Intelligence and Design (ISCID).IEEE,2011:322-325 [5] Kurowski K,Oleksiak A,Piatek W,et al.Hierarchical scheduling strategies for parallel tasks and advance reservations in grids[J].Journal of Scheduling,2013,16(4):349-368 [6] Carnevali L,Pinzuti A,Vicario E.Compositional Verification for Hierarchical Scheduling of Real-Time Systems[J].Publication,2013,39(5):638-657 [7] Boudjadar A,David A,Kim J H,et al.Hierarchical schedulingframework based on compositional analysis usinguppaal[M]∥Formal Aspects of Component Software.Springer International Publishing,2014:61-78 [8] 邓集波,洪帆.基于任务的访问控制模型[J].软件学报,2004,14(1):76-82 [9] Liu Y,Chen X.A new information security model based on BLP model and Biba model[C]∥2004 7th International Conference on Signal Processing,2004(ICSP ’04).IEEE,2004:2643-2646 [10] 崔可明.uC/OS-II的安全访问控制关键技术研究[D].哈尔滨:哈尔滨工程大学,2006 [11] 李大明,曹万华,张焕.基于可变标签的访问控制策略设计与实现[J].计算机科学,2012,39(12):290-294 [12] Labrosse J J.μC/OS-II:a Real Time Kernel[M].Electronic Engineering & Product World,2007 [13] Jin H W,Han S.Temporal partitioning for mixed-criticality systems[C]∥2011 IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA).IEEE,2011:1-4 |
No related articles found! |
|