Dual Triggered Security Access Mechanism for Embedded System Kernel
(1. School of Computer Science and Engineering, Xi’an Technological University, Xi’an 710021, China;
2. School of Computer Science, Northwestern Polytechnical University, Xi’an 710072, China)
[1] Martijn M H P van den Heuvel, Bril R J, Lukkien J J, et al. Towards RTOS support for mixed time-triggered and event-triggered task sets[C]// Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation. 2012:1-4.
[2] Prashanth K V, Akram P S, Reddy T A. Real-time issues in embedded system design[C]// 2015 International Conference on Signal Processing and Communication Engineering Systems(SPACES). 2015:167-171.
[3] Borgers D P, Heemels W P M H. Event-separation properties of event-triggered control systems[J]. IEEE Transactions on Automatic Control, 2014,59(10):2644-2656.
[4] 张巍,蒋乐天,罗泽雄. 基于时间触发架构的网络技术研究与设计[J]. 航空电子技术, 2017,48(2):44-49.
[5] 黄姝娟,刘白林,张雅,等. 时间/事件双重触发的安全关键系统调度机制研究[J]. 电子科技大学学报, 2017,46(3):631-635.
[6] 苏罗辉,郑小宁,张超. 面向安全关键系统的时间触发软件[J]. 计算机应用, 2014,34(S1):277-279.
[7] 焦文喆,翟正军,王国庆. 时间触发AFDX调度设计及实时性分析[J]. 计算机工程, 2016,42(6):42-48.
[8] 朱怡安,魏润之,苏世游,等. 一种基于μC/OS-II符合OSEK标准的实时系统内核设计[J]. 计算机科学, 2016,43(4):173-201.
[9] 刘淼,王田苗,魏洪兴,等. 基于uCOS-Ⅱ的嵌入式数控系统实时性分析[J]. 计算机工程, 2006,32(22):222-224.
[10]王丽杰,熊光泽,罗蕾. 嵌入式安全保护机制的研究与实现[J]. 电子科技大学学报, 2006,34(5):650-653.
[11]John D. OSEK/VDX history and structure[C]// Proceedings of IEEE Seminar on OSEK/VDX Open Systems in Automotive Networks. 1998:2/1-214.
[12]Dieu-Huong Vu, Toshiaki Aoki. Faithfully formalizing OSEK/VDX operating system specification[C]// Proceedings of the 3rd Symposium on Information and Communication Technology. 2012:13-20.
[13]OSEK Group. OSEK/VDX Operating System Specification 2.2.22[S].
[14]OSEK Group. OSEK/VDX Time-triggered Operating System Specification, Version 1.0[S].
[15]欧晓鸥,王志立,魏建香. 基于RBAC与GFAC架构的访问控制模型[J]. 计算机应用, 2008,28(3):612-614.
[16]毛成勇,高慧敏. 基于OSEK的任务调度算法改进及实现[J]. 计算机工程, 2010,36(4):233-235.
[17]谢昊飞,陈家佳,舒强. 基于OSEKTime的共存模型的改进与实现[J]. 重庆邮电大学学报(自然科学版), 2009,21(5):6-11.