Διασφάλιση λογισμικού αεροσκαφών (DO-178C) — πιστοποίηση

Το DO-178C (ED-12C στην Ευρώπη) είναι η αποδεκτή καθοδήγηση για τη διασφάλιση πιστοποίησης λογισμικού σε αερομεταφερόμενα συστήματα και εξοπλισμό. Οι αρχές αεροπορίας (FAA, EASA) αξιολογούν τη διασφάλιση του λογισμικού σε σχέση με αυτό το έγγραφο κατά την πιστοποίηση τύπου. Στο επίκεντρό του βρίσκεται το επίπεδο λογισμικού (DAL — Επίπεδο διασφάλισης σχεδίασης): πέντε επίπεδα από το Α έως το Ε, που ορίζονται από την επίδραση που θα είχε μια αστοχία λογισμικού στην ασφάλεια των πτήσεων, η οποία αλλάζει άμεσα τον αριθμό των στόχων που πρέπει να ικανοποιηθούν.

• Προγραμματιστές λογισμικού Avionics
• Κατασκευαστές συστημάτων ελέγχου πτήσης, ελέγχου κινητήρα και πλοήγησης
• Προγραμματιστές συστημάτων καμπίνας και λογισμικού ψυχαγωγίας κατά την πτήση
• Προγραμματιστές λογισμικού συστήματος μη επανδρωμένων αεροσκαφών
• Εταιρείες που ενεργούν ως προμηθευτές λογισμικού αεροδιαστημικής

Το έγγραφο δεν είναι άμεσα νομικό κείμενο. αναγνωρίζεται από τις αεροπορικές αρχές ως αποδεκτό μέσο συμμόρφωσης. Είναι πρακτικά υποχρεωτικό για λογισμικό εντός του πεδίου εφαρμογής της πιστοποίησης αξιοπλοΐας. Η έξοδος δεν είναι «πιστοποιητικό DO-178C»: το λογισμικό αξιολογείται ως μέρος της πιστοποίησης του συστήματος στο οποίο ανήκει και αποδεικτικά στοιχεία συμμόρφωσης παρουσιάζονται στην αρχή πιστοποίησης.

• Εξαγωγή του επιπέδου λογισμικού (DAL A-E) από την αξιολόγηση ασφάλειας του συστήματος
• Η διαδικασία σχεδιασμού: το PSAC, το σχέδιο ανάπτυξης λογισμικού, το σχέδιο επαλήθευσης, το σχέδιο διαχείρισης διαμόρφωσης, το σχέδιο διασφάλισης ποιότητας
• Διαδικασίες ανάπτυξης λογισμικού: ορισμός απαιτήσεων, σχεδιασμός, κωδικοποίηση, ενοποίηση
• Η διαδικασία επαλήθευσης: δοκιμές βάσει απαιτήσεων, δοκιμές χαμηλού επιπέδου, δοκιμές ολοκλήρωσης
• Ανάλυση δομικής κάλυψης: κάλυψη δηλώσεων για DAL C, κάλυψη απόφασης για DAL B, MC/DC για DAL A
• Ιχνηλασιμότητα: από τις απαιτήσεις συστήματος έως τις περιπτώσεις κώδικα και δοκιμών
• Διαχείριση διαμόρφωσης και αναφορά προβλημάτων
• Διασφάλιση ποιότητας λογισμικού και έλεγχος συμμόρφωσης (Έλεγχοι SOI)
• Πιστοποίηση εργαλείου ανάπτυξης λογισμικού (DO-330)
• Τεχνολογίες συμπληρωμάτων: ανάπτυξη βάσει μοντέλου (DO-331), αντικειμενοστραφή τεχνολογία (DO-332), επίσημες μέθοδοι (DO-333)
• Σύνδεσμος πιστοποίησης και σύνοψη επιτεύγματος λογισμικού (SAS)

