1. ως «λογισμικό», νοούνται προγράμματα και αντίστοιχα δεδομένα διάρθρωσης, καθώς και μη αναπτυξιακό λογισμικό, όχι όμως ηλεκτρονικά είδη, όπως η εφαρμογή ειδικών ολοκληρωμένων κυκλωμάτων, οι προγραμματιζόμενες συστοιχίες πυλών ή οι στερεάς κατάστασης διατάξεις ελέγχου·

2. ως «δεδομένο διάρθρωσης», νοούνται τα δεδομένα που διαμορφώνει ένα γενικό σύστημα λογισμικού σε μια ιδιαίτερη περίπτωση χρήσης του·

3. ως «προϋφιστάμενο λογισμικό», νοείται το λογισμικό που δεν έχει αναπτυχθεί ειδικά για τη συγκεκριμένη σύμβαση·

4. ως «εγγύηση της ασφάλειας», νοούνται όλες οι προγραμματισμένες και συστηματικές ενέργειες που είναι απαραίτητες για τη δημιουργία επαρκούς εμπιστοσύνης ότι σε ένα προϊόν, μια υπηρεσία, μια οργάνωση ή ένα λειτουργικό σύστημα επιτυγχάνεται αποδεκτή ή ανεκτή ασφάλεια·

5. ως «οργάνωση», νοείται είτε ένας πάροχος υπηρεσιών ATS, είτε ένας πάροχος υπηρεσιών CNS είτε ένας φορέας παροχής υπηρεσιών ATFM ή ASΜ·

6. ως «λειτουργικό σύστημα», νοείται ένας συνδυασμός συστημάτων, διαδικασιών και ανθρώπινων πόρων, οργανωμένων κατά τρόπο ώστε να εκτελούν μια λειτουργία στο πλαίσιο της ΑΤΜ·

7. ως «επικινδυνότητα», νοείται ο συνδυασμός της συνολικής πιθανότητας ή συχνότητας μιας επιβλαβούς επίπτωσης προκαλούμενης από κίνδυνο και η σοβαρότητά της·

8. ως «κίνδυνος», νοείται οποιαδήποτε κατάσταση, περιστατικό ή περίσταση που θα μπορούσε να προκαλέσει ατύχημα·

9. ως «νέο λογισμικό», νοείται λογισμικό που έχει παραγγελθεί ή για το οποίο έχουν υπογραφεί δεσμευτικές συμβάσεις μετά από την έναρξη ισχύος του παρόντος κανονισμού·

10. ως «στόχος ασφάλειας», νοείται ποιοτική ή ποσοτική δήλωση που ορίζει τη μέγιστη συχνότητα ή πιθανότητα εμφάνισης κινδύνου·

11. ως «απαίτηση ασφάλειας», νοούνται τα μέσα μετριασμού της επικινδυνότητας που καθορίζονται από τη στρατηγική μετριασμού της επικινδυνότητας, με την οποία επιτυγχάνεται συγκεκριμένος στόχος ασφάλειας, συμπεριλαμβανομένων των οργανωτικών, επιχειρησιακών, διαδικαστικών, λειτουργικών απαιτήσεων, καθώς και των απαιτήσεων επιδόσεων και διαλειτουργικότητας ή των χαρακτηριστικών περιβάλλοντος·

12. ως «μεταζεύξη ή σύνδεση εν θερμώ», νοείται η προσέγγιση αντικατάστασης των στοιχείων ή του λογισμικού του ευρωπαϊκoύ συστήματος διαχείρισης της εναέριας κυκλοφορίας (EATMN) κατά τη λειτουργία του συστήματος·

13. ως «απαίτηση ασφάλειας λογισμικού», νοείται περιγραφή αυτού που αναμένεται να παραγάγει το λογισμικό, δεδομένων των εισροών και των περιορισμών, οπότε εξασφαλίζεται ότι το λογισμικό EATMN λειτουργεί με ασφάλεια και σύμφωνα με τις επιχειρησιακές ανάγκες·

14. ως «λογισμικό EATMN», νοείται το λογισμικό που χρησιμοποιείται στα ευρωπαϊκά συστήματα διαχείρισης της εναέριας κυκλοφορίας (EATMN), όπως αναφέρεται στο άρθρο 1·

