DO-178B Standard Guide: Software Verification Tools

Πίνακας περιεχομένων

DO-178B Standard Guide: Software Verification Tools

Εισαγωγή

Η ασφάλεια είναι υψίστης σημασίας όταν πρόκειται για το σχεδιασμό λογισμικού για την αεροδιαστημική βιομηχανία, και καμία κατευθυντήρια γραμμή ασφάλειας δεν ήταν τόσο επιδραστική όσο η DO-178B, γνωστή και ως Λογισμικό Θεμάτων στην Πιστοποίηση Αερομεταφερόμενων Συστημάτων και Εξοπλισμού. Σε αυτήν την ανάρτηση ιστολογίου, θα συζητήσουμε τι είναι το DO-178B, πώς να συμμορφωθείτε με αυτό και τα διάφορα εργαλεία και πιστοποιήσεις που είναι διαθέσιμα για να σας βοηθήσουν να το κάνετε.

Τι είναι το DO-178B;

Δημοσιεύθηκε το 1992 από την Radio Technical Commission for Aeronautics (RTCA) και αναπτύχθηκε από κοινού με την EUROCAE, τον Ευρωπαϊκό Οργανισμό Εξοπλισμού Πολιτικής Αεροπορίας, το DO-178B είναι μια διεθνής οδηγία που ασχολείται με την ασφάλεια του κρίσιμου για την αποστολή λογισμικού που χρησιμοποιείται σε αερομεταφερόμενα συστήματα και εξοπλισμό. Ακόμα κι αν είναι απλώς μια κατευθυντήρια γραμμή και όχι μια πολιτική, το DO-178B θεωρείται ως πρότυπο για την ανάπτυξη λογισμικού αεροηλεκτρονικής και ακόμη και η FAA το χρησιμοποιεί για καθοδήγηση όταν καθορίζει εάν ένα κομμάτι λογισμικού θα αποδίδει αξιόπιστα σε ένα αερομεταφερόμενο περιβάλλον.

Παρά το ότι έχει αναπτυχθεί ειδικά για να καλύψει τις μοναδικές ανάγκες της αεροδιαστημικής βιομηχανίας, το DO-178B έχει δει χρήση και σε άλλους κλάδους, συχνά σε συνδυασμό με το DO-254, επίσης γνωστό ως Design Assurance Guidance for Airborne Electronic Hardware, το οποίο ασχολείται με την ανάπτυξη αερομεταφερόμενου ηλεκτρονικού υλικού. Ακριβώς όπως το DO-178B, το DO-254 δημοσιεύεται από την RTCA, μια εθελοντική οργάνωση των Ηνωμένων Πολιτειών της οποίας η αποστολή είναι να αναπτύξει τεχνική καθοδήγηση για χρήση από κυβερνητικές ρυθμιστικές αρχές και από τη βιομηχανία.

Τι διαφορά μεταξύ DO-178B και DO-178C;

Τα DO-178B και DO-178C είναι και τα δύο πρότυπα που αναπτύχθηκαν από την Radio Technical Commission for Aeronautics (RTCA) για λογισμικό που χρησιμοποιείται σε αερομεταφερόμενα συστήματα. Αυτά τα πρότυπα παρέχουν κατευθυντήριες γραμμές και απαιτήσεις για την ανάπτυξη και την πιστοποίηση λογισμικού για χρήση σε συστήματα αεροσκαφών. Η κύρια διαφορά μεταξύ DO-178B και DO-178C έγκειται στο εύρος, τις ενημερώσεις και τις βελτιώσεις τους.

