Οι Προδιαγραφές DO-178B και DO-178C
Η προδιαγραφή για τις Σκέψεις Λογισμικού στα Εναέρια Συστήματα και Εξοπλισμό Πιστοποίησης, γνωστή ως RTCA DO-178B, είναι μια προδιαγραφή πιστοποίησης λογισμικού που χρησιμοποιείται για εναέρια συστήματα. Και όπως αναμενόταν, τέτοια συστήματα απαιτούν την ασφάλεια του λογισμικού. Απλά, το DO178B είναι ένας οδηγός που χρησιμοποιείται για αυτόν τον σκοπό. Οι προδιαγραφές δημοσιεύονται από τη Ραδιοτεχνική Επιτροπή για την Αεροναυτική (RTCA) με τη συνεργασία της Ευρωπαϊκής Οργάνωσης για τον Εξοπλισμό Πολιτικής Αεροπορίας (EUROCAE) ως DO-178B το 1992 και ως DO-178C το 2011. Είναι σχεδόν ταυτόσημες, παρόλο που η τελευταία είναι απλώς μια αναθεωρημένη έκδοση. Δεδομένου ότι οι προδιαγραφές είναι ταυτόσημες σε περιεχόμενο, θα αναφερθούν ως DO-178 από εδώ και πέρα σε αυτό το άρθρο. Οι προδιαγραφές είναι γνωστές ως DO-178B στις ΗΠΑ λόγω της RTCA και ED-12B στην Ευρώπη λόγω της EUROCAE. Και οι δύο οργανισμοί αποδέχονται τα πιστοποιητικά του άλλου.
Οι προδιαγραφές DO-178 παρέχουν υψηλότερη αξιοπιστία και σταθερότητα, επαναχρησιμοποίηση, χαμηλότερο κόστος κύκλου ζωής, χαμηλότερο κόστος συντήρησης και ταχύτερη συμβατότητα λογισμικού.
Σύμφωνα με τις οδηγίες DO-178, όλο το εναέριο λογισμικό πρέπει να ανατεθεί ένα Επίπεδο Εγγύησης Σχεδίασης (DAL) βάσει των συνεπειών μιας αποτυχίας του συστήματος. Το χαμηλότερο επίπεδο είναι το E, που σημαίνει “καμία επίδραση στην ασφάλεια” και το υψηλότερο είναι το A, που σημαίνει “καταστροφικό.” Οι προδιαγραφές ορίζουν μια ποικιλία στόχων διαδικασίας που διαφέρουν ανάλογα με το επίπεδο λογισμικού.
Προφανώς, τα υψηλότερα επίπεδα κρισιμότητας απαιτούν την εκπλήρωση περισσότερων στόχων. Ωστόσο, πρέπει να σημειωθεί ότι το DO-178, από μόνο του, δεν εγγυάται την ασφάλεια του συστήματος. Επιπλέον απαραίτητα καθήκοντα ασφαλείας του συστήματος πρέπει να ανατεθούν σε χαρακτηριστικά ασφαλείας στον σχεδιασμό και να εφαρμοστούν ως λειτουργικότητα προκειμένου να παρέχεται και να επιτυγχάνεται αντικειμενική απόδειξη της επίτευξης των επιθυμητών κριτηρίων ασφαλείας. Επίσης, αξίζει να αναφερθεί ότι το εκχωρημένο επίπεδο κρισιμότητας εξαρτάται από τον τύπο του αεροσκάφους.
Μετά τον καθορισμό του επιπέδου DAL η διαδικασία σχεδιασμού και η διαδικασία ανάπτυξης θα πρέπει να πραγματοποιηθούν αντίστοιχα. Και καθ’ όλη τη διάρκεια αυτών των διαδικασιών, μια διαδικασία διόρθωσης θα πρέπει να εκτελείται παράλληλα.
Ως μέρος της διαδικασίας σχεδιασμού τα ακόλουθα σχέδια πρέπει να παραχθούν ως μέρος αυτής της δραστηριότητας:
- Plan for Software Aspects of Certification (PSAC)
- Software Development Plan (SDP)
- Software Verification Plan (SVP)
- Software Configuration Management Plan (SCMP)
- Software Quality Assurance Plan (SQAP)
Επιπλέον, η διαδικασία ανάπτυξης περιλαμβάνει όλες τις δραστηριότητες που σχετίζονται με τον σχεδιασμό και την παραγωγή του λογισμικού DO-178 που ικανοποιεί τις απαιτήσεις συστήματος του έργου. Αυτό περιλαμβάνει τον καθορισμό υψηλού και χαμηλού επιπέδου απαιτήσεων λογισμικού, καθώς και τον σχεδιασμό και την υλοποίηση λογισμικού.
Τέλος, στο τέλος της διαδικασίας επαλήθευσης, οι βήματα επαλήθευσης που έχουν προγραμματιστεί στη διαδικασία σχεδιασμού θα πρέπει να διεξαχθούν ανάλογα. Ως αποτέλεσμα, η απαραίτητη απόδειξη θα πρέπει να παραχθεί και να παρουσιαστεί στις αρχές πιστοποίησης όπως η Federal Aviation Administration (FAA) και η Ευρωπαϊκή Υπηρεσία Ασφάλειας Αεροπορίας (EASA). Αυτοί οι οργανισμοί εποπτεύουν όλους τους τομείς της πολιτικής αεροπορίας τόσο εντός της χώρας τους όσο και σε διεθνή ύδατα.
Mor Teknoloji