15. ως «εγκυρότητα απαιτήσεων», νοείται επιβεβαίωση, κατόπιν εξέτασης και παροχής αντικειμενικών στοιχείων, του ότι πληρούνται οι συγκεκριμένες απαιτήσεις για μια ιδιαίτερη χρήση·

16. ως «ανεξάρτητη εκτέλεση», νοείται η εκτέλεση των δραστηριοτήτων της διαδικασίας επαλήθευσης του λογισμικού από πρόσωπο(-α) άλλο(-α) από τον υπεύθυνο ανάπτυξης του ελεγχόμενου στοιχείου·

17. ως «δυσλειτουργία λογισμικού», νοείται η ανικανότητα ενός προγράμματος να εκτελέσει ορθά μια απαιτούμενη λειτουργία·

18. ως «αστοχία λογισμικού», νοείται η ανικανότητα ενός προγράμματος να εκτελέσει μια απαιτούμενη λειτουργία·

19. ως «εμπορικά ετοιμοπαράδοτο προϊόν (COTS)», νοείται εμπορικά διαθέσιμη εφαρμογή που πωλείται από προμηθευτές μέσω δημοσιευμένων καταλόγων και δεν προορίζεται για προσαρμογή ή για βελτίωση·

20. ως «στοιχεία λογισμικού», νοείται δομική μονάδα που μπορεί να εγκατασταθεί ή να συνδεθεί με άλλες επαναχρησιμοποιήσιμες μονάδες του λογισμικού για να συνδυασθεί και να δημιουργηθεί μια προσαρμοσμένη εφαρμογή λογισμικού·

21. ως «ανεξάρτητα στοιχεία λογισμικού», νοούνται τα στοιχεία λογισμικού που δεν καθίστανται ανενεργά από την ίδια αστοχία που προκαλεί τον κίνδυνο·

22. ως «επιδόσεις απόκρισης του λογισμικού», νοείται ο χρόνος που επιτρέπει στο λογισμικό να αποκριθεί σε δεδομένη εισροή ή σε περιοδικά περιστατικά, ή/και οι επιδόσεις του λογισμικού στο χειρισμό συναλλαγών ή μηνυμάτων ανά μονάδα χρόνου·

23. ως «χωρητικότητα λογισμικού», νοείται η δυνατότητα του λογισμικού να χειρίζεται συγκεκριμένο όγκο ροής δεδομένων·

24. ως «ακρίβεια», νοείται η απαιτούμενη ακρίβεια των υπολογιζόμενων αποτελεσμάτων·

25. ως «χρήση των πόρων λογισμικού», νοείται το πλήθος των πόρων στο σύστημα του υπολογιστή που μπορεί να χρησιμοποιηθεί από το λογισμικό εφαρμογής·

26. ως «ανθεκτικότητα λογισμικού», νοείται η συμπεριφορά του λογισμικού σε περίπτωση απροσδόκητων εισροών, αστοχιών του υλισμικού και διακοπών στην παροχή ισχύος, είτε στο ίδιο το σύστημα του υπολογιστή είτε σε συνδεδεμένες συσκευές·

27. ως «ανοχή υπερφόρτωσης», νοείται η συμπεριφορά του συστήματος, και ειδικότερα η ανοχή του, σε εισροές που εμφανίζονται σε μεγαλύτερο ποσοστό από το αναμενόμενο κατά τη διάρκεια της κανονικής λειτουργίας του συστήματος·

28. ως «ορθή και πλήρης επαλήθευση του λογισμικού EATMN», νοούνται όλες οι απαιτήσεις ασφάλειας του λογισμικού οι οποίες διατυπώνουν τα απαιτούμενα από το συστατικό στοιχείο λογισμικού με βάση τη διαδικασία εκτίμησης και το μετριασμό της επικινδυνότητας, και η εφαρμογή των απαιτήσεων αυτών πραγματοποιείται αποδεδειγμένα στον απαιτούμενο βαθμό εγγύησης του λογισμικού·

