计算机科学 ›› 2017, Vol. 44 ›› Issue (Z11): 490-493.doi: 10.11896/j.issn.1002-137X.2017.11A.104
李曦,孙贝磊,万波,陈香兰,周学海
LI Xi, SUN Bei-lei, WAN Bo, CHEN Xiang-lan and ZHOU Xue-hai
摘要： 安全关键的信息物理系统分为信息系统和被控的物理系统两个并发的子系统。其中信息系统具有分布式硬实时系统的特征,需要满足及时性和安全性要求,而时序可预测性是支持系统满足上述性质的关键。学术界对信息物理系统的时序可预测性的定义尚无统一认识。综述了信息物理系统的时序可预测性研究现状,总结提出了衡量系统可预测性的两个关键属性,包括时间可预测性和顺序可预测性。最后提出具有可预测性的信息物理系统的若干实现策略。
| [1] STANKOVIC J,RAMAMRITHAM K.What is predictabilityfor real-time systems? [J].Real Time Systems,1990,2(4):247-254. [2] KOPETZ H.Temporal uncertainties in cyber physical systems [M].Advances in Real-Time Systems.Springer Berlin Heidelberg,2012:27-40. [3] LIU J W S.Real-time systems [M].Prentice Hall,2000. [4] KOPETZ H.Real-time systems:design principles for distributed embedded applications [M].Springer Science & Business Media,2011. [5] ORTEGA R.Timing predictability in real-time systems [J].Univ.of Washington,1994. [6] BUTTAZZO G.Hard real-time computing systems:predictablescheduling algorithms and applications [M].Springer Science & Business Media,2011. [7] KIRNER R,PUSCHNER P.Time-predictable computing [C]∥IFIP International Workshop on Software Technolgies for Embedded and Ubiquitous Systems.Springer Berlin Heidelberg,2010:23-34. [8] DOUGLASS B P.Doing hard time:developing real-time systems with UML,objects,frameworks,and patterns[M].Pearson Schweiz Ag,1999. [9] HENZINGER T A.Two challenges in embedded systems design:predictability and robustness [J].Philosophical Transactions of the Royal Society of London A:Mathematical,Physical and Engineering Sciences,2008,366(1881):3727-3736. [10] JENSEN E D.Wrong assumptions and neglected areas in real-time systems[C]∥2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).2008. [11] LEE E A.Predictability,Repeatability,and Models for Cyber-Physical Systems [C]∥Workshop on Foundations of Component Based Design(WFCD) at ESWeek 2010.2010. [12] GRAHAM R L.Bounds on the performance of scheduling algorithms [J].Computer and Job Scheduling Theory,1976:165-227. [13] THIELE L,WILHELM R.Design for timing predictability [J].Real-Time Systems,2004,28(2/3):157-177. [14] GRUND D,REINEKE J,WILHELM R.A template for predi-ctability definitions with supporting evidence[C]∥OASIcs-OpenAccess Series in Informatics.Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik,2011:18. [15] SCHOEBERL M.Is time predictability quantifiable? [C]∥2012 International Conference on Embedded Computer Systems (SAMOS).IEEE,2012:333-338. [16] KHYO G,PUSCHNER P,DELVAI M.An operating system for a time-predictable computing node [C]∥IFIP International Workshop on Software Technologies for Embedded and Ubiquitous Systems.Springer Berlin Heidelberg,2008:150-161. [17] SUN B,LI X,WAN B,et al.Definitions of predictability for Cyber Physical Systems[J].Journal of Systems Architecture,2016,63:48-60. [18] MARINESCU D C,LUMPP J E,CASAVANT T L,et al.An Event-Action Model and Associated Architecture for Monitoring Parallel and Distributed Systems[J].Computer Science,1988. [19] ACTORS A G.A Model of Concurrent Computation in Distributed Systems,Series in Artificial Intelligence[M].MIT Press,1987. [20] BROOKES S D,HOARE C A R,ROSCOE A W.A theory of communicating sequential processes[J].Journal of the ACM (JACM),1984,31(3):560-599. |
| No related articles found! |
|
||
首页