AADL Model for Temporal Tuning of the Failsafe Triggering Mechanism from a Fire Fighting Drone

• L. B. Becker UFSC
• M. L. Pinto IFSC
• J. -P. Bodeveix IRIT-CNRS / Université de Toulouse
• M. Filali IRIT-CNRS / Université de Toulouse

Resumo

The use of drones in firefighting has increased in recent years. In such applications, monitoring external temperatures is essential to ensure aircraft safety, particularly to prevent operation above a predefined threshold (70°C). This is critical when the drone approaches the fire, since the measured temperature reflects a past position, not the current one. Additionally, the drone takes some time to execute the maneuver and move away from the fire. While this delay depends on mechanical factors, the sensing latency is influenced by the embedded system architecture and is the focus of this paper. We present a method to estimate the temperature variation (ΔT) during this interval, based on an AADL model of the system. This model includes the drone’s temperature sensors and supports calculating their respective ΔT, helping to define when failsafe mechanisms should be triggered.

Palavras-chave: Temperature sensors, Temperature measurement, Temperature, Computational modeling, Position measurement, Sensors, Safety, Tuning, Monitoring, Drones, AADL, timing analysis, end-to-end response, failsafe