4

6

5.Conclusions

This document consolidated previous ARIBA results related to safety validation of ATM automation systems by providing a methodological framework.

The problem addressed is very complex, due to the complexity of systems themselves and the number of stakeholders, and the difficulty to assess safety of a system.

To address this complexity, the report makes the following main recommendations:

·      use of some international standards related to safety validation, to be specifically developed for ATM;

·      use of some cost-effective methods all along the development, both for ensuring safety through development activities, and through specific safety assurance;

·      validation of safety of the automated system by measuring indirect safety factors, and making a correspondence with actual safety objectives in a safety case;

·      permanent consideration of practicality when developing safety validation standards.

4

6