Ενσωμάτωση και εφαρμογή του μοντέλου ελέγχου και της στατικής ανάλυσης στην ανάπτυξη προγραμμάτων για προγραμματιζόμενους λογικούς ελεγκτές
Τσιπλάκη Σπηλιοπούλου, Χριστίνα Λ.
Η βιομηχανία εξελίσσεται σε τέτοιο βαθμό όπου η ανθρώπινη παρέμβαση για τη λειτουργεία των συστημάτων, τείνει να εξαφανιστεί με το πέρασμα του χρόνου. Σαν αποτέλεσμα, έστω και το πιο μικρό λάθος σε ένα σύστημα ελέγχου μπορεί να αποβεί μοιραίο. Συνεπώς, η ανάγκη ανάπτυξης ισχυρών, ασφαλών και αξιόπιστων συστημάτων ελέγχου είναι επιτακτική για τους μηχανικούς ελέγχου. Προκειμένου να μπορούν να εγγυηθούν τα παραπάνω, τόσο το λογισμικό (software) όσο και το υλισμικό (hardware) πρέπει να αναλυθούν και να είναι βέβαιο ότι πληρούν τις απαραίτητες προϋποθέσεις. Η πιο ευρέως διαδεδομένη συσκευή ελέγχου στην βιομηχανία ονομάζεται προγραμματιζόμενος λογικός ελεγκτής (PLC). Τα PLC χρησιμοποιούνται σε όλο το κόσμο σε εκατομμύρια βιομηχανίες και συνεπώς η εγγύηση της ασφάλειας που παρέχει ένα τέτοιο σύστημα αποτελεί μια απαιτητική πρόκληση για τους μηχανικούς. Δοκιμές και τυπικές μέθοδοι χρησιμοποιούνται προκειμένου λοιπόν να ελεγχθεί η ορθότητα ενός PLC προγράμματος. Στόχος αυτής της πτυχιακής εργασίας είναι η βελτίωση της διασφάλισης των PLC προγραμμάτων και η μείωση των σφαλμάτων που περιέχονται στο λογισμικό τους με την ενσωμάτωση και την εφαρμογή στατικής ανάλυσης κώδικα και μίας τυπικής μεθόδου. Ταυτόχρονα, στόχος της πτυχιακής είναι μέσα από αυτό να εξαλειφθεί κάθε πολυπλοκότητα από την πλευρά του χρήστη. Τα πειράματα και οι μεθοδολογίες που χρησιμοποιήθηκαν σε αυτή την πτυχιακή έχουν εφαρμοστεί σε PLC προγράμματα που αναπτύχθηκαν στο CERN και χρησιμοποιούνται στα πειράματα που διεξάγονται καθημερινά.
.jpg){kind=logo}
