ülevaade sellest, mida tarkvara peab sisendeid ja piiranguid arvesse võttes tootma; selle täitmisega tagatakse EATMNi tarkvara turvaline ning kasutusvajadustele vastav toimimine
a description of what is to be produced by the software given the inputs and constraints, and if met, ensures that EATMN software performs safely and according to operational need
Good to know
Valdkond ICAO lisade põhjal loodud klassifikaatori järgi: Lennuliikluse korraldamine
Software safety requirements shall specify the functional behaviour in nominal and downgraded modes, of the EATMN software, timing performances, capacity, accuracy, software resource usage on the target hardware, robustness to abnormal operating conditions and overload tolerance, as appropriate.