Automation of high level tests for highest severity safety critical software for primary flight displays

Aleksandr will share his experience in working with the safety-critical software and the explain the reasons why both its testing and verification processes are significantly different from the ones used for other types of software. Another subject worth considering is reduction of cost and time efficiency by implementing shrewd planning and forward-looking approach in automatization.