Matematyczny pas bezpieczeństwa: formalna weryfikacja algorytmów sterujących
Awaria oprogramowania w samolocie Boeing 737 MAX kosztowała życie 346 osób i wynikała z błędnej logiki systemu MCAS, który polegał na danych z jednego czujnika. W branży lotniczej i medycznej każda linia kodu sterującego musi…
