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

[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

[2] E. A. Lee, “CPS Foundations,” Proceedings of the 47th Design Automation Conference, DAC ‘10, New York, pp. 737–742, 2010.10.1145/1837274.1837462Search in Google Scholar

[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.25Search in Google Scholar

[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.001Search in Google Scholar

[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_StudySearch in Google Scholar

[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

[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

[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.147Search in Google Scholar

[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

[10] J. Magee and J. Kramer, Concurrency: State Models & Java Programs, Wiley, 1999.Search in Google Scholar

[11] A. Platzer, Logical foundations of cyber-physical systems. Springer, Berlin Heidelberg, New York, NY, 2018.10.1007/978-3-319-63588-0Search in Google Scholar

[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-8Search in Google Scholar

[13] J. Dabney and T. L. Harman, Mastering SIMULINK 2. Prentice Hall, Upper Saddle River, NJ, 1998.Search in Google Scholar

[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

[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.2737167Search in Google Scholar

[16] D. Jackson, Software abstractions: logic, language, and analysis. MIT Press, Cambridge, Mass., 2012.Search in Google Scholar

[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

[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_1Search in Google Scholar

[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

[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

[21] R. Marinescu, Model-driven Analysis and Verification of Automotive Embedded Systems, PhD thesis, Maladaren University, 2016.Search in Google Scholar

[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

[23] P. Fritzson, Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. John Wiley-IEEE Press, 2010.10.1109/9780470545669Search in Google Scholar

[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.7778044Search in Google Scholar

[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/b95935Search in Google Scholar

[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.2858016Search in Google Scholar

[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_41Search in Google Scholar

[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

[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_3Search in Google Scholar

[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.5982785Search in Google Scholar

[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.805829Search in Google Scholar

[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.1506426Search in Google Scholar

[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/ADA538747Search in Google Scholar

[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.898830Search in Google Scholar

[35] Khaitan et al., “Design Techniques and Applications of Cyber Physical Systems: A Survey,” IEEE Systems Journal, 2014.Search in Google Scholar

[36] E. A. Lee, and S. A. Seshia, “Introduction to Embedded Systems - A Cyber-Physical Systems Approach,” LeeSeshia.org, 2011.Search in Google Scholar

[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.041Search in Google Scholar

[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

[39] CPSE Labs, 2018. [Online] Available from: http://www.cpselabs.eu/cps.php [Accessed: 27th October 2018].Search in Google Scholar

[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.4815831Search in Google Scholar

[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

[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/0006424902860293Search in Google Scholar

[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.2502540Search in Google Scholar