Ładowanie...

Sieć Badawcza Łukasiewicz – Instytut Lotnictwa

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

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 […]

Skip to content