Evaluating the Impact of Model Driven Development on Verification and Validation Efficiency in Secure, Large Scale Enterprise Software Systems
Keywords:
Enterprise Software, Model-Driven Development, Security Compliance, Software Systems, Verification ValidationAbstract
Model driven Development (MDD) has emerged as an efficient software engineering methodology that focuses on using high-level models as primary artifacts throughout the software development process. The methodology involves transforming abstract models into detailed designs, and eventually into executable code, with the assistance of automated tools. This study evaluates the impact of MDD on the Verification and Validation (V&V) processes within secure enterprise software systems. By comparing MDD-based projects with traditional code-centric development approaches, the study highlights the advantages of MDD in reducing verification time, minimizing defect leakage, and improving the traceability of security requirements. MDD significantly enhances V&V efficiency by automating key processes, which allows for earlier error detection and better resource utilization. Additionally, MDD strengthens security compliance by integrating security requirements early in the development lifecycle, ensuring better alignment between system requirements and their implementation. Despite the clear benefits, challenges such as the lack of standardized tools and the need for specialized expertise in model development were also encountered during the study. The findings of this research offer important insights for enterprise software development teams looking to adopt MDD for more efficient and secure V&V processes. Future research should focus on the long-term impact of MDD on security compliance, as well as its adoption across different industries, to fully understand the practical benefits and challenges of implementing MDD in diverse real-world environments.
References
[1] M. Orosz, B. Duffy, C. Charlton, H. Saunders, and M. Shih, Scaling agile principles to an enterprise. 2023. doi: 10.1002/9781394203314.ch10.
[2] W. N. Felder, “The U.S. National Airspace System: A model for verification and validation of complex, distributed systems-of-systems,” in 16th AIAA Aviation Technology, Integration, and Operations Conference, 2016. doi: 10.2514/6.2016-3152.
[3] E. Zabardast, B. Paudel, and J. Gonzalez-Huerta, “Architecture Degradation at Scale: Challenges and Insights from Practice,” Lect. Notes Comput. Sci., vol. 16361 LNCS, pp. 451 – 460, 2026, doi: 10.1007/978-3-032-12089-2_30.
[4] V. Estivill-Castro, R. Hexel, and J. Stover, “Models testing models in continuous integration of model-driven development,” in Proceedings of the IASTED International Symposium on Software Engineering and Applications, SEA 2015, 2015, pp. 1 – 8. doi: 10.2316/P.2015.829-016.
[5] J. H. Ahn, S. H. Kim, H. S. Jeon, and Y. S. Lee, “MBSE-Driven Verification and Validation Framework for Autonomous UAM Systems: A SysML-Based Approach with Compliance Alignment,” in IAVVC 2025 - IEEE International Automated Vehicle Validation Conference, Proceedings, 2025. doi: 10.1109/IAVVC61942.2025.11219494.
[6] V. Estivill-Castro, R. Hexel, and J. Stover, “Modeling, validation, and continuous integration of software behaviours for embedded systems,” in Proceedings - EMS 2015: UKSim-AMSS 9th IEEE European Modelling Symposium on Computer Modelling and Simulation, 2016, pp. 89 – 95. doi: 10.1109/EMS.2015.24.
[7] J. L. Allen, “An overview of model-based development verification/validation processes and technologies in the aerospace industry,” in 2016 AIAA Modeling and Simulation Technologies Conference, 2016. doi: 10.2514/6.2016-1922.
[8] M. Sirjani, L. Provenzano, S. A. Asadollah, M. H. Moghadam, and M. Saadatmand, “Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems,” J. Internet Serv. Appl., vol. 12, no. 1, 2021, doi: 10.1186/s13174-021-00132-z.
[9] E. Posse, D. Ratiu, G. M. K. Selim, and F. Zalila, “MoDeVVa’17 model driven engineering, verification and validation integrating verification and validation in MDE,” in CEUR Workshop Proceedings, 2017, pp. 298 – 299.
[10] F. Scippacercola, R. Pietrantuono, S. Russo, and A. Zentai, “Model-driven engineering of a railway interlocking system,” in MODELSWARD 2015 - 3rd International Conference on Model-Driven Engineering and Software Development, Proceedings, 2015, pp. 509 – 519. doi: 10.5220/0005244805090519.
[11] J. Iber, N. Kajtazović, A. Höller, T. Rauter, and C. Kreiner, “Ubtl: UML Testing Profile based testing language,” in MODELSWARD 2015 - 3rd International Conference on Model-Driven Engineering and Software Development, Proceedings, 2015, pp. 99 – 110. doi: 10.5220/0005241300990110.
[12] F. Rademacher, J. Sorgalla, P. Wizenty, S. Sachweh, and A. Zündorf, Graphical and textual model-driven microservice development. 2019. doi: 10.1007/978-3-030-31646-4_7.
[13] F. Santos, I. Nunes, and A. L. C. Bazzan, “Model-driven agent-based simulation development: A modeling language and empirical evaluation in the adaptive traffic signal control domain,” Simul. Model. Pract. Theory, vol. 83, pp. 162 – 187, 2018, doi: 10.1016/j.simpat.2017.11.006.
[14] F. Rademacher, S. Sachweh, J. Sorgalla, and A. Zündorf, “A model-driven workflow for distributed microservice development,” in Proceedings of the ACM Symposium on Applied Computing, 2019, pp. 1260 – 1262. doi: 10.1145/3297280.3300182.
[15] D. Danang, M. U. Dewi, and G. Widhiati, “Federated Hybrid CNN GRU and COBCO Optimized Elman Neural Network for Real Time DDoS Detection in Cloud Edge Environments,” Int. J. Electr. Eng. Math. Comput. Sci., vol. 2, no. 2, pp. 28–35, 2025.
[16] D. Danang, E. Siswanto, N. D. Setiawan, and P. Wibowo, “Hybrid Zero Trust Container Based Model for Proactive Service Continuity under Intelligent DDoS Attacks in Cloud Environment,” Int. J. Comput. Technol. Sci., vol. 2, no. 3, pp. 41–49, 2025.
[17] M. W. Khan, D. Pandey, and S. A. Khan, “Test plan specification using security attributes: A design perspective,” ICIC Express Lett., vol. 12, no. 10, pp. 1061 – 1069, 2018, doi: 10.24507/icicel.12.10.1061.
[18] M. Ali, A. Ullah, M. R. Islam, and R. Hossain, “Assessing of software security reliability: Dimensional security assurance techniques,” Comput. Secur., vol. 150, 2025, doi: 10.1016/j.cose.2024.104230.
[19] J. I. Panach et al., “Evaluating model-driven development claims with respect to quality: A family of experiments,” IEEE Trans. Softw. Eng., vol. 47, no. 1, pp. 130 – 145, 2021, doi: 10.1109/TSE.2018.2884706.
[20] N. Silega, A. Hernández, Y. Kravchenko, G. F. Castro, and D. M. López, “Model-driven development of multi-agent systems: A systematic mapping,” in XXII Ibero-American Conference on Software Engineering, CIbSE 2019, 2019, pp. 307 – 320.
[21] K. Zurowska and J. Dingel, “Language-specific model checking of UML-RT models,” Softw. Syst. Model., vol. 16, no. 2, pp. 393 – 415, 2017, doi: 10.1007/s10270-015-0484-y.
Downloads
Published
Issue
Section
License
Copyright (c) 2025 Software Engineering in Computing Systems
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