Το DO-178B, επίσης γνωστό ως «Λογισμικά Θεμάτων στην Πιστοποίηση Αερομεταφερόμενων Συστημάτων και Εξοπλισμού», δημοσιεύτηκε το 1992 και έγινε το de facto πρότυπο για την ανάπτυξη λογισμικού στην αεροδιαστημική βιομηχανία. Καθόρισε ένα σύνολο στόχων και δραστηριοτήτων για να διασφαλίσει ότι το λογισμικό που χρησιμοποιείται στα συστήματα αεροσκαφών είναι αξιόπιστο και ασφαλές. Το DO-178B είναι οργανωμένο σε έξι επίπεδα λογισμικού, που κυμαίνονται από το Επίπεδο Α (το πιο κρίσιμο) έως το επίπεδο Ε (το λιγότερο κρίσιμο), με βάση τον πιθανό αντίκτυπο μιας αποτυχίας λογισμικού στο αεροσκάφος και τους επιβαίνοντες του. Παρέχει μια συστηματική διαδικασία για την ανάπτυξη λογισμικού, την επαλήθευση και την επικύρωση, συμπεριλαμβανομένων απαιτήσεων, σχεδίασης, κωδικοποίησης και δοκιμών.

Το DO-178C, γνωστό και ως "Λογισμικά στην Πιστοποίηση Αερομεταφερόμενων Συστημάτων και Εξοπλισμού", είναι η ενημερωμένη έκδοση του DO-178B. Δημοσιεύτηκε το 2011 και εισήγαγε αρκετές σημαντικές αλλαγές και βελτιώσεις στο πρότυπο. Το DO-178C αντικατοπτρίζει τις εξελίξεις στις πρακτικές, τις τεχνολογίες και τα εργαλεία ανάπτυξης λογισμικού που έχουν σημειωθεί από την κυκλοφορία του DO-178B. Οι πρωταρχικοί στόχοι του DO-178C ήταν να βελτιώσει τη συνέπεια και τη σαφήνεια του προτύπου, να βελτιώσει τη χρηστικότητά του και να αντιμετωπίσει τις προκλήσεις που σχετίζονται με τις σύγχρονες τεχνικές ανάπτυξης λογισμικού.

Μία από τις αξιοσημείωτες αλλαγές στο DO-178C είναι η προσθήκη ενός νέου μοντέλου κύκλου ζωής λογισμικού που ονομάζεται «Ανάπτυξη και επαλήθευση βάσει μοντέλου» (MBDV). Αυτό το μοντέλο επιτρέπει τη χρήση τεχνικών σχεδιασμού και επαλήθευσης βάσει μοντέλου, οι οποίες μπορούν να βελτιώσουν την αποτελεσματικότητα και την ποιότητα της ανάπτυξης λογισμικού. Το DO-178C παρέχει επίσης σαφέστερη καθοδήγηση σχετικά με τη χρήση επίσημων μεθόδων, αντικειμενοστρεφούς τεχνολογίας και την ενσωμάτωση εμπορικού λογισμικού off-the-shelf (COTS).

Το DO-178C διατηρεί τα ίδια επίπεδα λογισμικού με το DO-178B και συνεχίζει να τονίζει τη σημασία της ανάπτυξης βάσει απαιτήσεων, των αυστηρών δοκιμών και της ιχνηλασιμότητας. Περιλαμβάνει επίσης ενημερωμένη καθοδήγηση για θέματα όπως δραστηριότητες επαλήθευσης, πιστοποίηση εργαλείου και χρήση μοντέλων λογισμικού και παραγόμενου κώδικα.

Συνοπτικά, το DO-178C είναι μια ενημερωμένη έκδοση του DO-178B που ενσωματώνει βελτιώσεις και αντιμετωπίζει τις εξελισσόμενες πρακτικές και τεχνολογίες ανάπτυξης λογισμικού. Παρέχει σαφέστερη καθοδήγηση, εισάγει νέα μοντέλα κύκλου ζωής και λαμβάνει υπόψη τις προόδους στη μηχανική λογισμικού από την κυκλοφορία του DO-178B.

Επισκόπηση του DO-178B

