
„INNOVATIVE TOOL FOR AUTOMATING THE PROCESS OF SAFETY CRITICAL SOFTWARE VERIFICATION FOR AVIATION CONFIRMING THE COMPETENCES OF INSTITUTE OF AVIATION’S SCIENTIFIC STAFF ON THE INTERNATIONAL ARENA (SAFEAVI)”
Today’s avionics is a world of digital solutions. Nowadays, no modern control, navigation or information display system can exist without software. Avionic software is as critical to safety as the design and construction of an aircraft. It is therefore consequently qualified in the Safety Critical category. The software has to pass the most stringent standards of verification, which consecutively is becoming extremely time consuming and expensive. Engineers involved in this process perform most comprehensive analyzes of electronics and electronic components, analysing machine code to the degree not seen in other industries. The process is a critical factor affecting the prospect of introducing modern solutions in aviation.
The R&D works carried out as a part of the project aim to develop process innovation in the field of preparation and verification of flight safety critical programming in the aviation industry falling under Safety Critical category.
Project realization was finalized in Q2 2020.
The Project value: 4,301,757.61 PLN included 3,980,630.52 PLN co-financed by EU Funding
