Czy komputery są nieomylne?
Numer:
99
Komputery kontrolują takie obszary naszego życia jak aparatura medyczna, autonomiczne metro i samochody, czy systemy sterowania samolotami. Z drugiej strony, niemal codziennie spotykamy się ze skutkami błędów w jakimś oprogramowaniu. Czy w takim razie maszynom można ufać? Skąd pochodzą błędy popełniane przez komputery? Czy można w ogóle mieć pewność, że dany system jest bezbłędny? W ramach wykładu omówię przykłady znanych błędów oprogramowania, jak eksplozja rakiety Ariane, czy niedawne katastrofy Boeingów 737 MAX. Pokażę też, że istnieją metody pozwalające takich błędów unikać. Na koniec wyjaśnię, jaki jest koszt wykorzystania tych metod i dlaczego nie są one powszechnie stosowane.
Termin:
wtorek, 24 Września, 2019 - 17:00
Czas trwania:
45 minut
Opis skrócony:
Komputery odpowiadają za coraz więcej obszarów naszego życia. Jednocześnie niemal codziennie słyszymy, że coś się ,,zawiesiło’'. Skąd biorą się błędy komputerów i jak można im zapobiegać?
Organizator:
dr
Michał
Skrzypczak
Miejsce spotkania:
ul. Banacha 2
02-097 Warszawa