Instytut Lotnictwa realizuje projekt "SafeAvi – Nowatorskie narzędzie do automatyzacji procesu weryfikacji oprogramowania systemów krytycznych dla bezpieczeństwa w lotnictwie potwierdzeniem kompetencji polskich kadr naukowych ILOT na arenie międzynarodowej", który jest współfinansowany ze środków Europejskiego Funduszu Rozwoju Regionalnego.
Obecna awionika to świat rozwiązań cyfrowych. Żaden nowoczesny system sterowania, nawigacji czy obrazowania informacji nie może dziś istnieć bez oprogramowania. „Latające” oprogramowanie jest czymś równie krytycznym dla bezpieczeństwa, co konstrukcja statku powietrznego. Z tego powodu kwalifikuje się je do kategorii Safety Critical. O dopuszczeniu go do użytku decydują najbardziej rygorystyczne standardy weryfikacji, która to w rezultacie staje się niezwykle czasochłonna i droga. Inżynierowie zajmujący się tym procesem schodzą w swoich analizach na poziomu elektroniki, analizując kod maszynowy na poziomie niespotykanym w innych gałęziach przemysłu. Proces ten jest krytycznym czynnikiem wpływającym na możliwość wprowadzania nowoczesnych rozwiązań w lotnictwie.
W ramach projektu prowadzone będą prace badawczo-rozwojowe, których celem jest opracowanie innowacji procesowej w zakresie przygotowania i weryfikacji programowania dla lotnictwa o krytycznym znaczeniu dla bezpieczeństwa lotu tj. należącego do kategorii Safety Critical.
Prace nad projektem, realizowanym w ramach Działania 4.1 „Badania naukowe i prace rozwojowe”, Poddziałania 4.1.4 „Projekty aplikacyjne” Programu Operacyjnego Inteligentny Rozwój 2014-2020, rozpoczęły się 1.04.2017 r. i potrwają do 31.03.2020 r. Źródło: Instytut Lotnictwa
Komentarze
Prześlij komentarz