reliable embedded software in UAVs (Unmanned Aerial Vehicles)