Το DO-178B περιγράφει πέντε συνθήκες αστοχίας, οι οποίες κατηγοριοποιούνται ανάλογα με την επίδρασή τους στους επιβάτες, το πλήρωμα και το αεροσκάφος. Τα αποτελέσματά τους χρησιμοποιούνται για τον προσδιορισμό του επιπέδου λογισμικού, γνωστό και ως Επίπεδο Διασφάλισης Σχεδίασης (DAL) ή Επίπεδο Διασφάλισης Ανάπτυξης Αντικειμένων (IDAL).  Το Επίπεδο Λογισμικού υποδεικνύει την ποσότητα της προσπάθειας που καταβάλλεται για την ανάπτυξη της συγκεκριμένης εφαρμογής λογισμικού.
  • Επίπεδο Α (Καταστροφικό) - Η αποτυχία εμποδίζει τη συνέχιση της ασφαλούς πτήσης επειδή μπορεί να προκαλέσει σύγκρουση απενεργοποιώντας μια κρίσιμη λειτουργία που απαιτείται για την ασφαλή πτήση και προσγείωση ενός αεροσκάφους.
  • Επίπεδο B (Επικίνδυνο) - Η αποτυχία έχει αρνητικές επιπτώσεις στους επιβάτες επειδή μειώνει την ικανότητα των χειριστών να χειρίζονται σωστά το αεροσκάφος. Μπορεί να εμφανιστούν σοβαροί ή θανατηφόροι τραυματισμοί.
  • Επίπεδο Γ (Major) - Η αποτυχία δεν έχει τόσο μεγάλο αντίκτυπο όσο μια Επικίνδυνη αποτυχία, αλλά εξακολουθεί να είναι πολύ σημαντική και αυξάνει σημαντικά το φόρτο εργασίας των χειριστών και μειώνει το περιθώριο ασφάλειας.
  • Επίπεδο Δ (Μικρό) - Η αποτυχία δεν έχει τόσο μεγάλο αντίκτυπο όσο μια μεγάλη αποτυχία, αλλά εξακολουθεί να είναι αισθητή και μπορεί να προκαλέσει ταλαιπωρία στους επιβάτες ή αλλαγή του σχεδίου πτήσης ρουτίνας.
  • Επίπεδο E (Χωρίς αποτέλεσμα) - Η αποτυχία δεν επηρεάζει καθόλου την ικανότητα λειτουργίας και επομένως δεν επηρεάζει την ασφάλεια των αεροσκαφών ή το φόρτο εργασίας των χειριστών.
