‘software safety requirement’ means 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;
«exigence de sécurité d'un logiciel»: une description de ce qui doit être produit par un logiciel, compte tenu des entrées et des contraintes, dont le respect assure que le logiciel EATMN répond aux impératifs de sécurité et aux exigences opérationnelles;