29. ως «δεδομένα του κύκλου ζωής του λογισμικού», νοούνται τα δεδομένα που παράγονται κατά τη διάρκεια του κύκλου ζωής του λογισμικού για τον προγραμματισμό, την καθοδήγηση, την εξήγηση, τον καθορισμό, την καταγραφή ή την τεκμηρίωση των δραστηριοτήτων· τα δεδομένα αυτά επιτρέπουν τις επεξεργασίες του κύκλου ζωής του λογισμικού, την έγκριση συστημάτων ή εξοπλισμού και την εκ των υστέρων τροποποίηση του προϊόντος του λογισμικού·

30. ως «κύκλος ζωής του λογισμικού» νοείται:

31. ως «απαίτηση ασφάλειας συστήματος», νοείται παράγωγη απαίτηση ασφάλειας για λειτουργικό σύστημα.

α) οι απαιτήσεις ασφάλειας του λογισμικού διατυπώνουν ορθά τα απαιτούμενα προκειμένου το λογισμικό να πληροί τους στόχους και τις απαιτήσεις ασφάλειας, όπως αυτές προσδιορίζονται από τη διαδικασία εκτίμησης και μετριασμού της επικινδυνότητας·

β) η ιχνηλασιμότητα λαμβάνεται υπόψη για όλες τις απαιτήσεις ασφάλειας του λογισμικού·

γ) η εφαρμογή του λογισμικού δεν περιέχει καμία λειτουργία που επηρεάζει δυσμενώς την ασφάλεια·

δ) το λογισμικό EATMN πληροί τις απαιτήσεις του σε βαθμό εμπιστοσύνης σύμφωνο με την κρισιμότητα του λογισμικού·

ε) παρέχονται εγγυήσεις που επιβεβαιώνουν ότι τηρούνται οι γενικές απαιτήσεις ασφάλειας που παρατίθενται στα στοιχεία α) έως δ), ενώ η απαραίτητη εγγύηση προκύπτει πάντα από:

1. είναι τεκμηριωμένο, ειδικά με βάση τη γενικότερη τεκμηρίωση της εκτίμησης και μετριασμού της επικινδυνότητας·

2. απονέμει βαθμούς εγγύησης του λογισμικού σε όλο το επιχειρησιακό λογισμικό EATMN σύμφωνα με τις απαιτήσεις που καθορίζονται στο παράρτημα Ι·

3. προσφέρει εγγυήσεις για:

4. περιλαμβάνει ιεράρχηση των εγγυήσεων· η ιεράρχηση πρέπει να ορίζεται για κάθε βαθμό εγγύησης λογισμικού και να αυξάνεται ανάλογα με την αύξηση της κρισιμότητας του λογισμικού· προς το σκοπό αυτό:

5. χρησιμοποιείται ανάδραση από την εμπειρία του λογισμικού EATMN για να επιβεβαιωθεί ότι το σύστημα εγγύησης της ασφάλειας λογισμικού και η απόδοση των βαθμών εγγύησης είναι τα κατάλληλα· προς το σκοπό αυτό, τα αποτελέσματα δυσλειτουργίας ή αστοχίας του λογισμικού, τα οποία αναφέρονται σύμφωνα με τις σχετικές απαιτήσεις για την υποβολή έκθεσης και την αξιολόγηση των περιστατικών ασφάλειας, αξιολογούνται σε σύγκριση με τα αποτελέσματα που έχουν προσδιορισθεί για το σχετικό σύστημα σύμφωνα με το μηχανισμό ταξινόμησης της σοβαρότητας που καθορίζεται στο σημείο 3.2.4 του παραρτήματος ΙΙ του ►M1  εκτελεστικό κανονισμό (ΕΕ) αριθ. 1035/2011 της Επιτροπής ( 4 ) ◄ .

1. Ο βαθμός εγγύησης του λογισμικού συσχετίζει τη σοβαρότητα των εγγυήσεων του λογισμικού με την κρισιμότητα του λογισμικού EATMN κάνοντας χρήση του μηχανισμού ταξινόμησης της σοβαρότητας που προβλέπει ο ►M1  εκτελεστικό κανονισμό (ΕΕ) αριθ. 1035/2011 ◄ της Επιτροπής, της 20ής Δεκεμβρίου 2005, στο παράρτημα ΙΙ τμήμα 4 σημείο 3.2.4, σε συνδυασμό με την πιθανότητα να εμφανιστεί συγκεκριμένη δυσμενής επίπτωση. Καθορίζονται τουλάχιστον τέσσερις βαθμοί εγγύησης του λογισμικού, από τους οποίους ο βαθμός 1 χαρακτηρίζει το κρισιμότερο επίπεδο.