Τα αξιόπιστα δεδομένα σχετικά με το κόστος που σχετίζεται με τη μετάβαση σε υψηλότερο επίπεδο είναι σπάνια, αλλά τα λίγα διαθέσιμα στοιχεία δείχνουν αύξηση του κόστους ανάπτυξης μεταξύ 75% και 150%. Η αύξηση προκαλείται σε μεγάλο βαθμό από τους αυξανόμενους στόχους που πρέπει να επιτευχθούν για κάθε επίπεδο κρίσης. Το DO-178B επιτρέπει μεγάλη ευελιξία όσον αφορά την ανάπτυξη λογισμικού λόγω του αντικειμενικού χαρακτήρα του, καθώς υπάρχουν πολλοί πιθανοί τρόποι για ένα πραγματικό έργο για να τους ικανοποιήσει. Μια γενική διαδικασία DO-178B χωρίζεται σε πέντε διαφορετικές διαδικασίες, με κάθε διαδικασία να έχει ένα σύνολο αναμενόμενων τεκμηριωμένων εξόδων:
  • Σχεδιασμός Λογισμικού - Αυτή είναι μια περιγραφή των διαδικασιών ανάπτυξης λογισμικού και του κύκλου ζωής του λογισμικού που θα χρησιμοποιηθεί για την ικανοποίηση των απαιτήσεων του DO-178B. Τα έγγραφα εξόδου περιλαμβάνουν ένα σχέδιο ανάπτυξης λογισμικού (SDP).
  • Ανάπτυξη - Αυτό είναι μια περιγραφή των διαδικασιών ανάπτυξης λογισμικού και του κύκλου ζωής του λογισμικού που χρησιμοποιείται για την ικανοποίηση των στόχων DO-178C. ο Τα έγγραφα εξόδου περιλαμβάνουν δεδομένα απαιτήσεων λογισμικού (SRD), περιγραφή σχεδίασης λογισμικού (SDD), πηγαίο κώδικα και κώδικα εκτελέσιμου αντικειμένου.
  • Επαλήθευση - Αυτή είναι μια περιγραφή των διαδικασιών επαλήθευσης (Επισκοπήσεις, αναλύσεις και δοκιμές) που χρησιμοποιούνται για την ικανοποίηση των στόχων του DO-178C. ο Τα έγγραφα εξόδου περιλαμβάνουν περιπτώσεις και διαδικασίες επαλήθευσης λογισμικού (SVCP) και αποτελέσματα επαλήθευσης λογισμικού (SVR) με την εξέταση όλων των απαιτήσεων, σχεδίασης και κώδικα.
  • Διαχείριση Διαμόρφωση - Αυτό είναι μια περιγραφή των μεθόδων και του περιβάλλοντος που θα χρησιμοποιηθούν για τη διαμόρφωση όλων των δεδομένων σχεδιασμού και των αποδεικτικών στοιχείων συμμόρφωσης που απαιτούνται για την επίτευξη της πιστοποίησης DO-178C. Τα έγγραφα εξόδου περιλαμβάνουν τον δείκτη διαμόρφωσης λογισμικού (SCI) και τον δείκτη διαμόρφωσης περιβάλλοντος κύκλου ζωής λογισμικού (SECI).
  • Διασφάλιση Ποιότητας - Αυτή είναι μια περιγραφή των μεθόδων και των σχετικών αρχείων που θα χρησιμοποιηθούν για να διασφαλιστεί ότι οι στόχοι διασφάλισης ποιότητας DO-178C ικανοποιούνται. Τα έγγραφα εξόδου περιλαμβάνουν αρχεία διασφάλισης ποιότητας λογισμικού (SQAR), αναθεώρηση συμμόρφωσης λογισμικού (SCR) και περίληψη επιτεύγματος λογισμικού (SAS).

Σημασία της επαλήθευσης λογισμικού στο DO-178B

Η επαλήθευση λογισμικού είναι ένα κρίσιμο μέρος του προτύπου DO-178B, καθώς διασφαλίζει ότι το λογισμικό λειτουργεί όπως προβλέπεται και πληροί τις απαιτήσεις ασφάλειας και αξιοπιστίας. Ο πρωταρχικός στόχος της επαλήθευσης λογισμικού είναι ο εντοπισμός και η εξάλειψη ελαττωμάτων και σφαλμάτων λογισμικού πριν από την ανάπτυξη του λογισμικού σε ένα αεροσκάφος. Χρησιμοποιώντας εργαλεία επαλήθευσης λογισμικού, οι προγραμματιστές μπορούν να αυτοματοποιήσουν διάφορες δραστηριότητες επαλήθευσης και να βελτιώσουν την αποδοτικότητα και την αποτελεσματικότητα της διαδικασίας επαλήθευσης.

Ο ρόλος των εργαλείων επαλήθευσης λογισμικού στο DO-178B

Τα εργαλεία επαλήθευσης λογισμικού διαδραματίζουν κρίσιμο ρόλο στην επίτευξη των στόχων του προτύπου DO-178B. Αυτά τα εργαλεία βοηθούν τους προγραμματιστές να αυτοματοποιήσουν διάφορες δραστηριότητες επαλήθευσης λογισμικού, όπως στατική ανάλυση, δυναμική ανάλυση και δοκιμές βάσει απαιτήσεων. Ακολουθούν ορισμένοι βασικοί ρόλοι των εργαλείων επαλήθευσης λογισμικού στο DO-178B:

Εργαλεία Στατικής Ανάλυσης 

