Brief Overview of Modelling Methods, Life-Cycle and Application Domains of Cyber-Physical Systems

Babris, Kristaps; Nikiforova, Oksana; Sukovskis, Uldis

doi:10.2478/acss-2019-0001

Abstract

Cyber-Physical Systems (CPSs) are systems that connect the physical world with the virtual world of information processing. They consist of various components that work together to create some global behaviour. These components include software systems, communication technologies and sensors, executive mechanisms that interact with the real world, often including embedded technologies. One CPS may include a variety of components from different manufacturers or service providers, often without even knowing that their products and services are integrated with others as a result of CPS. This paper systematises information about CPS modelling methods and domains and presents the CPS modelling cycle – from abstraction to architecture and from concept to realisation.

References

[1] P. Gao, R. Hensley, and A. Zielke, “A road map to the future for the auto industry,” McKinsey Quarterly, October 2014.
Search in Google Scholar Back to article
[2] E. A. Lee, “CPS Foundations,” Proceedings of the 47th Design Automation Conference, DAC ‘10, New York, pp. 737–742, 2010.10.1145/1837274.1837462
Search in Google Scholar Back to article
[3] E. A. Lee, “Cyber Physical Systems: Design Challenges,” In Proceedings of the 11th Symposium on Object Oriented Real-Time Distributed Computing, IEEE Computer Society, Washington, pp. 363–369, 2008.10.1109/ISORC.2008.25
Search in Google Scholar Back to article
[4] V. Gunes, S. Peter, T. Givargis, and F. Vahid, “A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems,” KSII Transactions on Internet and Information Systems, vol. 8, no. 12, pp. 4242–4268, 2014. https://doi.org/10.3837/tiis.2014.12.00110.3837/tiis.2014.12.001
Search in Google Scholar Back to article
[5] Y. Z. Lun, A. D’Innocenzo, I. Malavolta, and M. D. Di Benedetto, “Cyber-Physical Systems Security: a Systematic Mapping Study. pp. 1–32, 2016. Available from: https://www.researchgate.net/publication/303698739_Cyber-Physical_Systems_Security_a_Systematic_Mapping_Study
Search in Google Scholar Back to article
[6] A. Barišić, STSM Report: Systematic literature review on multi-paradigm modeling for CPS Systems, Visiting University of Belgrade, Faculty of Organizational Sciences, Belgrade (RS), The STSM report, MPMCPS 2018.
Search in Google Scholar Back to article
[7] K-D. Kim, and P. R. Kumar, “An Overview and Some Challenges in Cyber-Physical Systems,” Journal of the Indian Institute of Science, vol. 93, no. 3, pp. 341–352, 2013.
Search in Google Scholar Back to article
[8] V. Ya. Tsvetkov, “Information Constructions,” European Journal of Technology and Design, vol. 5, no. 3, pp. 147–152, 2014. https://doi.org/10.13187/ejtd.2014.5.14710.13187/ejtd.2014.5.147
Search in Google Scholar Back to article
[9] I. Ruchkin, “Integration of Modeling Methods for Cyber-Physical Systems,” PhD thesis, Institute for Software Research School of Computer Science, Carnegie Mellon University, Pittsburgh, 2018.
Search in Google Scholar Back to article
[10] J. Magee and J. Kramer, Concurrency: State Models & Java Programs, Wiley, 1999.
Search in Google Scholar Back to article
[11] A. Platzer, Logical foundations of cyber-physical systems. Springer, Berlin Heidelberg, New York, NY, 2018.10.1007/978-3-319-63588-0
Search in Google Scholar Back to article
[12] A. Platzer, “Differential Dynamic Logic for Hybrid Systems,” Journal of Automated Reasoning, vol. 41, no. 2, pp. 143–189, 2008. https://doi.org/10.1007/s10817-008-9103-810.1007/s10817-008-9103-8
Search in Google Scholar Back to article
[13] J. Dabney and T. L. Harman, Mastering SIMULINK 2. Prentice Hall, Upper Saddle River, NJ, 1998.
Search in Google Scholar Back to article
[14] R. Alur, T. A. Henzinger, H. Wong-toi, “Symbolic Analysis of Hybrid Systems,” In Proceedings of the IEEE CDC, 1997.
Search in Google Scholar Back to article
[15] I. Ruchkin, B. Schmerl, and D. Garlan, “Architectural Abstractions for Hybrid Programs,” in Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE ‘15, Montréal, QC, Canada, pp. 65–74, 2015. https://doi.org/10.1145/2737166.273716710.1145/2737166.2737167
Search in Google Scholar Back to article
[16] D. Jackson, Software abstractions: logic, language, and analysis. MIT Press, Cambridge, Mass., 2012.
Search in Google Scholar Back to article
[17] L. Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Professional, Boston, 1st edition edition, July 2002.
Search in Google Scholar Back to article
[18] G. Smith, Introduction. In: The Object-Z Specification Language. Advances in Formal Methods, vol 1. Springer, Boston, MA, 2000. https://doi.org/10.1007/978-1-4615-5265-9_110.1007/978-1-4615-5265-9_1
Search in Google Scholar Back to article
[19] P. G. Larsen, K. Lausdahl, N. Battle, J. Fitzgerald, S. Wolff, S. Sahara, M. Verhoef, P. W. V. Tran-Jorgensen, T. Oda, and P. Chisholm, “VDM-10 Language Manual. Overture Technical Report Series TR-001”, pp. 39–234, 2018. Available from: www.overturetool.org.
Search in Google Scholar Back to article
[20] K. Lano, The B Language and Method: A Guide to Practical Formal Development (Formal Approaches to Computing and Information Technology (FACIT)). Springer-Verlag, London, 1996.
Search in Google Scholar Back to article
[21] R. Marinescu, Model-driven Analysis and Verification of Automotive Embedded Systems, PhD thesis, Maladaren University, 2016.
Search in Google Scholar Back to article
[22] E. Hairer, S. P. Nørsett, and G. Wanner, Solving Ordinary Differential Equations I Nonstiff Problems, Springer Series in Computational Mathematics, 2nd edition, 1993.
Search in Google Scholar Back to article
[23] P. Fritzson, Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. John Wiley-IEEE Press, 2010.10.1109/9780470545669
Search in Google Scholar Back to article
[24] G. Walde, and R. Luckner, “Bridging the tool gap for model-based design from flight control function design in Simulink to software design in SCADE”, IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 2016. https://doi.org/10.1109/DASC.2016.777804410.1109/DASC.2016.7778044
Search in Google Scholar Back to article
[25] M. Wermelinger, and T. Margaria-Steffen, “Fundamental Approaches to Software Engineering”, Proceedings 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Barcelona, Spain, 2004. https://doi.org/10.1007/b9593510.1007/b95935
Search in Google Scholar Back to article
[26] A. Benveniste, T. Bourke, B. Caillaud, J. Colao, C. Pasteur, and M. Pouzet, “Building a Hybrid Systems Modeler on Synchronous Languages Principles,” Proceedings of the IEEE, vol. 106, no. 9, 2018. https://doi.org/10.1109/JPROC.2018.285801610.1109/JPROC.2018.2858016
Search in Google Scholar Back to article
[27] K. G. Larsen, P. Pettersson, and W. Yi, “Model-Checking for Real-Time Systems,” In H. Reichel (eds). Fundamentals of Computation Theory, Lecture Notes in Computer Science, vol. 965, pp. 62–88, 1995. https://doi.org/10.1007/3-540-60249-6_4110.1007/3-540-60249-6_41
Search in Google Scholar Back to article
[28] A. Basu, M. Bozga, and J. Sifakis, “Modeling Heterogeneous Real-time Components in BIP”, Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, Washington, DC, USA, 2006.
Search in Google Scholar Back to article
[29] E. Kusmenko, A. Roth, B. Rumpe, and M. von Wenckstern, “Modeling Architectures of Cyber-Physical Systems,” in A. Anjorin, H. Espinoza (Eds) Modelling Foundations and Applications. ECMFA 2017. Lecture Notes in Computer Science, vol 10376, pp. 34–50, 2017. https://doi.org/10.1007/978-3-319-61482-3_310.1007/978-3-319-61482-3_3
Search in Google Scholar Back to article
[30] J. C. Jensen, D. H. Chang, and E. A. Lee, “A Model-Based Design Methodology for Cyber-Physical Systems,” 7th International Wireless Communications and Mobile Computing Conference, Istanbul, Turkey, 2011. https://doi.org/10.1109/IWCMC.2011.598278510.1109/IWCMC.2011.5982785
Search in Google Scholar Back to article
[31] J. Eker, J. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong, “Timing Heterogeneity - The Ptolemy Approach,” Proceedings of the IEEE, vol. 91, no. 1. 2003. https://doi.org/10.1109/JPROC.2002.80582910.1109/JPROC.2002.805829
Search in Google Scholar Back to article
[32] E. A. Lee, “Computing needs time, ACM Communications,” vol. 52, no. 5, pp. 70–79, May 2009. https://doi.org/10.1145/1506409.150642610.1145/1506409.1506426
Search in Google Scholar Back to article
[33] J. Eidson, E. A. Lee, S. Matic, S. A. Seshia, and J. Zou, “Time-centric Models for Designing Embedded Cyber-Physical Systems,” California Univ. Berkeley Dept. of Electrical Engineering and Computer Science, Technical report. UCB/EECS-2009-135, October 2009. https://doi.org/10.21236/ADA53874710.21236/ADA538747
Search in Google Scholar Back to article
[34] K. Keutzer, A. R. Newton, J. Rabaey, and A. Sangiovanni-Vincentelli, “System-Level Design: Orthogonalization of Concerns and Platform-Based Design,” IEEE Transactions, vol. 19, no. 12. December 2000. https://doi.org/10.1109/43.89883010.1109/43.898830
Search in Google Scholar Back to article
[35] Khaitan et al., “Design Techniques and Applications of Cyber Physical Systems: A Survey,” IEEE Systems Journal, 2014.
Search in Google Scholar Back to article
[36] E. A. Lee, and S. A. Seshia, “Introduction to Embedded Systems - A Cyber-Physical Systems Approach,” LeeSeshia.org, 2011.
Search in Google Scholar Back to article
[37] C-R. Rad, O. Hancu, I-A. Takacs, G. Olteanu, “Smart Monitoring of Potato Crop: A Cyber-Physical System Architecture Model in the Field of Precision Agriculture,” Agriculture and Agricultural Science Procedia, vol. 6, pp. 73 – 79, 2015. https://doi.org/10.1016/j.aaspro.2015.08.04110.1016/j.aaspro.2015.08.041
Search in Google Scholar Back to article
[38] M. N. Al-Mhiqani, R. Ahmad, K. H. Abdulkareem, and N. S. Ali, “Investigation study of Cyber-Physical Systems: Characteristics, application domains, and security challenges,” Journal of Engineering and Applied Sciences, vol. 12, no. 22, 2017.
Search in Google Scholar Back to article
[39] CPSE Labs, 2018. [Online] Available from: http://www.cpselabs.eu/cps.php [Accessed: 27th October 2018].
Search in Google Scholar Back to article
[40] J. O. Clark, “System of Systems Engineering and Family of Systems Engineering from a standards, V-Model, and Dual-V Model perspective,” 3rd Annual IEEE Systems Conference, IEEE, 2009. https://doi.org/10.1109/SYSTEMS.2009.481583110.1109/SYSTEMS.2009.4815831
Search in Google Scholar Back to article
[41] S. Engell, “Cyber-physical Systems of Systems – Definition and core research and innovation areas,” Working Paper of the Support Action CPSoS, pp.1–11, 2014.
Search in Google Scholar Back to article
[42] M.W. Maier, “Architecting Principles for System of Systems,” Systems Engineering, vol. 1, no. 4, 1998. https://doi.org/10.1002/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D O. Nikiforova, N. El Marzouki, K. Gusarovs, H. Vangheluwe, T. Bures, R. Al-Ali, M. Iacono, P. O. Esquivel, and F. Leon “The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems” Proceedings of International Conference on Software Technologies (ICSOFT 2017), 24–26 July, 2017, Madrid, Spain. SCITEPRESS Digital Library, pp. 286–293. https://doi.org/10.5220/000642490286029310.5220/0006424902860293
Search in Google Scholar Back to article
[43] P. Derler, E. A. Lee, S. Tripakis, and M. Torngren, “Cyber-physical System Design Contracts,” in Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS ‘13, pp. 109–118, 2013. https://doi.org/10.1145/2502524.250254010.1145/2502524.2502540
Search in Google Scholar Back to article

Brief Overview of Modelling Methods, Life-Cycle and Application Domains of Cyber-Physical Systems

Abstract

Paradigm

My account