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 w. 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. (PAP)
Komentarze
Prześlij komentarz