AD-HOC NETWORKS 2024:
- Abdelhakim Baouya, Brahim Hamid, Otmane Ait Mohamed and Saddek Bensalem. Detection and Mitigation of Clock Deviation in the Verification \& Validation of Drone-aided Lifting Operations.. In AD-HOC NETWORKS , 2024.
| Developed Artefacts | |||
|---|---|---|---|
| Model ID | Description | Download | Properties |
| M1 | Two Drones Communicating Without Clock Drift | Download Model | View Properties |
| M2 | Two Unsynchronized Drones Communicating with Clock Drift | Download Model | View Properties |
| M3 | Two Synchronized Drones Communicating with Clock Drift | Download Model | View Properties |
| M3-2 | Two clusters of Two Synchronized Drones Communicating with Clock Drift | Download Model | View Properties |
| M3-3 | Three clusters of Two Synchronized Drones Communicating with Clock Drift | Download Model | View Properties |
| M4 | Decision Tree in PRISM for System with Clock Drift Caused by Temperature Variations | Download Model | View Properties |
| M5 | Decision Tree in PRISM for System with Standard-specific Clock Drift | Download Model | View Properties |
| M6 | Decision Tree in PRISM for System with Clock Drift caused by Production Spread | Download Model | View Properties |
| Use Cases | Description | Download | Properties |
| M7 | Warehouse Robots | Download Model | View Properties |
| M8 | Water Dam Infrastructure | Download Model | View Properties |
| Scalability Model ID | Description | Download | Properties |
| M3-a-1 | Scalable model with one cluster | Download Model | View Properties |
| M3-a-2 | Scalable model with two clusters | Download Model | View Properties |
| M3-a-3 | Scalable model with three clusters | Download Model | View Properties |
| OMNeT++ Model ID | OMNET++ Code Description | Model | |
| C1 | OMNeT++ Source Code: Orchestrating Two Cranes with Two Drones (No Synchronization) | Download | |
| C2 | OMNeT++ Source Code: Orchestrating Two Cranes with Two Drones (Synchronization with Clock Drift & Dataset Generator) | Download | |
| C3 | OMNeT++ Source Code: Orchestrating Six Cranes with Six Drones (Synchronization) | Download | |
| C4 | OMNeT++ Source Code: Orchestrating robots in warehouse (Synchronization) | Download | |
| C5 | OMNeT++ Source Code: Sensors Synchronization in water dam infrastructure | Download | |
| Python Code ID | Python Code Description | Model | Dataset |
| P1 | IEEE 802.15.4 Clock Drift Computation (Drift Rate Assessment) | Download | |
| P2 | Probabilistic Decision Tree and PRISM Code Generation | Download | Download Dataset |
| P3 | Correlation Analysis and Visualization in Python | Download | |