Certyfikacja oprogramowania krytycznego: dlaczego sieci neuronowe nie wystarczają
W przemyśle lotniczym miliardowe kontrakty zależą od zdolności do certyfikacji oprogramowania pokładowego. Standard DO-178C wymaga formalnego dowodu, że system zachowa się poprawnie w każdej sytuacji - nie tylko w tych przetestowanych. Nowe badania pokazują, że…
