geopti/opus-en-el-eval-mixture huggingface dataset:
English: ‘requirements validity’ means the confirmation by examination and provision of objective evidence that the particular requirements for a specific use are as intended;
Greek: ως «εγκυρότητα απαιτήσεων», νοείται επιβεβαίωση, κατόπιν εξέτασης και παροχής αντικειμενικών στοιχείων, του ότι πληρούνται οι συγκεκριμένες απαιτήσεις για μια ιδιαίτερη χρήση·
English: ‘achieved with independence’ means, for software verification process activities, that the verification process activities are performed by a person(s) other than the developer of the item being verified;
Greek: ως «ανεξάρτητη εκτέλεση», νοείται η εκτέλεση των δραστηριοτήτων της διαδικασίας επαλήθευσης του λογισμικού από πρόσωπο(-α) άλλο(-α) από τον υπεύθυνο ανάπτυξης του ελεγχόμενου στοιχείου·
English: ‘software malfunction’ means the inability of a programme to perform a required function correctly;
Greek: ως «δυσλειτουργία λογισμικού», νοείται η ανικανότητα ενός προγράμματος να εκτελέσει ορθά μια απαιτούμενη λειτουργία·
English: ‘software failure’ means the inability of a programme to perform a required function;
Greek: ως «αστοχία λογισμικού», νοείται η ανικανότητα ενός προγράμματος να εκτελέσει μια απαιτούμενη λειτουργία·
English: ‘COTS’ means a commercial available application sold by vendors through public catalogue listings and not intended to be customised or enhanced;
Greek: ως «εμπορικά ετοιμοπαράδοτο προϊόν (COTS)», νοείται εμπορικά διαθέσιμη εφαρμογή που πωλείται από προμηθευτές μέσω δημοσιευμένων καταλόγων και δεν προορίζεται για προσαρμογή ή για βελτίωση·
English: ‘software components’ means a building block that can be fitted or connected together with other reusable blocks of software to combine and create a custom software application;
Greek: ως «στοιχεία λογισμικού», νοείται δομική μονάδα που μπορεί να εγκατασταθεί ή να συνδεθεί με άλλες επαναχρησιμοποιήσιμες μονάδες του λογισμικού για να συνδυασθεί και να δημιουργηθεί μια προσαρμοσμένη εφαρμογή λογισμικού·
English: ‘independent software components’ means those software components which are not rendered inoperative by the same failure condition that causes the hazard;
Greek: ως «ανεξάρτητα στοιχεία λογισμικού», νοούνται τα στοιχεία λογισμικού που δεν καθίστανται ανενεργά από την ίδια αστοχία που προκαλεί τον κίνδυνο·
English: ‘software timing performances’ means the time allowed for the software to respond to given inputs or to periodic events, and/or the performance of the software in terms of transactions or messages handled per unit time;
Greek: ως «επιδόσεις απόκρισης του λογισμικού», νοείται ο χρόνος που επιτρέπει στο λογισμικό να αποκριθεί σε δεδομένη εισροή ή σε περιοδικά περιστατικά, ή/και οι επιδόσεις του λογισμικού στο χειρισμό συναλλαγών ή μηνυμάτων ανά μονάδα χρόνου·
English: ‘software capacity’ means the ability of the software to handle a given amount of data flow;
Greek: ως «χωρητικότητα λογισμικού», νοείται η δυνατότητα του λογισμικού να χειρίζεται συγκεκριμένο όγκο ροής δεδομένων·
English: ‘software resource usage’ means the amount of resources within the computer system that can be used by the application software;
Greek: ως «χρήση των πόρων λογισμικού», νοείται το πλήθος των πόρων στο σύστημα του υπολογιστή που μπορεί να χρησιμοποιηθεί από το λογισμικό εφαρμογής·
English: ‘software robustness’ means the behaviour of the software in the event of unexpected inputs, hardware faults and power supply interruptions, either in the computer system itself or in connected devices;
Greek: ως «ανθεκτικότητα λογισμικού», νοείται η συμπεριφορά του λογισμικού σε περίπτωση απροσδόκητων εισροών, αστοχιών του υλισμικού και διακοπών στην παροχή ισχύος, είτε στο ίδιο το σύστημα του υπολογιστή είτε σε συνδεδεμένες συσκευές·
English: ‘overload tolerance’ means the behaviour of the system in the event of, and in particular its tolerance to, inputs occurring at a greater rate than expected during normal operation of the system;
Greek: ως «ανοχή υπερφόρτωσης», νοείται η συμπεριφορά του συστήματος, και ειδικότερα η ανοχή του, σε εισροές που εμφανίζονται σε μεγαλύτερο ποσοστό από το αναμενόμενο κατά τη διάρκεια της κανονικής λειτουργίας του συστήματος·
English: ‘correct and complete EATMN software verification’ means all software safety requirements which correctly state what is required of the software component by the risk assessment and mitigation process and their implementation is demonstrated to the level required by the software assurance level;
Greek: ως «ορθή και πλήρης επαλήθευση του λογισμικού EATMN», νοούνται όλες οι απαιτήσεις ασφάλειας του λογισμικού οι οποίες διατυπώνουν τα απαιτούμενα από το συστατικό στοιχείο λογισμικού με βάση τη διαδικασία εκτίμησης και το μετριασμό της επικινδυνότητας, και η εφαρμογή των απαιτήσεων αυτών πραγματοποιείται αποδεδειγμένα στον απαιτούμενο βαθμό εγγύησης του λογισμικού·
English: ‘software life cycle data’ means the data that is produced during the software life cycle to plan, direct, explain, define, record, or provide evidence of activities; this data enables the software life cycle processes, system or equipment approval and post-approval modification of the software product;
Greek: ως «δεδομένα του κύκλου ζωής του λογισμικού», νοούνται τα δεδομένα που παράγονται κατά τη διάρκεια του κύκλου ζωής του λογισμικού για τον προγραμματισμό, την καθοδήγηση, την εξήγηση, τον καθορισμό, την καταγραφή ή την τεκμηρίωση των δραστηριοτήτων· τα δεδομένα αυτά επιτρέπουν τις επεξεργασίες του κύκλου ζωής του λογισμικού, την έγκριση συστημάτων ή εξοπλισμού και την εκ των υστέρων τροποποίηση του προϊόντος του λογισμικού·
English: an ordered collection of processes determined by an organisation to be sufficient and adequate to produce a software product;
Greek: η διατεταγμένη συλλογή επεξεργασιών ώστε να είναι επαρκής, καθορισμένη από οργάνωση και κατάλληλη να παραγάγει ένα προϊόν λογισμικού·
English: the period of the time that begins with the decision to produce or modify a software product and ends when the product is retired from service;
Greek: η χρονική περίοδος από την απόφαση να παραχθεί ή να τροποποιηθεί ένα προϊόν λογισμικού έως την απόσυρση του προϊόντος από τη λειτουργία·
English: ‘system safety requirement’ means a safety requirement derived for a functional system.
Greek: ως «απαίτηση ασφάλειας συστήματος», νοείται παράγωγη απαίτηση ασφάλειας για λειτουργικό σύστημα.
English: Whenever an organisation is required to implement a risk assessment and mitigation process in accordance with applicable Community or national law, it shall define and implement a software safety assurance system to deal specifically with EATMN software related aspects, including all on-line software operational changes, and in particular cutover or hot swapping.
Greek: Όποτε μια οργάνωση απαιτείται να εφαρμόσει διαδικασία εκτίμησης και μετριασμού της επικινδυνότητας σύμφωνα με το ισχύον κοινοτικό ή εθνικό δίκαιο, καθορίζει και εφαρμόζει σύστημα εγγύησης της ασφάλειας λογισμικού για να χειρισθεί πτυχές ειδικά του λογισμικού EATMN, συμπεριλαμβανομένων όλων των επιγραμμικών επιχειρησιακών αλλαγών του λογισμικού, και ιδίως τη μεταζεύξη ή τη σύνδεση εν θερμώ.
English: The organisation shall ensure, as a minimum, that its software safety assurance system produces evidence and arguments that demonstrate the following:
Greek: Η οργάνωση εξασφαλίζει, τουλάχιστον, ότι το σύστημα εγγύησης της ασφάλειας λογισμικού που χρησιμοποιεί αποδεικνύει με τεκμήρια και επιχειρήματα, τα ακόλουθα:
English: the software safety requirements correctly state what is required by the software, in order to meet safety objectives and requirements, as identified by the risk assessment and mitigation process;
Greek: οι απαιτήσεις ασφάλειας του λογισμικού διατυπώνουν ορθά τα απαιτούμενα προκειμένου το λογισμικό να πληροί τους στόχους και τις απαιτήσεις ασφάλειας, όπως αυτές προσδιορίζονται από τη διαδικασία εκτίμησης και μετριασμού της επικινδυνότητας·
English: traceability is addressed in respect of all software safety requirements;
Greek: η ιχνηλασιμότητα λαμβάνεται υπόψη για όλες τις απαιτήσεις ασφάλειας του λογισμικού·
English: the software implementation contains no functions which adversely affect safety;
Greek: η εφαρμογή του λογισμικού δεν περιέχει καμία λειτουργία που επηρεάζει δυσμενώς την ασφάλεια·
English: the EATMN software satisfies its requirements with a level of confidence which is consistent with the criticality of the software;
Greek: το λογισμικό EATMN πληροί τις απαιτήσεις του σε βαθμό εμπιστοσύνης σύμφωνο με την κρισιμότητα του λογισμικού·
English: assurances are provided confirming that the general safety requirements set out in points (a) to (d) are satisfied, and the arguments that demonstrate the required assurances are at all times derived from:
Greek: παρέχονται εγγυήσεις που επιβεβαιώνουν ότι τηρούνται οι γενικές απαιτήσεις ασφάλειας που παρατίθενται στα στοιχεία α) έως δ), ενώ η απαραίτητη εγγύηση προκύπτει πάντα από:
English: a known set of software products and descriptions, including specifications, that have been used in the production of that version.
Greek: γνωστό σύνολο προϊόντων και περιγραφών του λογισμικού, καθώς και προδιαγραφών, οι οποίες χρησιμοποιήθηκαν στην παραγωγή της έκδοσης αυτής.
English: The organisation shall make available the required assurances, to the national supervisory authority, demonstrating that the requirements provided for in paragraph 2 have been satisfied.
Greek: Η οργάνωση θέτει στη διάθεση της εθνικής εποπτικής αρχής τις απαραίτητες εγγυήσεις που αποδεικνύουν ότι πληρούνται οι απαιτήσεις της παραγράφου 2.
English: Requirements applying to the software safety assurance system
Greek: Απαιτήσεις για το σύστημα εγγύησης της ασφάλειας λογισμικού
English: The organisation shall ensure, as a minimum, that the software safety assurance system:
Greek: Η οργάνωση εξασφαλίζει, τουλάχιστον, ότι το σύστημα εγγύησης της ασφάλειας λογισμικού:
English: is documented, specifically as part of the overall risk assessment and mitigation documentation;
Greek: είναι τεκμηριωμένο, ειδικά με βάση τη γενικότερη τεκμηρίωση της εκτίμησης και μετριασμού της επικινδυνότητας·
English: allocates software assurance levels to all operational EATMN software in compliance with the requirements set out in Annex I;
Greek: απονέμει βαθμούς εγγύησης του λογισμικού σε όλο το επιχειρησιακό λογισμικό EATMN σύμφωνα με τις απαιτήσεις που καθορίζονται στο παράρτημα Ι·
English: software safety requirements validity in compliance with the requirements set out in Annex II, Part A;
Greek: την ισχύ των απαιτήσεων ασφάλειας λογισμικού σύμφωνα με τις απαιτήσεις που καθορίζονται στο παράρτημα ΙΙ μέρος Α·
English: software verification in compliance with the requirements set out in Annex II, Part B;
Greek: την επαλήθευση του λογισμικού σύμφωνα με τις απαιτήσεις που καθορίζονται στο παράρτημα ΙΙ μέρος Β·
English: software configuration management in compliance with the requirements set out in Annex II, Part C;
Greek: τη διαχείριση της διάρθρωσης του λογισμικού σύμφωνα με τις απαιτήσεις που καθορίζονται στο παράρτημα ΙΙ μέρος Γ·
English: software safety requirements traceability in compliance with the requirements set out in Annex II, Part D;
Greek: την ιχνηλασιμότητα των απαιτήσεων ασφάλειας του λογισμικού σύμφωνα με τις απαιτήσεις που καθορίζονται στο παράρτημα ΙΙ μέρος Δ·
English: determines the rigour to which the assurances are established; the rigour must be defined for each software assurance level, and increase as the software increases in criticality; for that purpose:
Greek: περιλαμβάνει ιεράρχηση των εγγυήσεων· η ιεράρχηση πρέπει να ορίζεται για κάθε βαθμό εγγύησης λογισμικού και να αυξάνεται ανάλογα με την αύξηση της κρισιμότητας του λογισμικού· προς το σκοπό αυτό:
English: the variation in rigour of the assurances per software assurance level must include the following criteria:
Greek: οι απαιτήσεις των εγγυήσεων ανά βαθμό εγγύησης λογισμικού πρέπει να ιεραρχούνται βάσει των ακόλουθων κριτηρίων:
English: the assurances corresponding to each software assurance level must give sufficient confidence that the EATMN software can be operated tolerably safely;
Greek: οι εγγυήσεις που αντιστοιχούν σε κάθε βαθμό επίτευξης του λογισμικού πρέπει να παρέχουν επαρκή εμπιστοσύνη ότι το λογισμικό EATMN μπορεί να χρησιμοποιηθεί υπό αποδεκτές συνθήκες ασφάλειας·
English: Requirements applying to changes to software and to specific software
Greek: Απαιτήσεις για αλλαγές σε λογισμικό και ειδικό λογισμικό
English: For any changes to the software or for specific types of software such as COTS, non-developmental software or previously used software for which some of the requirements of Article 3(2)(d) or (e) or of Article 4(2), (3), (4) or (5) cannot be applied, the organisation shall ensure that the software safety assurance system provides, through other means chosen and agreed with the national supervisory authority, the same level of confidence as the relevant software assurance level whenever defined.
Greek: Για οποιεσδήποτε αλλαγές στο λογισμικό ή συγκεκριμένους τύπους λογισμικού όπως τα COTS, τα μη αναπτυξιακά λογισμικά ή τα προηγουμένως χρησιμοποιηθέντα λογισμικά, για τα οποία δεν είναι δυνατόν να εφαρμοστούν ορισμένες από τις απαιτήσεις του άρθρου 3 παράγραφος 2 στοιχεία δ) ή ε) και του άρθρου 4 παράγραφοι 2, 3, 4 ή 5, η οργάνωση εξασφαλίζει ότι το σύστημα εγγύησης της ασφάλειας λογισμικού προσφέρει, με άλλα μέσα που έχουν επιλεγεί και συμφωνηθεί από την εθνική εποπτική αρχή, τον ίδιο βαθμό εμπιστοσύνης με τον σχετικό καθορισμένο βαθμό εγγύησης του λογισμικού.
English: Those means must give sufficient confidence that the software meets the safety objectives and requirements, as identified by the safety risk assessment and mitigation process.
Greek: Τα μέσα αυτά παρέχουν ικανοποιητική εμπιστοσύνη ότι το λογισμικό πληροί τους στόχους και τις απαιτήσεις ασφάλειας, όπως αυτές προσδιορίζονται με τη διαδικασία εκτίμησης και μετριασμού της επικινδυνότητας.
English: In the assessment of the means referred to in paragraph 1, the national supervisory authority may use a recognised organisation or a notified body.
Greek: Στην αξιολόγηση των μέσων που αναφέρονται στην παράγραφο 1, η εθνική εποπτική αρχή μπορεί να χρησιμοποιήσει αναγνωρισμένη οργάνωση ή κοινοποιημένο οργανισμό.
English: In Annex II to Regulation (EC) No 2096/2005, the following section is added:
Greek: Στο παράρτημα II του κανονισμού (ΕΚ) αριθ. 2096/2005, προστίθεται το ακόλουθο τμήμα:
English: Software safety assurance system
Greek: Σύστημα εγγύησης της ασφάλειας λογισμικού
English: Within the operation of the safety management system, a provider of air traffic services shall implement a software safety assurance system in accordance with Commission Regulation (EC) No 482/2008 of 30 May 2008 establishing a software safety assurance system to be implemented by air navigation service providers and amending Annex II to Regulation (EC) No 2096/2005.Article 7
Greek: Κατά τη λειτουργία του συστήματος διαχείρισης της ασφάλειας, ο πάροχος υπηρεσιών εναέριας κυκλοφορίας εφαρμόζει σύστημα εγγύησης της ασφάλειας λογισμικού σύμφωνα με τον κανονισμό (ΕΚ) αριθ. 482/2008 της Επιτροπής, 30ής Μαΐου 2008, για τη θέσπιση συστήματος εγγύησης της ασφάλειας λογισμικού που πρέπει να εφαρμόζουν οι φορείς παροχής υπηρεσιών αεροναυτιλίας και για την τροποποίηση του παραρτήματος ΙΙ του κανονισμού 2096/2005.Άρθρο 7
English: It shall apply from 1 January 2009 to the new software of EATMN systems referred to in Article 1(2), first subparagraph.
Greek: Εφαρμόζεται από την 1η Ιανουαρίου 2009 για το νέο λογισμικό των συστημάτων EATMN που αναφέρονται στο άρθρο 1 παράγραφος 2 πρώτο εδάφιο.
English: It shall apply from 1 July 2010 to any changes to the software of EATMN systems referred to in Article 1(2), first subparagraph, in operation by that date.
Greek: Εφαρμόζεται από την 1η Ιουλίου 2010 για οποιεσδήποτε αλλαγές στο λογισμικό των συστημάτων EATMN που αναφέρονται στο άρθρο 1 παράγραφος 2 πρώτο εδάφιο, τα οποία είναι σε λειτουργία την ημερομηνία εκείνη.
English: Regulation as amended by Regulation (EC) No 1315/2007 (OJ L 291, 9.11.2007, p. 16).
Greek: Κανονισμός όπως τροποποιήθηκε με τον κανονισμό (ΕΚ) αριθ. 1315/2007 (ΕΕ L 291 της 9.11.2007, σ. 16)
English: Requirements applying to the software assurance level referred to in Article 4(2)
Greek: Απαιτήσεις για το βαθμό εγγύησης της ασφάλειας λογισμικού που αναφέρεται στο άρθρο 4 παράγραφος 2
English: The software assurance level shall relate the rigour of the software assurances to the criticality of EATMN software by using the severity classification scheme set out in Section 4 of point 3.2.4 of Annex II to Regulation (EC) No 2096/2005 combined with the likelihood of the occurrence of a certain adverse effect.
Greek: Ο βαθμός εγγύησης του λογισμικού συσχετίζει τη σοβαρότητα των εγγυήσεων του λογισμικού με την κρισιμότητα του λογισμικού EATMN κάνοντας χρήση του μηχανισμού ταξινόμησης της σοβαρότητας που προβλέπει ο κανονισμός (ΕΚ) αριθ. 2096/2005 της Επιτροπής, της 20ής Δεκεμβρίου 2005, στο παράρτημα ΙΙ τμήμα 4 σημείο 3.2.4, σε συνδυασμό με την πιθανότητα να εμφανιστεί συγκεκριμένη δυσμενής επίπτωση.
English: A minimum of four software assurance levels shall be identified, with software assurance level 1 indicating the most critical level.
Greek: Καθορίζονται τουλάχιστον τέσσερις βαθμοί εγγύησης του λογισμικού, από τους οποίους ο βαθμός 1 χαρακτηρίζει το κρισιμότερο επίπεδο.
English: An allocated software assurance level shall be commensurate with the most severe effect that software malfunctions or failures may cause, as referred to in Section 4 of point 3.2.4 of Annex II to Regulation (EC) No 2096/2005.
Greek: Οι κατανεμημένοι βαθμοί εγγύησης του λογισμικού αντιστοιχούν στη δυσμενέστερη επίπτωση που ενδέχεται να προκληθεί από δυσλειτουργίες ή αστοχίες του λογισμικού, όπως αναφέρεται στο παράρτημα ΙΙ τμήμα 4 παράγραφος 3.2.4 του κανονισμού (ΕΚ) αριθ. το 2096/2005.
English: This shall, in particular, take into account the risks associated with software malfunctions or failures and the architectural and/or procedural defences identified.
Greek: Εν προκειμένω, συνεκτιμώνται ιδίως οι κίνδυνοι που συνδέονται με δυσλειτουργίες ή αστοχίες του λογισμικού και με τη δομική ή και διαδικαστική άμυνα που έχει προσδιορισθεί.
English: EATMN software components that cannot be shown to be independent of one another shall be allocated the software assurance level of the most critical of the dependent components.
Greek: Στα συστατικά στοιχεία του λογισμικού EATMN, των οποίων δεν μπορεί να αποδειχθεί η μεταξύ τους ανεξαρτησία, απονέμεται ο βαθμός εγγύησης λογισμικού του πλέον κρίσιμου από τα εξαρτώμενα συστατικά στοιχεία.
English: Part A: Requirements applying to the software safety requirements validity assurance referred to in Article 4(3)(a)
Greek: Μέρος Α: Απαιτήσεις για την εγγύηση της ισχύος των απαιτήσεων ασφάλειας του λογισμικού που αναφέρεται στο άρθρο 4 παράγραφος 3 στοιχείο α)
English: 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.
Greek: Οι απαιτήσεις ασφάλειας λογισμικού προδιαγράφουν τη λειτουργική συμπεριφορά, σε ονομαστικό και υποβαθμισμένο τρόπο, του λογισμικού EATMN, τις επιδόσεις απόκρισης, τη χωρητικότητα, την ακρίβεια, τη χρήση των πόρων λογισμικού στο υλισμικό στόχου, την ανθεκτικότητα σε μη κανονικές συνθήκες λειτουργίας και την ανοχή υπερφόρτωσης ανάλογα με την περίπτωση.
English: Software safety requirements shall be complete and correct, and compliant with the system safety requirements.
Greek: Οι απαιτήσεις ασφάλειας του λογισμικού είναι πλήρεις και ορθές, και είναι επίσης σύμφωνες με τις απαιτήσεις ασφάλειας του συστήματος.
English: Part B: Requirements applying to the software verification assurance referred to in Article 4(3)(b)
Greek: Μέρος Β: Απαιτήσεις για την εγγύηση επαλήθευσης του λογισμικού που αναφέρεται στο άρθρο 4 παράγραφος 3 στοιχείο β)
English: The functional behaviour of the EATMN software, timing performances, capacity, accuracy, software resource usage on the target hardware, robustness to abnormal operating conditions and overload tolerance, shall comply with the software requirements.
Greek: Η λειτουργική συμπεριφορά του λογισμικού EATMN, οι επιδόσεις απόκρισης, η χωρητικότητα, η ακρίβεια, η χρήση των πόρων του λογισμικού στο υλισμικό στόχου, η ανθεκτικότητα σε μη κανονικές συνθήκες λειτουργίας και η ανοχή υπερφόρτωσης είναι σύμφωνες με τις απαιτήσεις του λογισμικού.
English: The EATMN software shall be adequately verified by analysis and/or testing and/or equivalent means, as agreed with the national supervisory authority.
Greek: Το λογισμικό EATMN ελέγχεται κατάλληλα με ανάλυση ή/και δοκιμή ή/και ισοδύναμα μέσα, όπως συμφωνείται με την εθνική εποπτική αρχή.
English: The verification of the EATMN software shall be correct and complete.
Greek: Η επαλήθευση του λογισμικού EATMN είναι ορθή και πλήρης.
English: Part C: Requirements applying to the software configuration management assurances referred to in Article 4(3)(c)
Greek: Μέρος Γ: Απαιτήσεις για την εγγύηση της διαχείρισης της διάρθρωσης του λογισμικού που αναφέρεται στο άρθρο 4 παράγραφος 3 στοιχείο γ)
English: Configuration identification, traceability and status accounting shall exist such that the software life cycle data can be shown to be under configuration control throughout the EATMN software life cycle.
Greek: Προβλέπονται ταυτοποίηση της διάρθρωσης, ιχνηλασιμότητα και καταγραφή της κατάστασης ώστε να είναι δυνατόν να αποδειχθεί ότι τα δεδομένα του κύκλου ζωής του λογισμικού είναι υπό τον έλεγχο διάρθρωσης καθ’ όλο τον κύκλο ζωής του λογισμικού EATMN.
English: Problem reporting, tracking and corrective actions shall exist such that safety related problems associated with the software can be shown to have been mitigated.
Greek: Προβλέπονται αναφορά προβλημάτων, ανίχνευση και διορθωτικά μέτρα ώστε να είναι δυνατόν να αποδειχθεί ότι έχουν μετριασθεί προβλήματα ασφάλειας που αφορούν το λογισμικό.
English: Retrieval and release procedures shall exist such that the software life cycle data can be regenerated and delivered throughout the EATMN software life cycle.
Greek: Προβλέπονται διαδικασίες ανάκτησης και ελεύθερης διάθεσης, έτσι ώστε τα δεδομένα κύκλου ζωής του λογισμικού είναι δυνατόν να αναπαραχθούν και να διανέμονται καθ’ όλο τον κύκλο ζωής λογισμικού του EATMN.
English: Part D: Requirements applying to the software safety requirements traceability assurances referred to in Article 4(3)(d)
Greek: Μέρος Δ: Απαιτήσεις για την εγγύηση ιχνηλασιμότητας των απαιτήσεων ασφάλειας του λογισμικού που αναφέρεται στο άρθρο 4 παράγραφος 3 στοιχείο δ)
English: Each software safety requirement shall be traced to the same level of design at which its satisfaction is demonstrated.
Greek: Η ιχνηλασιμότητα κάθε απαίτησης εγγύησης λογισμικού ανάγεται στον ίδιο βαθμό, τον οποίο οφείλει να πληροί.
English: Each software safety requirement, at each level in the design at which its satisfaction is demonstrated, shall be traced to a system safety requirement.
Greek: Η ιχνηλασιμότητα κάθε απαίτησης εγγύησης λογισμικού, σε κάθε βαθμό σχεδιασμού, τον οποίο οφείλει να πληροί, ανάγεται σε απαίτηση εγγύησης του συστήματος.