Τα εργαλεία στατικής ανάλυσης αναλύουν τον πηγαίο κώδικα του λογισμικού χωρίς να τον εκτελούν. Αυτά τα εργαλεία εντοπίζουν πιθανά ελαττώματα και παραβιάσεις των προτύπων κωδικοποίησης εξετάζοντας τη δομή του κώδικα, τη σύνταξη και τη ροή δεδομένων. Τα εργαλεία στατικής ανάλυσης μπορούν να εντοπίσουν ζητήματα όπως μη αρχικοποιημένες μεταβλητές, υπερχειλίσεις buffer και μη προσβάσιμο κώδικα. Χρησιμοποιώντας εργαλεία στατικής ανάλυσης, οι προγραμματιστές μπορούν να εντοπίσουν σφάλματα νωρίς στη διαδικασία ανάπτυξης, μειώνοντας την πιθανότητα αστοχιών λογισμικού κατά τη λειτουργία.

Εργαλεία Δυναμικής Ανάλυσης 

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

Εργαλεία δοκιμών με βάση τις απαιτήσεις 

Τα εργαλεία δοκιμών που βασίζονται σε απαιτήσεις διευκολύνουν την επαλήθευση του λογισμικού σε σχέση με τις καθορισμένες απαιτήσεις. Αυτά τα εργαλεία αυτοματοποιούν τη δημιουργία δοκιμαστικών περιπτώσεων με βάση τις απαιτήσεις του συστήματος και βοηθούν να διασφαλιστεί ότι όλες οι απαιτήσεις ελέγχονται επαρκώς. Τα εργαλεία δοκιμών που βασίζονται σε απαιτήσεις μπορούν να παρακολουθούν την κάλυψη των δοκιμών, διασφαλίζοντας ότι το λογισμικό έχει ελεγχθεί διεξοδικά σε σχέση με τις καθορισμένες απαιτήσεις. Βοηθούν στην επίτευξη ιχνηλασιμότητας μεταξύ απαιτήσεων, σχεδιασμού και δοκιμών, κάτι που αποτελεί βασική απαίτηση του DO-178B.

Θέματα για την επιλογή εργαλείων επαλήθευσης λογισμικού

Κατά την επιλογή εργαλείων επαλήθευσης λογισμικού για τη συμμόρφωση με το πρότυπο DO-178B, θα πρέπει να ληφθούν υπόψη αρκετές σκέψεις. Ακολουθούν ορισμένοι σημαντικοί παράγοντες που πρέπει να λάβετε υπόψη:

Προσόντα εργαλείου 

Σύμφωνα με το DO-178B, τα εργαλεία επαλήθευσης λογισμικού που χρησιμοποιούνται στη διαδικασία ανάπτυξης θα πρέπει να είναι κατάλληλα. Η πιστοποίηση του εργαλείου περιλαμβάνει την απόδειξη ότι τα εργαλεία είναι αξιόπιστα, αποτελεσματικά και δεν εισάγουν πρόσθετα σφάλματα. Η διαδικασία πιστοποίησης περιλαμβάνει τυπικά την τεκμηρίωση των χαρακτηριστικών, των περιορισμών και των υποθέσεων του εργαλείου, καθώς και την παροχή αποδεικτικών στοιχείων επικύρωσης και επαλήθευσης εργαλείου.

Εργαλείο ενσωμάτωσης 

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

Τεκμηρίωση και υποστήριξη εργαλείου 

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

Συμμόρφωση με το DO-178B

Για να διασφαλιστεί η συμμόρφωση με το πρότυπο DO-178B, θα πρέπει να χρησιμοποιούνται εργαλεία επαλήθευσης λογισμικού σύμφωνα με τις οδηγίες που καθορίζονται στο πρότυπο. Η διαδικασία επιλογής, πιστοποίησης και χρήσης των εργαλείων θα πρέπει να είναι καλά τεκμηριωμένη και να διατηρούνται αποδεικτικά στοιχεία πιστοποίησης και επικύρωσης του εργαλείου. Επιπλέον, τα εργαλεία θα πρέπει να εφαρμόζονται με συνέπεια σε όλο τον κύκλο ζωής ανάπτυξης λογισμικού και να υποβάλλονται σε αυστηρές δοκιμές και αναθεώρηση.

