Computer Science ›› 2015, Vol. 42 ›› Issue (Z11): 454-459.
Previous Articles Next Articles
LI Xiao-fei, CHEN Xiang-lan, LIU Jie and LI Xi
| [1] Grund,Daniel,Reineke J,et al.A Template for Predictability Definitions with Supporting Evidence[C]∥PPES.2011 [2] Edwards,Stephen A,Lee E A.The case for the precision timed (PRET) machine[C]∥Proceedings of the 44th annual Design Automation Conference.ACM,2007 [3] Hao N J,Edwards S A.A processor extension for cycle-accurate real-time software[C]∥Embedded and Ubiquitous Computing.2006:449-458 [4] Lickly B,et al.Predictable programming on a precision timed architecture[C]∥Proceedings of the 2008 International Conference on Compilers,Architectures and Synthesis for Embedded Systems.ACM,2008 [5] Liu,Isaac,et al.A PRET microarchitecture implementation with repeatable timing and competitive performance[C]∥2012 IEEE 30th International Conference on Computer Design (ICCD).IEEE,2012 [6] Zimmer M,et al.FlexPRET:A processor platform for mixed-criticality systems:UCB/EECS-2013-172[R].California Univ Berkeley Dept of Electrical Engineering and Computer Sciences,2013 [7] Benveniste,Albert,Berry G.The synchronous approach to reactive and real-time systems[J].Proceedings of the IEEE,1991,79(9):1270-1282 [8] Kirsch,Christoph M,Sokolova A.The Logical Execution Time Paradigm[C]∥Advances in Real-Time Systems.Springer Berlin Heidelberg,2012:103-120 [9] Henzinger,Thomas A,Horowitz B,et al.Giotto:A time-trig-gered language for embedded programming[M]∥Embedded Software.Springer Berlin Heidelberg,2001 [10] Lee E A.The problem with threads [J].Computer,2006,39(5):33-42 [11] https://webhome.csc.uvic.ca/~mcheng/research/predictable.html [12] Wilhelm,Reinhard,Grund D.Computation takes time,but how much?[J].Communications of the ACM,2014,57(2):94-103 [13] Lv M,Guan N,Zhang Y,et al.A survey of WCET analysis of real-time operating systems[C]∥International Conference on Embedded Software and Systems,2009(ICESS’09).IEEE,2009:65-72 [14] Gustafsson J,Ermedahl A,Sandberg C,et al.Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution[C]∥Proceedings of the 27th IEEE International Real-Time Systems Symposium ( IEEECS).Washington,DC,2006:57-66 [15] Healy C,Sjdin M,Rustagi V,et al.Supporting timing analysis by automatic bounding of loop iterations[J].Real-Time Systems,2000(18):129-156 [16] Lee E A.Computing needs time[J].Communication of the ACM,2009,52(5):70-79 [17] Rashid,Richard F,Tokuda H.Mach:a system software kernel[J].Computing Systems in Engineering,1990,1(2):163-169 [18] http://ptolemy.eecs.berkeley.edu/ [19] 龚育昌,张晔,李曦,等.一种新型的构件化操作系统的内核设计[J].小型微型计算机系统,2009,0(1) [20] 吴明桥,陈香兰,张晔,等.一种基于服务体/执行流的新型操作系统构造模型[J].中国科学技术大学学报,2006,36(2):230-236 [21] 陈香兰,龚育昌,张晔,等.基于服务体/执行流模型的操作系统[J].计算机工程,2008,34(11):1-3 |
| No related articles found! |
|
||