1. 1Εφαρμογή και Περιγραφή ΠροϊόντοςΚαθορίζεται η οικογένεια προϊόντων, η λίστα μοντέλων, οι τεχνικές προδιαγραφές και η αγορά-στόχος. Το ισχύον πρότυπο και η διαδρομή πιστοποίησης καθίστανται σαφείς σε αυτό το βήμα.
2. 2Ανασκόπηση τεχνικού φακέλουΕξετάζονται τα έγγραφα σχεδιασμού, ο λογαριασμός υλικών, τα πιστοποιητικά κρίσιμων συστατικών και οι οδηγίες χρήσης.
3. 3Δοκιμή προϊόντοςΠραγματοποιούνται οι δοκιμές που απαιτεί το σχετικό πρότυπο. Η έκθεση δοκιμής είναι η θεμελιώδης βάση για την απόφαση πιστοποίησης.
4. 4Έλεγχος εργοστασίουΕάν το απαιτεί το σύστημα, η συνέχεια της κατασκευής και ο έλεγχος της παραγωγής στο εργοστάσιο (FPC) επαληθεύονται επί τόπου.
5. 5Έκδοση Πιστοποιητικού και ΣήμανσηΜόλις επαληθευτεί η συμμόρφωση, εκδίδεται το πιστοποιητικό. εφαρμόζονται οι κανόνες σήμανσης για το προϊόν και τη συσκευασία.
6. 6Επακόλουθοι έλεγχοιΑνάλογα με το σχέδιο, πραγματοποιούνται περιοδικοί έλεγχοι στο εργοστάσιο ή/και δοκιμές παρακολούθησης σε δείγματα που λαμβάνονται από την αγορά.

Η περίοδος ισχύος ποικίλλει ανάλογα με το σύστημα: ορισμένα πιστοποιητικά προϊόντων είναι αόριστα και βασίζονται σε περιοδικούς ελέγχους στο εργοστάσιο, ενώ ορισμένα συστήματα (π.χ. σήματα αγοράς χώρας) απαιτούν ετήσια ανανέωση ή ανανέωση ανά αποστολή. Κάθε αλλαγή σχεδιασμού στο προϊόν απαιτεί έλεγχο του πιστοποιητικού.

• Η λίστα με τα μοντέλα και τις παραλλαγές προϊόντων
• Τεχνικά σχέδια, διαγράμματα και λογαριασμός υλικών
• Πιστοποιητικά για κρίσιμα εξαρτήματα
• Οδηγίες χρήσης και δείγμα ετικέτας
• Υπάρχουσες εκθέσεις δοκιμών, εάν υπάρχουν
• Στοιχεία τοποθεσίας παραγωγής
• PSAC — Σχέδιο για πτυχές λογισμικού της πιστοποίησης
• Τα σχέδια ανάπτυξης λογισμικού, επαλήθευσης, διαχείρισης παραμέτρων και διασφάλισης ποιότητας
• Απαιτήσεις λογισμικού και περιγραφές σχεδιασμού
• Πίνακες ιχνηλασιμότητας
• Δοκιμαστικές περιπτώσεις, διαδικασίες και αποτελέσματα
• Εκθέσεις ανάλυσης δομικής κάλυψης
• Αναφορές προβλημάτων και το ευρετήριο διαμόρφωσης
• SAS — Σύνοψη επιτεύγματος λογισμικού

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

• Ο αριθμός των μοντέλων και των παραλλαγών στην οικογένεια προϊόντων
• Το εύρος δοκιμής που απαιτεί το ισχύον πρότυπο
• Εάν απαιτείται έλεγχος εργοστασίου
• Ο αριθμός των αγορών-στόχων και εάν η καθεμία απαιτεί ξεχωριστές δοκιμές
• Εάν οι υπάρχουσες αναφορές δοκιμών μπορούν να γίνουν αποδεκτές

Η πιστοποίηση προϊόντος πραγματοποιείται σύμφωνα με το ISO/IEC 17065. Οι δοκιμές που αποτελούν τη βάση για την πιστοποίηση πραγματοποιούνται σε εργαστήρια με διαπίστευση ISO/IEC 17025. Τα δύο πεδία είναι χωριστά. Η αναγνώριση μεταξύ των φορέων διαπίστευσης παρέχεται μέσω συμφωνιών IAF και ILAC.

Το πεδίο εφαρμογής στο οποίο μπορεί να προσφερθεί αυτό το σχήμα ποικίλλει ανάλογα με το προϊόν και τη δραστηριότητά σας· επιβεβαιώνεται γραπτώς στο στάδιο της προσφοράς.

• NADCAPΔιαπίστευση ειδικής διαδικασίας
• DO-254Aerospace Hardware Assurance
• DO-160Προσόντα Περιβαλλοντικών Συνθηκών
• AS9100Διαχείριση Ποιότητας Αεροδιαστημικής
• AS9110Διαχείριση Ποιότητας Συντήρησης Αεροδιαστημικής
• AS9120Διαχείριση Ποιότητας Αεροδιαστημικής Διανομής
• EN 9100Διαχείριση Ποιότητας Αεροδιαστημικής
• EN 9110Διαχείριση Ποιότητας Συντήρησης Αεροδιαστημικής