MBT-I4A is the nickname for the research project "Automated Model-Based Testing of Industry 4.0 Applications", funded by the Junta de Andalucia, Spain, under contract P20-00067-FR. This project started on October 5, 2021 and ends on March 31, 2023. The PI is Antonio Vallecillo.

Project Summary

The fourth industrial revolution, or Industry 4.0 (I4.0), represents an important advance in terms of quality improvement and savings in the time, costs and efforts required for the production of systems and applications in application domains such as the automotive industry, the aerospace industry or robotic manufacturing, and in general, all those working with cyber-physical systems that integrate hardware, software and communications elements.

One of the essential aspects of today's software development is testing, which has become important to ensure the quality of applications in any critical system. Testing is particularly important in the realm of I4.0 application, due to their complexity. The problem is that tests are mostly performed manually, which can imply both the possibility of errors and the difficulty of analysing the quality of the tests themselves, in terms of correctness, coverage or effectiveness.

This project aims to define and implement a set of methods and tools for the specification of tests for Industry 4.0 applications that allow their generation, execution and analysis in an automated way, using high-level models and Model-Based Engineering techniques, and in particular what is known as Model-Based Testing (MBT).

More detailed information can be found in the original research project proposal.

Project Resources

All resources developed during the project, including models, datasets, tools and applications, are available on the project's git repository: MBT-I4A repository.

To show the toolkit we have developed for the automated testing of a Robotic Arm from its high-level UML models (created with the CORDIS Modeler tool) we have prepared a video that illustrates our proposal.

Project Publications


  • Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl. "The uncertainty interaction problem in self-adaptive systems." Softw. Syst. Model 21(4):1277-1294, 2022.
    [BibTeX] DOI: 10.1007/s10270-022-01037-6. (Open access)
  • Jordi Cabot, Antonio Vallecillo. "Modeling should be an independent scientific discipline" Software and Systems Modeling (Sosym), 2022. (To appear)
    [BibTeX] DOI: 10.1007/s10270-022-01035-8. (Open access)
  • Jesús Sánchez Cuadrado, Lola Burgueño, Manuel Wimmer, Antonio Vallecillo. "Efficient Execution of ATL Model Transformations Using Static Analysis and Parallelism." IEEE Transactions on Software Engineering 48(4):1097-1114, 2022.
    [BibTeX] DOI: 10.1145/3523056. (Open access)
  • Javier Troya, Nathalie Moreno, Manuel F. Bertoa and Antonio Vallecillo. “Uncertainty representation in software models: A survey.” Software and Systems Modeling (Sosym) 20(4):1183-1213, 2021.
    [BibTeX] DOI: 10.1007/s10270-020-00842-1. (Open access)

International Conferences

  • Javier Cámara, Radu Calinescu, Betty H.C. Cheng, David Garlan, Bradley Schmerl, Javier Troya and Antonio Vallecillo. “Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata”. In Proc. of MODELS’22, Montreal, Canada, October 2022.
    [BibTeX] DOI: 10.5381/jot.2022.21.3.a1. (Open access)

International workshops

  • Daniel Pérez-Porras, Paula Muñoz, Javier Troya, Antonio Vallecillo. "Key-Value vs Graph-based data lakes for realizing Digital Twin systems". Proceedings of the 2nd International workshop on MDE for Smart IoT Systems (MESS 2022 @ STAF 2022), Nantes, France. 5 July 2022
    [BibTeX] DOI: 10630/24677. (Open access)
  • P. Muñoz, J. Troya, and A. Vallecillo, “Using Trace Alignments for Measuring the Similarity between a Physical and its Digital Twin,” in Proc. of ModDiT2022@MODELS’22, 2022.

National conferences

  • Paula Muñoz, Javier Troya, Antonio Vallecillo. "Análisis de Conformidad de Gemelos Digitales Multi-Fidelidad". JISBD2022, Santiago de Compostela, España, Septiembre 2022 .
    [BibTeX] (Open access)


  • To show the toolkit we have developed for the automated testing of a Robotic Arm from its high-level UML models (created with the CORDIS Modeler tool) we have prepared a video that illustrates our proposal.

Technical reports