Abstract
Cyber Physical Systems are in charge of the control of physical processes characterized by their own dynamics. This control must comply with timing constraints - sometimes stringent ones- imposed by the Cyber Physical Systems. It is crucial to address these timing issues as early as possible in the development process to detect inconsistencies in the requirements or in the constraints and to capture changes in the system. This paper aims to apply the clock theory to the specification of Cyber Physical Systems. To illustrate the concept we develop a well-known case study: the Steam Boiler Control System.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Kim, K.H.: Desirable Advances in Cyber-Physical System Software Engineering. In: 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, pp. 2–4 (2010)
Kim, K.H.: Challenges and Future Directions of Cyber-Physical System Software. In: Proceedings of the 2010 34th Annual IEEE Computer Software and Applications Conference, pp. 10–13 (2010)
Derler, P., Lee, E.A., Vincentelli, A.S.: Modeling Cyber-Physical Systems. Proceedings of the IEEE 100(1), 13–28 (2012)
Chen, X., Liu, J., Mallet, F., Jin, Z.: Modeling Timing Requirements in Problem Frames Using CCSL. In: 2011 18th Asia-Pacific Software Engineering Conference, pp. 381–388 (2011)
He, J.: Link Continuous World with Discrete World. In: The 10th International Colloquium on Theoretical Aspects of Computing, Shanghai, China (unpublished, September 2013) (Keytalk)
Leeb, G., Lynch, N.: Proving safety properties of the steam boiler controller. In: Abrial, J.-R., Börger, E., Langmaack, H. (eds.) Formal Methods for Industrial Applications. LNCS, vol. 1165, pp. 318–338. Springer, Heidelberg (1996)
Object Management Group, UML Profile for MARTE, v1.0.formal (2009)
Object Management Group. UML Profile for schedulability, performance, and time specification. OMG document: formal(v1.1) (2005)
Mallet, F., DeAntoni, J., André, C., de Simone, R.: The clock constraint specification language for building timed causality models. Innovations in Systems and Software Engineering 6, 99–106 (2010)
Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun ACM 21(7), 558–565 (1978)
Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What’s decidable about hybrid automata? In: Proceedings of the 27th Annual Symposium on Theory of Computing, pp. 373–382. ACM Press (1995)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Xu, B., Zhang, L. (2014). Formal Descriptions of Cyber Physical Systems Using Clock Theory. In: Park, J., Adeli, H., Park, N., Woungang, I. (eds) Mobile, Ubiquitous, and Intelligent Computing. Lecture Notes in Electrical Engineering, vol 274. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40675-1_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-40675-1_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40674-4
Online ISBN: 978-3-642-40675-1
eBook Packages: EngineeringEngineering (R0)