Ασφάλεις Αποστολές

Ανεξάρτητη Επαλήθευση & Επικύρωση Λογισμικού (ISVV)

Προφίλ

Η EMTECH διασφαλίζει την ακεραιότητα και την ασφάλεια κρίσιμων συστημάτων λογισμικού πτήσης.

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

Η Βασική μας Δέσμευση

Αξιοπιστία & Ποιότητα Λογισμικού:Αμερόληπτη αξιολόγηση σύνθετων βάσεων πηγαίου κώδικα.
Μείωση Κινδύνου: Εντοπισμός κρίσιμων ελαττωμάτων πριν από την εκτόξευση.
Ουδετερότητα: Ανεξάρτητη προσέγγιση που εγγυάται αντικειμενικά αποτελέσματα.
Οικονομική Αποδοτικότητα: Ελαχιστοποίηση του κόστους μέσω του εντοπισμού σφαλμάτων νωρίς στον κύκλο ανάπτυξης.

Υπηρεσίες ISVV

Απαιτήσεις & Αρχιτεκτονική

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

Επαλήθευση Σχεδιασμού

Ανάλυση ιχνηλασιμότητας (traceability), διεπαφών και μοντέλων UML μέσω της πλατφόρμας MagicDraw.

Επαλήθευση Κώδικα

Στατική ανάλυση, έλεγχος συμμόρφωσης με διεθνή πρότυπα (π.χ. MISRA) και έλεγχος ακεραιότητας.

Εξειδικευμένες Δοκιμές

Ανάλυση δυσμενέστερων συνθηκών (worst-case), δοκιμές καταπόνησης (stress tests) για μέγιστη ευρωστία, καθώς και ανάλυση των μηχανισμών FDIR, (Ανίχνευση, Απομόνωση και Αποκατάσταση Σφαλμάτων)

Αυτοματοποιημένες Διαδικασίες

Επιτάχυνση των ελέγχων μέσω αυτοματοποιημένης εκτέλεσης δοκιμών, ελαχιστοποιώντας την παρέμβαση του χρήστη

Αποστολές ESA

Copernicus Polar Ice and Snow Topography Altimeter (CRISTAL). Κύριος ανάδοχος ISVV για τη διασφάλιση της υψηλής αξιοπιστίας του λογισμικού πτήσης.

JUpiter ICy moons Explorer (JUICE) Διεξαγωγή ISVV στο λογισμικό πτήσης των επιστημονικών οργάνων (DPU και RIME).

Land Surface Temperature Monitoring (LSTM) Συμμετοχή στην επαλήθευση και επικύρωση λογισμικού.

Προδιαγραφές και Πρότυπα

Ακολουθούμε τις πλέον αυστηρές προδιαγραφές του τομέα, εγγυώμενοι την απόλυτη συμόρφωση με τους διεθνείς κανονισμούς

Πλαίσια Αναφοράς: ESA ISVV Guide, ECSS-E-ST-40C (Τεχνολογία Λογισμικού) και ECSS-Q-ST-80C (Διασφάλιση Προϊόντος).
Πρότυπα Κώδικα: MISRA C/C++, BSSC.
Εργαλεία Επαλήθευσης: SonarQube, PolySpace, CppCheck, PC-Lint, Understand, CBMC, Frama-C και Clang.
Πλατφόρμες Επικύρωσης: EuroSim, SimTG και SIMULUS.

Καινοτομία

Ευέλικτη Διασφάλιση

Βελτιστοποίηση των διαδικασιών ελέγχου για την εξάλειψη των καθυστερήσεων, διατηρώντας ταυτόχρονα τα υψηλότερα πρότυπα ασφαλείας.

Σχεδιασμός Δοκιμών με ΤΝ

Αυτοματοποιημένη παραγωγή σεναρίων δοκιμών και αντιστοίχιση απαιτήσεων μέσω ιδιόκτητων εργαλείων AI.

Αξιοποίηση & Τυποποίηση

Μετατροπή εξειδικευμένων μοντέλων σε έτοιμα ψηφιακά assets, επιταχύνοντας δραστικά τον κύκλο ανάπτυξης.