Πώς να υποστηρίξετε το DO-178B;

Υπάρχουν πολλά εργαλεία που μπορούν να βοηθήσουν στις διαδικασίες DO-178B, συμπεριλαμβανομένων εργαλείων ανάπτυξης, εργαλείων επαλήθευσης και εργαλείων διαχείρισης απαιτήσεων.

Η τελευταία κατηγορία εργαλείων είναι ιδιαίτερα σημαντική, διότι θα πρέπει να είναι δυνατή η επιστροφή στην προέλευση κάθε απαίτησης κατά τη διάρκεια των διεργασιών DO-178B και, επομένως, κάθε αλλαγή στην απαίτηση πρέπει να τεκμηριώνεται προκειμένου να επιτευχθεί η ιχνηλασιμότητα. Στην πραγματικότητα, η χρήση της απαίτησης μετά την ανάπτυξη των εφαρμοζόμενων δυνατοτήτων θα πρέπει να είναι επίσης ανιχνεύσιμη.

Η ανάπτυξη λογισμικού συμβατού με το DO-178B για αερομεταφερόμενα συστήματα χωρίς ένα εργαλείο λογισμικού ικανό να παρέχει βαθιά και αυστηρή ιχνηλασιμότητα των τεχνουργημάτων του έργου σε όλα τα στάδια της ανάπτυξης θα ήταν αδύνατη.

Απαιτείται τεκμηρίωση για το DO-178B

Υπάρχουν πολλά έγγραφα που απαιτούνται για τη συμμόρφωση με το DO-178B. Περιλαμβάνουν:

  • Σχέδιο για πτυχές λογισμικού πιστοποίησης (PSAC)
  • Σχέδιο Διασφάλισης Ποιότητας Λογισμικού
  • Σχέδιο διαχείρισης διαμόρφωσης λογισμικού
  • Διαδικασίες ελέγχου διαμόρφωσης
  • Πρότυπο κώδικα λογισμικού
  • Πρότυπο σχεδίασης λογισμικού
  • Πρότυπο Απαιτήσεις Λογισμικού
  • Σχέδιο ανάπτυξης λογισμικού
  • Σχέδιο επαλήθευσης λογισμικού
  • Πηγή, Κώδικας εκτελέσιμου αντικειμένου, SCI και SECI
  • Έγγραφο σχεδίασης λογισμικού
  • Έγγραφο Απαιτήσεων Λογισμικού
  • Ιχνηλασιμότητα
  • Δοκιμαστικές περιπτώσεις και διαδικασίες
  • Αποτελέσματα επαλήθευσης
  • Αρχεία Διασφάλισης Ποιότητας
  • Εγγραφές διαχείρισης διαμόρφωσης
  • Αναφορές προβλημάτων
  • Σύνοψη επιτευγμάτων λογισμικού

Υποστήριξη του DO-178B με ένα εργαλείο διαχείρισης απαιτήσεων

Εργαλεία διαχείρισης απαιτήσεων όπως π.χ Το Visure Requirements μπορεί να υποστηρίξει το DO-178B παρέχοντας ιχνηλασιμότητα από άκρο σε άκρο μεταξύ όλων των απαιτήσεων, επαλήθευσης, αναφοράς προβλημάτων, λιστών ελέγχου και τεχνουργημάτων έργων. Προσφέρει ένα συνεκτικό περιβάλλον που λειτουργεί ως κεντρικό και ανοιχτό αποθετήριο για όλα τα τεχνουργήματα, συμπεριλαμβανομένων των στόχων DO-178B.

