Prof. Alexandra Silva opracowała projekt nowego oprogramowania opartego na modułach matematycznych, które może ograniczyć liczbę pomyłek podczas pilotażu samolotów. Budowa prototypu programu komputerowego realizowana jest w kooperacji z koncernem IBM.
Opracowany przez uczoną z Universidade Minho w Bradze projekt programu bazuje na algebrze Kleene. Zdaniem prof. Alexandry Silvy, przygotowany przez nią teoretyczny konspekt software może znaleźć zastosowanie w sytuacjach krytycznych, np. podczas awarii systemów pokładowych.
Nowe oprogramowanie zostało już skierowane do opracowania technologicznego i wprowadzenia na rynek. Jego realizacją zajmie się koncern IBM, który wyróżnił w ub. roku portugalską uczoną tzw. Nagrodą Naukową IBM.
„Aktualnie opracowujemy narzędzia, dzięki którym nasze rozwiązania teoretyczne zostaną urzeczywistnione przez programistów w nieomylne systemy” – dodała prof. Alexandra Silva.
Projekt portugalskiej badaczki, zatytułowany „Koalgebry Kleene”, wprowadza nowe elementy do rozwoju modeli matematycznych oraz specyficznych języków, jakie mogą zostać zastosowane w bardzo złożonych systemach komputerowych.
„W latach 50. XX wieku informatyka potrzebowała prostych modeli matematycznych, gdyż stosowane wówczas urządzenia również charakteryzowały się dużą prostotą. O ile jednak technologia komputerowa rozwinęła się do bardzo zaawansowanego i złożonego poziomu, o tyle proces ten nie nastąpił w przypadku softwareów. Tymczasem w dzisiejszych samolotach potrzebujemy programów komputerowych, które działają szybko i bezbłędnie. Stworzony przeze mnie koncept oprogramowania odpowiada wymaganiom dzisiejszych systemów komputerowych i zawiera uwspółcześnione języki dla aplikacji” – powiedziała Alexandra Silva.
