Abstract
The design of cyber physical systems (CPS) presents many challenges because of their complexity, strong safety requirements, distribution, and real-time nature. We propose a novel paradigm, based on the idea of using simplicity to control complexity, to achieve highly reliable CPS designs. The goal is to embody design rules of this complexity-control nature in highly reusable, very robust, and formally verified architectural patterns. We discuss some preliminary work and experiments illustrating how this can be done for CPS systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Sha, L.: Using Simplicity to Control Complexity. IEEE Software (July/August 2001)
Lyu, M.R. (ed.): Fault Tolerance. John Wiley & Sons, Chichester (1995)
Clavel, M., Durán, F., Eker, S., Lincoln, P., MartÃ-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)
MOMENT2, http://www.cs.le.ac.uk/people/aboronat/tools/moment2-gt/
Rosu, G., Havelund, K.: Rewriting-Based Techniqes for Runtime Verification. Automated Software Engineering 12, 151–197 (2005)
Boronat, A., Meseguer, J.: An Algebraic Semantics for MOF. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 377–391. Springer, Heidelberg (2008)
Ölveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation 20(1-2), 161–196 (2007)
Behrmann, G., David, A., Larsen, K.G.: A Tutorial on UPPAAL. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–236. Springer, Heidelberg (2004)
Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HYTECH: A Model Checker for Hybrid Systems. Softw. Tools Technol. Trans. 1, 110–122 (1997)
Yovine, S., Kronos: A Verification Tool for Real-Time Systems. Softw. Tools Technol. Trans. 1, 123–133 (1997)
Misra, J.: A Discipline of Multiprogramming. Springer, Heidelberg (2001)
Viswanathan, M., Viswanathan, R.: Foundations for Circular Compositional Reasoning. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, pp. 835–847. Springer, Heidelberg (2001)
Poernomo, I.: The meta-object facility typed. In: Proc. SAC, pp. 1845–1849. ACM, New York (2006)
Romero, J.R., Rivera, J.E., Duran, F., Vallecillo, A.: Formal and Tool Support for Model Driven Engineering with Maude. Journal of Object Technology 6(9) (2007)
Lyu, M.: Software Fault Tolerance, http://www.cse.cuhk.edu.hk/~lyu/book/sft/index.html
Yeh, Y.C.: Dependability of the 777 Primary Flight Control System. In: Proc. Dependable Computing for Critical Applications. IEEE CS Press, Los Alamitos (1995)
Tyrrell, A.M., Tyrrell, A.M.: Recovery Blocks and Algorithm-Based Fault Tolerance. In: Proceedings of the 22nd EUROMICRO Conference
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Sha, L., Meseguer, J. (2008). Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. In: Wirsing, M., Banâtre, JP., Hölzl, M., Rauschmayer, A. (eds) Software-Intensive Systems and New Computing Paradigms. Lecture Notes in Computer Science, vol 5380. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89437-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-89437-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89436-0
Online ISBN: 978-3-540-89437-7
eBook Packages: Computer ScienceComputer Science (R0)