THE SOFTWARE DEVELOPMENT LIFECYCLE OF CYBER-PHYSICAL SYSTEMS
DOI:
https://doi.org/10.35546/kntu2078-4481.2024.1.33Keywords:
CPS, FPGA, HIL, MIL, PIL, SDLC, SILAbstract
This work provides a comprehensive overview of the Software Development Lifecycle (SDLC) of Cyber-Physical Systems (CPS). The successful development of CPS heavily relies on implementing a comprehensive SDLC model that integrates various established methodologies and techniques. This model includes Model in the Loop (MIL), Software in the Loop (SIL), Processor in the Loop (PIL), and Hardware in the Loop (HIL), complemented by N-version Programming and formal verification and validation, including compile-time verification. By incorporating these elements, developers gain a structured framework to optimize workflows, ensure process consistency, and manage risks associated with system complexity. Including compile-time verification enables the early detection and resolution of potential issues, further enhancing CPS solution reliability and robustness. Additionally, N-version programming allows developers to improve software quality and reliability while efficiently managing resources. Moreover, integrating Field-Programmable Gate Arrays (FPGAs) into CPS architectures presents a scalable and adaptable solution to address performance challenges encountered by embedded processors. FPGAs offer parallel processing capabilities and hardware acceleration features, enabling CPS developers to enhance system performance, responsiveness, and reliability. This capability proves invaluable in meeting the stringent requirements of critical applications across diverse domains, including aerospace, defense, healthcare, and industrial automation. Adopting a comprehensive SDLC model facilitates the delivery of CPS solutions that meet stringent quality standards, tackle evolving technological challenges, and fulfill diverse stakeholder requirements. By catalyzing innovation and progress, this approach empowers CPS developers to confidently navigate technological complexities and deliver solutions that have a meaningful impact on society and the world. Through continuous refinement and advancement, CPS technology continues to push the boundaries of what is possible, driving progress and shaping the future of interconnected systems and environments.
References
Oks, S.J., Jalowski, M., Lechner, M. et al. (2022) Cyber-Physical Systems in the Context of Industry 4.0: A Review, Categorization and Outlook. Inf Syst Front. DOI: 10.1007/s10796-022-10252-x
Amit Kumar Tyagi, N. Sreenath. (2021) Cyber Physical Systems: Analyses, challenges and possible solutions. Internet of Things and Cyber-Physical Systems, 1, 22–33, DOI: 10.1016/j.iotcps.2021.12.002.
Dapynhunlang Shylla, Ayushi Jain, Pritesh Shah, Ravi Sekhar (2023). Model in Loop (MIL), Software in Loop (SIL) and Hardware in Loop (HIL) Testing in MBD. 4th IEEE Global Conference for Advancement in Technology (GCAT) At: Bangalore, India. https: //www. researchgate.net /publication /376658429_Model_in_Loop_MIL_Software_in_Loop_SIL_and_Hardware_in_Loop_HIL_Testing_in_MBD. DOI: 10.1109/GCAT59970.2023.10353323
Amr Mohamed, A.N. Ouda, Jing Ren, Moustafa El-Gindy (2020). Processor-in-the-loop co-simulations and control system design for a scaled autonomous multi-wheeled combat vehicle. International Journal of Automation and Control, 14(2): 138. https://www.researchgate.net/publication/339709349_Processor-in-the-loop_co-simulations_and_control_system_design_for_a_scaled_autonomous_multi-wheeled_combat_vehicle. DOI: 10.1504/IJAAC.2020.105516
Jonis Kiesbye, David Messmann, Maximilian Preisinger, Martin Langer (2019). Hardware-In-The-Loop and Software-In-The-Loop Testing of the MOVE-II CubeSat. Aerospace, 6(12): 130, https: // www.researchgate.net /publication /337699363_Hardware-In-The-Loop_and_Software-In-The-Loop_Testing_of_the_MOVE-II_CubeSat,DOI: 10.3390/aerospace6120130
Krichen, Moez. (2023). A Survey on Formal Verification and Validation Techniques for Internet of Things. Applied Sciences, 13, no. 14: 8122. DOI: 10.3390/app13148122
Shanhe Lou, Zhongxu Hu, Yiran Zhang, Feng Yixiong et al. (2024). Human-Cyber-Physical System for Industry 5.0: A Review From a Human-Centric Perspective. IEEE Transactions on Automation Science and Engineering, PP(99): 1–18. https: //www.researchgate.net /publication /378053098_Human-Cyber-Physical_System_for_Industry_50_A_Review_From_a_Human-Centric_Perspective. DOI: 10.1109/TASE.2024.3360476.
Manzhos, Y.; Sokolova, Y. (2023) A Practical Type System for Formal Verification CPS &Amp; IoT C/C++ Programs. Preprints, 2023052228. DOI: 10.20944/preprints202305.2228.v1
Yu Tan, Dlanfu Ma, Lel Qlao (2021). A Formal Verification Method of Compilation Based on C Safety Subset.Wireless Comunications and Mobile Computing, 2021:1–10. https: //www.researchgate.net /publication /353633617_A_Formal_Verification_Method_of_Compilation_Based_on_C_Safety_Subset. DOI: 10.1155/2021/8352267
Siqi Lin, Wei Yao, Yongxin Xiong, Yifan Zhao, et al. (2023). MatPSST: A Matlab/Simulink‐based power system simulation toolbox for research and education. IET Generation, Transmission & Distribution, 17(10), https:// www.researchgate.net/ publication/ 368969051_MatPSST_A_MatlabSimulink-based_power_system_simulation_toolbox_for_research_and_education, DOI: 10.1049/gtd2.12805
Manzhos, Y., & Sokolova, Y. (2023) A Software Verification Method for the Internet of Things and Cyber-Physical Systems. Computation, no. 11 (7), article no. 135. DOI: 10.3390/computation11070135.
Manzos, Y., Sokolova, Y. (2020) The method of data compression in Internet of Things communication. Radioelectronic and Computer Systems, no. 4, pp. 57–67. DOI:10.32620/reks.2020.4.05 (In Ukrainian)
Manzhos, Y., & Sokolova, Y. (2022) A Method of IoT Information Compression. International Journal of Computing, vol. 21, Iss. 1, pp. 100–110. DOI: 10.47839/ijc.21.1.2523.
Gabor Marton, Zoltan Porkolab. Unit Testing in C++ with Compiler Instrumentation and Friends. Acta Cybernetica, 23(2): 659–686. https://www.researchgate.net/publication/320587819_Unit_Testing_in_C_with_Compiler_Instrumentation_and_Friends. DOI: 10.14232/actacyb.23.2.2017.14
Júlio Mendonça, Fumio Machida, Marcus Völp. (2023) Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation. DSN 2023 Workshop on Dependable and Secure Machine Learning (DSML 2023) At: Porto, Portugal. https: //www.researchgate.net /publication /37211024_Enhancing_the_Reliability_of_Perception_Systems_using_N-version_Programming_and_Rejuvenation. DOI: 10.1109/DSN-W58399.2023.00044
Elias Vansteenkiste. (2016). New FPGA Design Tools and Architectures. [Thesis for: Doctor of Electrical Engineering]. https: //www.researchgate.net /publication /311845419_New_FPGA_Design_Tools_and_Architectures
Ang Li, David Wentzlaff. (2021). PRGA: An Open-Source FPGA Research and Prototyping Framework. In The 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA ‘21) (р. 127–137). Association for Computing Machinery, New York, NY, USA, DOI: 10.1145/3431920.3439294
