Requirements for the use of COTS operating systems in safety related air traffic services