计算机科学 ›› 2016, Vol. 43 ›› Issue (Z11): 542-546, 550.doi: 10.11896/j.issn.1002-137X.2016.11A.122

• 智能系统及应用 • 上一篇    下一篇

一种基于μC/OS-II的高可靠实时系统内核设计

朱怡安,林鹤   

  1. 西北工业大学计算机学院 西安710072,西北工业大学软件与微电子学院 西安710072
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受航天支撑技术基金(2013-HT-XGD(10)),航空基金(20150753010),陕西省工业科技攻关项目(2015GY035),航空基金(20130753006)国家xx专项(XJZ-2015-X-X76)资助

μC/OS-II Based Highly Reliable RTOS Kernel

ZHU Yi-an and LIN He   

  • Online:2018-12-01 Published:2018-12-01

摘要: 基于μC/OS-II,设计并实现了一个高可靠的分区嵌入式操作系统内核。为了保证高关键级别分区的执行时间,提高系统可靠性,提出了一种新的周期执行时间可变的分区调度算法,其能在保障高安全关键级别分区优先执行的同时提供较高的资源利用率和任务可调度性。采用了一种基于位运算的访问控制算法,其可保证系统的信息安全,提高系统的可靠性。最后,通过算法分析和实验结果验证了所提算法的有效性和实时性以及系统的可靠性。

关键词: 高可靠,时空分区,实时系统,分区调度,访问控制

Abstract: A highly reliable embedded partition operating system kernel based on μC/OS-II was designed and implemented.In order to ensure the execution time of the high safety-critical level partition and improve the reliability of the system,a new partition scheduling algorithm which has variable execution time in every cycle was proposed .It can not only guarantee the partition with higher safety-critical level execution first,but it also has good resource utilization and task schedulability.The kernel introduced access control to ensure information security of the system,and a bit computing based access control algorithm was also proposed.Finally, algorithm analysis and experiments demonstrate the effectiveness and timeliness of our algorithm.

Key words: Highly reliable,Time and space partitioning,RTOS,Partition scheduling,Access control

[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!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75, 88 .
[2] 夏庆勋,庄毅. 一种基于局部性原理的远程验证机制[J]. 计算机科学, 2018, 45(4): 148 -151, 162 .
[3] 厉柏伸,李领治,孙涌,朱艳琴. 基于伪梯度提升决策树的内网防御算法[J]. 计算机科学, 2018, 45(4): 157 -162 .
[4] 王欢,张云峰,张艳. 一种基于CFDs规则的修复序列快速判定方法[J]. 计算机科学, 2018, 45(3): 311 -316 .
[5] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[6] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[7] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[8] 刘琴. 计算机取证过程中基于约束的数据质量问题研究[J]. 计算机科学, 2018, 45(4): 169 -172 .
[9] 钟菲,杨斌. 基于主成分分析网络的车牌检测方法[J]. 计算机科学, 2018, 45(3): 268 -273 .
[10] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99, 116 .