Computer Science ›› 2017, Vol. 44 ›› Issue (Z11): 490-493.doi: 10.11896/j.issn.1002-137X.2017.11A.104

Previous Articles     Next Articles

Temporal Predictability in Safety Critical Cyber Physical System

LI Xi, SUN Bei-lei, WAN Bo, CHEN Xiang-lan and ZHOU Xue-hai   

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

Abstract: The safety critical cyber physical systems (CPS) consists of two concurrent subsystem,including cyber systems (CS) and physical systems (PS).The CS is constructed as a distributed real-time systems to meet the requirements of timelines and safety,both of which can be supported by the key property in system,i.e.,temporal predictability.However,there are no clear definition of temporal predictability in CPS.This paper summarized the state-of-art of predictability in CPS.Two key attributes to improve the system’s predictability were summarized,including timing predictability and ordering predictability.Finally,some advice to build a predictable CPS were proposed.

Key words: Cyber physical cystem,Temporal predictability

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


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!