A Digital Twin framework that allows connecting UML models to physical devices to perform analysis and validation tasks.
The structure of this repository is the following:
This module is in charge of the car's movement. It retrieves the sensors' data and sends it via Bluetooth to the computer. Once it is received, it is forwarded to the carConnector using a socket.
The car used in our development is a Lego Mindstorms NXT, and we used the firmware LeJOS to define its behavior.
This module takes the raw data from the carController and stores it in the data lake.
This module is a USE plugin in charge of the bidirectional connections to the data lake. This module takes the necessary information from the models in USE and stores it in the data lake and vice versa.
This module is another USE plugin in charge of bidirectional connections to the data lake. This plugin retrieves traces from the Physical and Digital Twins and compares them to find any mismatches to validate the system's correct behavior.
These are the use models used in our project to test and validate the previous plugins.