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