Abstract
The behavior of a real-time cluster must be based on timely information about the state of its physical environment and the state of other cooperating clusters. Real-time data is temporally accurate for a limited real-time interval only. If real-time data is used outside this application specific time interval, the system will fail. It is the objective of this chapter to investigate the temporal relations among state variables in the different parts of a cyber-physical system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bunge, M. (2008). Causality and Modern Science. Transaction Publishers.
Davies, C.T. (1979). Data Processing Integrity. In: Computing Systems Reliability. Cambridge University Press. (pp. 288-354).
Hoefer, C. (2010). Causal Determinism. In: Stanford Encyclopedia of Philosophy. (pp. 1-24). URL: http://plato.stanford.edu/entries/determinism-causal/
Kim, K.H. & H. Kopetz. (1994). A Real-Time Object Model RTO.k and an Experimental Investigation of its Potential. Proc. COMPSAC 94. IEEE Press.
Kopetz, H. & K. Kim. (1990). Temporal Uncertainties in Interactions among Real-Time Objects. Proc. 9th IEEE Symp. on Reliable Distributed Systems. IEEE Press. (pp. 165-174).
Miller, D. (2004). AFDX Determinism. Visual Presentation at ARINC General Session, October 27, 2004. Rockwell Collins.
Poledna, S. (1995). Fault-Tolerant Real-Time Systems, The Problem of Replica Determinism. Springer Verlag.
Powell, D. (1991). Delta-4, A Generic Architecture for Dependable Distributed Computing. Springer Verlag. (pp. 1-484).
Verissimo, P. (1994). Ordering and Timeliness Requirements of Dependable Real-Time Programs. Real-Time Systems. Vol. 7(3). (pp. 105-128).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Kopetz, H. (2011). Temporal Relations. In: Real-Time Systems. Real-Time Systems Series. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-8237-7_5
Download citation
DOI: https://doi.org/10.1007/978-1-4419-8237-7_5
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-8236-0
Online ISBN: 978-1-4419-8237-7
eBook Packages: Computer ScienceComputer Science (R0)