SafeAvi – An innovative tool used for automating the process of verifying of safety critical software, as the proof of the competence of Polish ILOT academic staff on the international arena


Avionics is a world of digital solutions, nowadays. Most of modern control, navigation or imaging system can’t exist without software. Software written for electronic devices is equally critical for an airplane as its construction. Thus, this kind of software qualifies to the Safety Critical Category. The most rigorous verification standards are being used during development. It makes this process extremely time consuming and expensive. Software engineers involved in these analyses go down to the hardware level verifying the code in a way not seen in other industries. This complex process is a critical factor when introducing modern solutions in aviation business.

The aim of this project is to carry out research and develop a process innovation in the field of preparation and verification of Safety Critical Systems.

Project leader: Paweł Stężycki, MSc. Eng.
R&D leader: Łukasz Nyczkowski, MSc. Eng.
Phone: (+48) 22 397 94 57
E-mail: lukasz.nyczkowski[at]
Duration: 01.04.2017 – 31.03.2020
Funding institution: European Commission; National Centre for Research and Development
Programme: Smart Growth Operational Programme 2014-2020
Consortium: Institute of Aviation – a coordinator, General Electric Company Polska Sp. z o.o.
Total eligible cost of the project: PLN 4 301 757,61
Funding amount: PLN 3 980 630,52

No: POIR.04.01.04-00-0121/16

The project is implemented under Measure 4.1 “Research and development”, Sub-measure 4.1.4 “Application projects” of the Smart Growth Operational Programme 2014-2020 and co-financed by the European Regional Development Fund.



Dodatkowe informacje

Ogłoszenie wprowadził/a:

Data ogłoszenia:

  • November 7, 2017 @ 09:51:03 [Current Revision] przez Joanna Pieniążek
  • November 7, 2017 @ 09:51:03 przez Joanna Pieniążek