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

Open access

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.

If the inline PDF is not rendering correctly, you can download the PDF file here.

  • [1] P. Gao R. Hensley and A. Zielke “A road map to the future for the auto industry” McKinsey Quarterly October 2014.

  • [2] E. A. Lee “CPS Foundations” Proceedings of the 47th Design Automation Conference DAC ‘10 New York pp. 737–742 2010.

  • [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.

  • [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.001

  • [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

  • [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.

  • [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.

  • [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.147

  • [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.

  • [10] J. Magee and J. Kramer Concurrency: State Models & Java Programs Wiley 1999.

  • [11] A. Platzer Logical foundations of cyber-physical systems. Springer Berlin Heidelberg New York NY 2018.

  • [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-8

  • [13] J. Dabney and T. L. Harman Mastering SIMULINK 2. Prentice Hall Upper Saddle River NJ 1998.

  • [14] R. Alur T. A. Henzinger H. Wong-toi “Symbolic Analysis of Hybrid Systems” In Proceedings of the IEEE CDC 1997.

  • [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.2737167

  • [16] D. Jackson Software abstractions: logic language and analysis. MIT Press Cambridge Mass. 2012.

  • [17] L. Lamport Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Professional Boston 1st edition edition July 2002.

  • [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_1

  • [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.

  • [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.

  • [21] R. Marinescu Model-driven Analysis and Verification of Automotive Embedded Systems PhD thesis Maladaren University 2016.

  • [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.

  • [23] P. Fritzson Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. John Wiley-IEEE Press 2010.

  • [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.7778044

  • [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/b95935

  • [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.2858016

  • [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_41

  • [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.

  • [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_3

  • [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.5982785

  • [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.805829

  • [32] E. A. Lee “Computing needs time ACM Communications” vol. 52 no. 5 pp. 70–79 May 2009. https://doi.org/10.1145/1506409.1506426

  • [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/ADA538747

  • [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.898830

  • [35] Khaitan et al. “Design Techniques and Applications of Cyber Physical Systems: A Survey” IEEE Systems Journal 2014.

  • [36] E. A. Lee and S. A. Seshia “Introduction to Embedded Systems - A Cyber-Physical Systems Approach” LeeSeshia.org 2011.

  • [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.041

  • [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.

  • [39] CPSE Labs 2018. [Online] Available from: http://www.cpselabs.eu/cps.php [Accessed: 27th October 2018].

  • [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.4815831

  • [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.

  • [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/0006424902860293

  • [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 SystemsICCPS ‘13 pp. 109–118 2013. https://doi.org/10.1145/2502524.2502540

Search
Journal information
Metrics
All Time Past Year Past 30 Days
Abstract Views 0 0 0
Full Text Views 356 356 33
PDF Downloads 415 415 73