Academic project
SERVANT-ES
Investigation of an open experimental platform for UAV flight-control software supported by formal methods.
SERVANT-ES: an experimental platform for UAV research
SERVANT-ES (2019–2021) investigated an open software platform for research on unmanned aerial vehicles (UAVs). One of its objectives was to apply formal specification, verification, and validation techniques to avionics software components, complementing testing and simulation.
Formal methods can establish properties of models and implementations subject to the assumptions, abstractions, and limitations of the methods used. Exhaustiveness, when achievable, refers to the state space represented in a model; it does not provide an unrestricted guarantee about the behavior of a physical system. The research was informed by aviation guidance such as DO-178C and DO-333, without implying that certification was obtained.
SERVANT-ES was part of the broader research line described by the umbrella project Formal Development of Avionics Software for UAVs, recorded in Lattes for 2018–2019. These periods refer to distinct curricular entries related through their research scope.
Historical SERVANT-ES documentation records support from FAPES.