{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T15:49:08Z","timestamp":1783439348322,"version":"3.54.6"},"reference-count":59,"publisher":"MDPI AG","issue":"7","license":[{"start":{"date-parts":[[2025,6,30]],"date-time":"2025-06-30T00:00:00Z","timestamp":1751241600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers"],"abstract":"<jats:p>Simulation-based development is a structured approach that uses formal models to design and test system behavior before building the actual system. The Internet of Things (IoT) connects physical devices equipped with sensors and software to collect and exchange data. Cyber-Physical Systems (CPSs) integrate computing directly into physical processes to enable real-time control. This paper reviews the Discrete-Event System Specification (DEVS) formalism and explores how it can serve as a unified framework for designing, simulating, and implementing systems that combine IoT and CPS\u2014referred to as the Internet of Cyber-Things (IoCT). Through case studies that include home automation, solar energy monitoring, conflict management, and swarm robotics, the paper reviews how DEVS enables construction of modular, scalable, and reusable models. The role of the System Entity Structure (SES) is also discussed, highlighting its contribution in organizing models and generating alternative system configurations. With this background as basis, the paper evaluates whether DEVS provides the necessary modeling power and continuity across stages to support the development of complex IoCT systems. The paper concludes that DEVS offers a robust and flexible foundation for developing IoCT systems, supporting both expressiveness and seamless transition from design to real-world deployment.<\/jats:p>","DOI":"10.3390\/computers14070258","type":"journal-article","created":{"date-parts":[[2025,6,30]],"date-time":"2025-06-30T10:03:48Z","timestamp":1751277828000},"page":"258","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Simulation-Based Development of Internet of Cyber-Things Using DEVS"],"prefix":"10.3390","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0793-8742","authenticated-orcid":false,"given":"Laurent","family":"Capocchi","sequence":"first","affiliation":[{"name":"SPE UMR CNRS 6134 Laboratoire, Campus Grimaldi, University of Corsica \u201dPasquale Paoli\u201d, 20250 Corte, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0636-1352","authenticated-orcid":false,"given":"Bernard P.","family":"Zeigler","sequence":"additional","affiliation":[{"name":"RTSync Corp., 6909 W. Ray Road, Chandler, AZ 85226, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9143-532X","authenticated-orcid":false,"given":"Jean-Francois","family":"Santucci","sequence":"additional","affiliation":[{"name":"SPE UMR CNRS 6134 Laboratoire, Campus Grimaldi, University of Corsica \u201dPasquale Paoli\u201d, 20250 Corte, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"1968","published-online":{"date-parts":[[2025,6,30]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TSMC.2020.3042898","article-title":"Internet of Things as System of Systems: A Review of Methodologies, Frameworks, Platforms, and Tools","volume":"51","author":"Fortino","year":"2021","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"211973","DOI":"10.1109\/ACCESS.2020.3039368","article-title":"Scalable IoT Platform for Heterogeneous Devices in Smart Environments","volume":"8","author":"Javed","year":"2020","journal-title":"IEEE Access"},{"key":"ref_3","unstructured":"Zeigler, B.P., Muzy, A., and Kofman, E. (2018). Theory of Modeling and Simulation: Discrete Event & Iterative System Computational Foundations, Academic Press."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Zeigler, B.P., and Mittal, S.T.M. (2018). MBSE with\/out Simulation: State of the Art and Way Forward. Systems, 6.","DOI":"10.3390\/systems6040040"},{"key":"ref_5","unstructured":"Zeigler, B., Mittal, S., and Traor\u00e9, M. (2021, January 15\u201318). Fundamental Requirements and DEVS Approach for Modeling and Simulation of Complex Adaptive System of Systems: Healthcare Reform. Proceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems, Baltimore, MD, USA."},{"key":"ref_6","doi-asserted-by":"crossref","unstructured":"Booker, L., Forrest, S., Mitchell, M., and Riolo, R. (2005). Perspectives on Adaptation in Natural and Artificial Systems, Oxford University Press.","DOI":"10.1093\/oso\/9780195162929.001.0001"},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Fattahi, A. (2023). IoT System Design Process and Main Components. IoT Product Design and Development: Best Practices for Industrial, Consumer, and Business Applications, Wiley Science Publishers.","DOI":"10.1002\/9781119787686"},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"Alavi Fazel, I., and Wainer, G. (2024). Discrete Event System Specification for IoT Applications. Sensors, 24.","DOI":"10.3390\/s24237784"},{"key":"ref_9","unstructured":"Hu, X., Zeigler, B., and Couretas, J. (2001, January 7\u201310). DEVS-on-a-chip: Implementing DEVS in real-time Java on a tiny Internet interface for scalable factory automation. Proceedings of the 2001 IEEE International Conference on Systems, Man and Cybernetics, e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236), Tucson, AZ, USA."},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Zeigler, B.P., and Sarjoughian, H. (2017). Guide to Modeling and Simulation of System of Systems, Springer.","DOI":"10.1007\/978-3-319-64134-8_1"},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Anik, S.M.H., Gao, X., Zhong, H., Wang, X., and Meng, N. (2025). Programming of Automation Configuration in Smart Home Systems: Challenges and Opportunities. ACM Trans. Softw. Eng. Methodol.","DOI":"10.1145\/3731450"},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Sehili, S., Capocchi, L., Santucci, J.F., Lavirotte, S., and Tigli, J.Y. (2015, January 21\u201323). Discrete Event Modeling and Simulation for IoT Efficient Design Combining WComp and DEVSimPy Framework. Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, France. SIMULTECH 2015.","DOI":"10.5220\/0005538300440052"},{"key":"ref_13","first-page":"265","article-title":"Advanced simulation-based predictive modelling for solar irradiance sensor farms","volume":"19","author":"Campoy","year":"2024","journal-title":"J. Simul."},{"key":"ref_14","doi-asserted-by":"crossref","unstructured":"Zhang, L., and Zhao, C. (2023). Modeling and Simulation Based Systems Engineering, World Scientific. Available online: https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/12960.","DOI":"10.1142\/12960"},{"key":"ref_15","doi-asserted-by":"crossref","unstructured":"Sarada, W., Prashanth, K., Mary, A., Premkumar, K., Vijayan, V.P., and Radha, G. (2025, January 4\u20136). IoT in Smart Homes: Enhancing Lifestyle Through Intelligent Automation and Control. Proceedings of the 2025 International Conference on Automation and Computation (AUTOCOM), Dehradun, India.","DOI":"10.1109\/AUTOCOM64127.2025.10957107"},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"85072","DOI":"10.1109\/ACCESS.2024.3415632","article-title":"Ontology-Based Classification and Detection of the Smart Home Automation Rules Conflicts","volume":"12","author":"Ansari","year":"2024","journal-title":"IEEE Access"},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Liu, R., Wang, Z., Garcia, L., and Srivastava, M. (2019, January 13\u201314). RemedioT: Remedial Actions for Internet-of-Things Conflicts. Proceedings of the 6th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation (BuildSys \u201919), New York, NY, USA.","DOI":"10.1145\/3360322.3360837"},{"key":"ref_18","unstructured":"Rey, G., Tigli, J.Y., and Franquet, E. (2025). Actuation Conflict Management in Internet of Things Systems DevOps: A Discrete Event Modeling and Simulation Approach. Proceedings of the Internet of Things, Springer."},{"key":"ref_19","unstructured":"Capocchi, L. (2025, June 11). DEVSimPy. Software Available on GitHub. Available online: https:\/\/github.com\/capocchi\/DEVSimPy."},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Capocchi, L., Santucci, J., Poggi, B., and Nicolai, C. (2011, January 27\u201329). DEVSimPy: A Collaborative Python Software for Modeling and Simulation of DEVS Systems. Proceedings of the 2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, Paris, France.","DOI":"10.1109\/WETICE.2011.31"},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Yentl Van Tendeloo and Hans Vangheluwe (2017). An evaluation of DEVS simulation tools. Simulation, 93, 103\u2013121.","DOI":"10.1177\/0037549716678330"},{"key":"ref_22","unstructured":"M, C.J.E., Orna, G., Daniel, K., Doron, P., and Helmut, V. (2018). Model Checking, MIT Press."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"100004","DOI":"10.1016\/j.hcc.2021.100004","article-title":"A model checking-based security analysis framework for IoT systems","volume":"1","author":"Fang","year":"2021","journal-title":"High-Confid. Comput."},{"key":"ref_24","doi-asserted-by":"crossref","unstructured":"Widyawati, D.K., Ambarwari, A., and Wahyudi, A. (2020, January 10\u201311). Design and Prototype Development of Internet of Things for Greenhouse Monitoring System. Proceedings of the 2020 3rd International Seminar on Research of Information Technology and Intelligent Systems (ISRITI), Yogyakarta, Indonesia.","DOI":"10.1109\/ISRITI51436.2020.9315487"},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Harrand, N., Fleurey, F., Morin, B., and Husa, K.E. (2016;, January 2\u20137). ThingML: A Language and Code Generation Framework for Heterogeneous Targets. Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, New York, NY, USA.","DOI":"10.1145\/2976767.2976812"},{"key":"ref_26","unstructured":"Dominici, A., Capocchi, L., De Gentili, E., and Santucci, J.F. (2021, January 5\u201310). Discrete Event Modeling and Simulation of Smart Parking Conflict Management. Proceedings of the 24th International Congress on Modelling and Simulation, Sydney, Australia. Modsim\u201921."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1088\/1742-6596\/2755\/1\/012021","article-title":"Modeling and Simulation of Unmanned Swarm System Based on Dynamic Structure DEVS","volume":"2755","author":"Zhang","year":"2024","journal-title":"J. Phys. Conf. Ser."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3704737","article-title":"Control Software Engineering Approaches for Cyber-Physical Systems: A Systematic Mapping Study","volume":"9","author":"Banerjee","year":"2025","journal-title":"ACM Trans. Cyber-Phys. Syst."},{"key":"ref_29","unstructured":"Kate, C. (2025, June 01). Internet of Things and Beyond: Cyber-Physical Systems. Available online: https:\/\/katecarruthers.com\/2016\/04\/07\/internet-of-things-and-beyond-cyber-physical-systems\/."},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Zeigler, B. (2021). DEVS-based building blocks and architectural patterns for intelligent hybrid cyberphysical system design. Information, 12.","DOI":"10.3390\/info12120531"},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Castro, R., Marcosig, E.P., and Giribet, J.I. (2019). Simulation model continuity for efficient development of embedded controllers in cyber-physical systems. Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy, Springer.","DOI":"10.1002\/9781119552482.ch8"},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"Guisado-Lizar, J.L., Riscos-N\u00fa\u00f1ez, A., Mor\u00f3n-Fern\u00e1ndez, M.J., and Wainer, G. (2024). A DEVS-Based Methodology for Simulation and Model-Driven Development of IoT. Proceedings of the Simulation Tools and Techniques, Springer.","DOI":"10.1007\/978-3-031-57523-5"},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Rainey, L., and Holland, O. (2022). Emergent Behavior in System of Systems Engineering: Real-World Applications, CRC Press. [1st ed.].","DOI":"10.1201\/9781003160816"},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1002\/spe.3168","article-title":"xDEVS: A toolkit for interoperable modeling and simulation of formal discrete event systems","volume":"53","author":"Mittal","year":"2023","journal-title":"Softw. Pract. Exp."},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Capocchi, L., Santucci, J.F., Fericean, J., and Zeigler, B.P. (2022, January 11\u201314). DEVS Model Design for Simulation Web App Deployment. Proceedings of the 2022 Winter Simulation Conference (WSC), Singapore.","DOI":"10.1109\/WSC57314.2022.10015469"},{"key":"ref_36","unstructured":"Trabes, G.G. (2023). Efficient DEVS Simulations Design on Heterogeneous Platforms. [Doctoral Dissertation, Universidad Nacional de San Luis]."},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"16472","DOI":"10.1109\/JIOT.2022.3150598","article-title":"Self-Adaptive Framework with Master\u2013Slave Architecture for Internet of Things","volume":"9","author":"Lee","year":"2022","journal-title":"IEEE Internet Things J."},{"key":"ref_38","doi-asserted-by":"crossref","unstructured":"Wang, Y., Zheng, L., He, J., and Cui, Z. (2023, January 25\u201327). Adaptive IoT Decision Making in Uncertain Environments. Proceedings of the 2023 IEEE International Conference on Smart Internet of Things (SmartIoT), Los Alamitos, CA, USA.","DOI":"10.1109\/SmartIoT58732.2023.00048"},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"An, H., Park, W., Park, S., and Lee, E. (2024, January 17\u201319). Logical Space Composition of IoT for a Scalable and Adaptable Smart Environment. Proceedings of the 2024 International Conference on Information Networking (ICOIN), Ho Chi Minh City, Vietnam.","DOI":"10.1109\/ICOIN59985.2024.10572086"},{"key":"ref_40","unstructured":"Earle, B., Bjornson, K., Ruiz-Martin, C., and Wainer, G. (2020, January 18\u201321). Development of A Real-Time Devs Kernel: RT-Cadmium. Proceedings of the 2020 Spring Simulation Conference (SpringSim), Virtual Event."},{"key":"ref_41","unstructured":"Risco-Mart\u00edn, J.L., Mittal, S., Fabero, J.C., Malag\u00f3n, P., and Ayala, J.L. (2016, January 24\u201327). Real-time hardware\/software co-design using devs-based transparent M&S framework. Proceedings of the Summer Computer Simulation Conference, San Diego, CA, USA. SCSC \u201916."},{"key":"ref_42","doi-asserted-by":"crossref","first-page":"39","DOI":"10.9709\/JKSS.2013.22.4.039","article-title":"The devs integrated development environment for simulation-based battle experimentation","volume":"22","author":"Hwang","year":"2013","journal-title":"J. Korea Soc. Simul."},{"key":"ref_43","doi-asserted-by":"crossref","unstructured":"Matusek, D. (2022, January 19\u201323). Towards Resilient Execution of Adaptation in Decentralized Self-Adaptive Software Systems. Proceedings of the 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Virtual.","DOI":"10.1109\/ACSOSC56246.2022.00036"},{"key":"ref_44","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3437537","article-title":"Security and Privacy Requirements for the Internet of Things: A Survey","volume":"2","author":"Alhirabi","year":"2021","journal-title":"ACM Trans. Internet Things"},{"key":"ref_45","doi-asserted-by":"crossref","unstructured":"Yuan, H., Yao, Y., Tang, W., and Zhu, F. (2024, January 15\u201318). A High Extensible Modeling Method Using Three-Layer Component-Based Architecture. Proceedings of the 2024 Winter Simulation Conference (WSC), Orlando, FL, USA.","DOI":"10.1109\/WSC63780.2024.10838957"},{"key":"ref_46","doi-asserted-by":"crossref","unstructured":"Xie, K., Zhang, L., Chen, Z., and Gu, P. (2024, January 17\u201320). Semi-physical Modeling and Simulation for Industrial Product Design Based on X Language. Proceedings of the Asia Simulation Conference, Kobe, Japan.","DOI":"10.1007\/978-981-97-7225-4_3"},{"key":"ref_47","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/MCSE.2016.58","article-title":"Discrete Event Modeling and Simulation-Driven Engineering for the ATLAS Data Acquisition Network","volume":"18","author":"Bonaventura","year":"2016","journal-title":"Comput. Sci. Eng."},{"key":"ref_48","doi-asserted-by":"crossref","unstructured":"Boi-Ukeme, J., Ruiz-Martin, C., and Wainer, G. (2020, January 14\u201316). Real-Time Fault Detection and Diagnosis of CPS Faults in DEVS. Proceedings of the 2020 IEEE 6th International Conference on Dependability in Sensor, Cloud and Big Data Systems and Application (DependSys), Nadi, Fiji.","DOI":"10.1109\/DependSys51298.2020.00017"},{"key":"ref_49","doi-asserted-by":"crossref","unstructured":"Doddapaneni, K., Ever, E., Gemikonakli, O., Malavolta, I., Mostarda, L., and Muccini, H. (2012, January 2). A model-driven engineering framework for architecting and analysing wireless sensor networks. Proceedings of the IEEE 2012 Third International Workshop on Software Engineering for Sensor Network Applications (SESENA), Zurich, Switzerland.","DOI":"10.1109\/SESENA.2012.6225729"},{"key":"ref_50","doi-asserted-by":"crossref","unstructured":"Junglas, P., Jammer, D., Pawletta, T., and Pawletta, S. (2024, January 4\u20136). Using component-based discrete-event modeling with NSA-DEVS\u2014An invitation. Proceedings of the ASIM 2024 Tagungsband Langbeitr\u00e4ge, 27th Symposium Simulationstechnik, Neubiberg, Germany.","DOI":"10.11128\/arep.47.a4701"},{"key":"ref_51","unstructured":"Wymore, A. (1967). A Mathematical Theory of Systems Engineering: The Elements, Krieger."},{"key":"ref_52","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/TLA.2023.10015141","article-title":"Simulation of iot-oriented fall detection systems architectures for in-home patients","volume":"21","author":"Teixeira","year":"2023","journal-title":"IEEE Lat. Am. Trans."},{"key":"ref_53","doi-asserted-by":"crossref","unstructured":"Folkerts, H. (2024). An Architecture for Model Behavior Generation for Multiple Simulators. [Ph.D. Thesis, University of Applied Sciences Wismar]. Available online: https:\/\/dokumente.ub.tu-clausthal.de\/receive\/clausthal_mods_00002606.","DOI":"10.11128\/fbs.42"},{"key":"ref_54","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1177\/0037549720958056","article-title":"A DEVS-based pivotal modeling formalism and its verification and validation framework","volume":"96","author":"Samuel","year":"2020","journal-title":"Simulation"},{"key":"ref_55","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/384169.384173","article-title":"Dynamic structures in modeling and simulation: A reflective approach","volume":"11","author":"Uhrmacher","year":"2001","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"ref_56","doi-asserted-by":"crossref","unstructured":"Reggio, G. (2018, January 27\u201328). A UML-based proposal for IoT system requirements specification. Proceedings of the 10th International Workshop on Modelling in Software Engineering, New York, NY, USA. MiSE \u201918.","DOI":"10.1145\/3193954.3193956"},{"key":"ref_57","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1016\/j.future.2019.04.050","article-title":"A Finite-State-Machine model driven service composition architecture for internet of things rapid prototyping","volume":"99","author":"Xiao","year":"2019","journal-title":"Future Gener. Comput. Syst."},{"key":"ref_58","doi-asserted-by":"crossref","first-page":"1462","DOI":"10.1016\/j.procs.2022.12.345","article-title":"Modeling and controlling IoT-based devices\u2019 behavior with high-level Petri nets","volume":"217","year":"2023","journal-title":"Procedia Comput. Sci."},{"key":"ref_59","doi-asserted-by":"crossref","first-page":"154112","DOI":"10.1109\/ACCESS.2021.3125979","article-title":"IoTsecM: A UML\/SysML Extension for Internet of Things Security Modeling","volume":"9","author":"Tryfonas","year":"2021","journal-title":"IEEE Access"}],"container-title":["Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2073-431X\/14\/7\/258\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T18:01:46Z","timestamp":1760032906000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2073-431X\/14\/7\/258"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,30]]},"references-count":59,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2025,7]]}},"alternative-id":["computers14070258"],"URL":"https:\/\/doi.org\/10.3390\/computers14070258","relation":{},"ISSN":["2073-431X"],"issn-type":[{"value":"2073-431X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6,30]]}}}