2. Οι κατανεμημένοι βαθμοί εγγύησης του λογισμικού αντιστοιχούν στη δυσμενέστερη επίπτωση που ενδέχεται να προκληθεί από δυσλειτουργίες ή αστοχίες του λογισμικού, όπως αναφέρεται στο παράρτημα ΙΙ τμήμα 4 παράγραφος 3.2.4 του ►M1  εκτελεστικό κανονισμό (ΕΕ) αριθ. 1035/2011 ◄ . Εν προκειμένω, συνεκτιμώνται ιδίως οι κίνδυνοι που συνδέονται με δυσλειτουργίες ή αστοχίες του λογισμικού και με τη δομική ή και διαδικαστική άμυνα που έχει προσδιορισθεί.

3. Στα συστατικά στοιχεία του λογισμικού EATMN, των οποίων δεν μπορεί να αποδειχθεί η μεταξύ τους ανεξαρτησία, απονέμεται ο βαθμός εγγύησης λογισμικού του πλέον κρίσιμου από τα εξαρτώμενα συστατικά στοιχεία.

1. Οι απαιτήσεις ασφάλειας λογισμικού προδιαγράφουν τη λειτουργική συμπεριφορά, σε ονομαστικό και υποβαθμισμένο τρόπο, του λογισμικού EATMN, τις επιδόσεις απόκρισης, τη χωρητικότητα, την ακρίβεια, τη χρήση των πόρων λογισμικού στο υλισμικό στόχου, την ανθεκτικότητα σε μη κανονικές συνθήκες λειτουργίας και την ανοχή υπερφόρτωσης ανάλογα με την περίπτωση.

2. Οι απαιτήσεις ασφάλειας του λογισμικού είναι πλήρεις και ορθές, και είναι επίσης σύμφωνες με τις απαιτήσεις ασφάλειας του συστήματος.

1. Η λειτουργική συμπεριφορά του λογισμικού EATMN, οι επιδόσεις απόκρισης, η χωρητικότητα, η ακρίβεια, η χρήση των πόρων του λογισμικού στο υλισμικό στόχου, η ανθεκτικότητα σε μη κανονικές συνθήκες λειτουργίας και η ανοχή υπερφόρτωσης είναι σύμφωνες με τις απαιτήσεις του λογισμικού.

2. Το λογισμικό EATMN ελέγχεται κατάλληλα με ανάλυση ή/και δοκιμή ή/και ισοδύναμα μέσα, όπως συμφωνείται με την εθνική εποπτική αρχή.

3. Η επαλήθευση του λογισμικού EATMN είναι ορθή και πλήρης.

1. Προβλέπονται ταυτοποίηση της διάρθρωσης, ιχνηλασιμότητα και καταγραφή της κατάστασης ώστε να είναι δυνατόν να αποδειχθεί ότι τα δεδομένα του κύκλου ζωής του λογισμικού είναι υπό τον έλεγχο διάρθρωσης καθ’ όλο τον κύκλο ζωής του λογισμικού EATMN.

2. Προβλέπονται αναφορά προβλημάτων, ανίχνευση και διορθωτικά μέτρα ώστε να είναι δυνατόν να αποδειχθεί ότι έχουν μετριασθεί προβλήματα ασφάλειας που αφορούν το λογισμικό.

3. Προβλέπονται διαδικασίες ανάκτησης και ελεύθερης διάθεσης, έτσι ώστε τα δεδομένα κύκλου ζωής του λογισμικού είναι δυνατόν να αναπαραχθούν και να διανέμονται καθ’ όλο τον κύκλο ζωής λογισμικού του EATMN.

1. Η ιχνηλασιμότητα κάθε απαίτησης εγγύησης λογισμικού ανάγεται στον ίδιο βαθμό, τον οποίο οφείλει να πληροί.

2. Η ιχνηλασιμότητα κάθε απαίτησης εγγύησης λογισμικού, σε κάθε βαθμό σχεδιασμού, τον οποίο οφείλει να πληροί, ανάγεται σε απαίτηση εγγύησης του συστήματος.