Με τις Απαιτήσεις Visure, είναι εύκολο να τυποποιηθούν και να επιβληθούν οι καθορισμένες διαδικασίες σε ολόκληρο τον οργανισμό ώστε να συμμορφώνονται με την οδηγία DO-178B και να το κάνουν με προσιτό, συνεργατικό και οικονομικά αποδοτικό τρόπο.

Χάρη στην ευέλικτη πλατφόρμα ενσωμάτωσης, το Visure Requirements μπορεί να ενσωματωθεί με εργαλεία τρίτων, εμπορικά ή ιδιόκτητα για την επέκταση της αλλαγής ανάλυση επιπτώσεων διαθέτει χαρακτηριστικά σε στοιχεία εκτός του πεδίου εφαρμογής του, προκειμένου να υποστηρίξει περαιτέρω το DO-178B.

Άλλες δυνατότητες διαχείρισης απαιτήσεων του Visure Requirements περιλαμβάνουν φίλτρα, προβολές καθορισμένες από το χρήστη, διεπαφή χρήστη βάσει ρόλου, γραφικά καθορισμένη διαδικασία απαιτήσεων και Ιχνηλασιμότητα, ενσωματωμένες ροές εργασίας, απεριόριστος αριθμός χαρακτηριστικών που ορίζονται από το χρήστη, διαχείριση και σύγκριση εκδόσεων και επαναφορά σε παλαιότερες εκδόσεις, μεταξύ άλλων.

Συμπέρασμα

Το DO-178B είναι ένα πρότυπο λογισμικού που διασφαλίζει ότι το λογισμικό κρίσιμο για την ασφάλεια σχεδιάζεται, αναπτύσσεται και δοκιμάζεται με συνεπή και επαναλαμβανόμενο τρόπο. Το πρότυπο υπάρχει από τις αρχές της δεκαετίας του 1990 και έχει ενημερωθεί με την πάροδο του χρόνου για να ληφθούν υπόψη οι αλλαγές στην τεχνολογία. Πολλοί εμπορικοί αεροπορικοί οργανισμοί απαιτούν από τους προμηθευτές τους να είναι πιστοποιημένοι για το DO-178B ως μέρος της συναλλακτικής δραστηριότητας μαζί τους. Για να επιτύχουν την πιστοποίηση, οι οργανισμοί πρέπει να περάσουν από μια αυστηρή διαδικασία που περιλαμβάνει την τεκμηρίωση όλων των πτυχών του κύκλου ζωής ανάπτυξης λογισμικού. Απαιτήσεις Visure Η πλατφόρμα ALM είναι ένα από τα λίγα εργαλεία διαχείρισης απαιτήσεων που έχει πιστοποιηθεί ότι υποστηρίζει το DO-178B στο Επίπεδο Α, το υψηλότερο επίπεδο πιστοποίησης. Αν ψάχνετε για μια ολοκληρωμένη λύση για τη διαχείριση των απαιτήσεών σας και θέλετε να διασφαλίσετε τη συμμόρφωση με αυτό το σημαντικό πρότυπο, δοκιμάστε το Visure Requirements σήμερα. Δοκιμάστε το Δωρεάν δοκιμαστική ημέρα 30 Τώρα!

Μην ξεχάσετε να μοιραστείτε αυτήν την ανάρτηση!

κεφάλαια

Φτάστε στην αγορά πιο γρήγορα με το Visure

Συνέργεια μεταξύ μιας προσέγγισης μηχανικής συστημάτων βασισμένης σε μοντέλα και διαδικασίας διαχείρισης απαιτήσεων

Δεκέμβριος 17th, 2024

11 π.μ. EST | 5 μ.μ. CEST | 8 π.μ. PST

Φερνάντο Βαλέρα

Φερνάντο Βαλέρα

CTO, Visure Solutions

Γεφύρωση του χάσματος από τις απαιτήσεις στο σχεδιασμό

Μάθετε πώς να γεφυρώσετε το χάσμα μεταξύ της Διαδικασίας Διαχείρισης MBSE και Απαιτήσεων.