Authors: Alejandro Moreno, Luis de la Torre, José L. Risco-Martín, Eva Besada-Portas, Joaquín Aranda Almansa
Discrete Event Specification (DEVS) is a sound formal modeling and simulation framework based on concepts derived from dynamic systems theory. DEVS provides a framework for information modeling with several advantages to analyze and design complex systems completeness, verifiability, extensibility, and maintainability. Unmanned Aerial Vehicles (UAVs) are aircrafts without onboard pilots that can be controlled remotely or fly autonomously based on pre- programmed flight routes. They are used in a wide variety of fields, both civil and military. This research work is focused on taking advantage of DEVS simulation framework to build models that simulate a complex military problem. The simulator is used to validate the results of a route planner for multiple UAVs. The path planner uses several approximations to compute solutions in affordable time, whereas the simulator uses accurate models to validate those results.