SeL4 ο πρώτος μαθηματικά αποδεδειγμένος σωστός πυρήνας

Γνωρίζετε τον microkernel; Ο Foundation συνεργάζεται με την Data61, ένα ψηφιακά εξειδικευμένο τμήμα του Εθνικού Οργανισμού Επιστημών της Αυστραλίας, του Οργανισμού Επιστημονικής και Βιομηχανικής Έρευνας της Κοινοπολιτείας (CSIRO), για να προωθήσει τον νέο πυρήνα του λειτουργικού συστήματος seL4. Όμως το seL4 δεν σχετίζεται με το Linux.

Ωστόσο, το SeL4 microkernel μπορεί θεωρητικά να χρησιμοποιηθεί ως βάση για το Linux και άλλα λειτουργικά συστήματα που σχετίζονται με το Unix.

SeL4

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

Αυτός ο πυρήνας είναι μέλος της οικογένειας L4 microkernel.

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

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

  Δείτε το νέο camera-smartphone Samsung Galaxy S4 Zoom

Ο Linux Foundation θα συμμετέχει στο νέο φορέα SeL4 Foundation.

“Θα υποστηρίζει το ίδρυμα και την κοινότητα του SeL4 παρέχοντας τεχνογνωσία και υπηρεσίες για την αύξηση της συμμετοχής της κοινότητας, των συντελεστών και όλων όσων υιοθετούν το σύστημα, βοηθώντας το περιβάλλον του λειτουργικού συστήματος να φθάσει σε ένα επόμενο επίπεδο”, δήλωσε ο Michael Dolan,

Τα ιδρυτικά μέλη συμπεριλαμβάνουν τους φορείς: Data61, UNSW Sydney, HENSOLDT Cyber ​​GmbH, Ghost Locomotion, Cog Systems και DornerWorks.

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

Σε μια δήλωση του, ο Carl L. Nerup, Διευθύνων Σύμβουλος της Cog Systems, δήλωσε:

“Το SeL4 έχει θέσει ένα νέο πρότυπο υψηλής αξιοπιστίας για ενσωματωμένες λύσεις στις συνδεδεμένες συσκευές. Μας δίνει τη δυνατότητα να προσφέρουμε εμπορικές λύσεις που ανταποκρίνονται σε αυστηρές απαιτήσεις που συνδέονται με την επίσημη επαλήθευση για την παροχή πιστοποιημένης προσέγγισης που πληροί τα υψηλότερα πρότυπα ασφάλειας και προστασίας στην αγορά σήμερα.”

Ακολουθήσετε μας στο Google News iGuRu.gr at Google news

Written by giorgos

Ο Γιώργος ακόμα αναρωτιέται τι κάνει εδώ....

Αφήστε μια απάντηση

Η ηλ. διεύθυνση σας δεν δημοσιεύεται.

Το μήνυμα σας δεν θα δημοσιευτεί εάν:
1. Περιέχει υβριστικά, συκοφαντικά, ρατσιστικά, προσβλητικά ή ανάρμοστα σχόλια.
2. Προκαλεί βλάβη σε ανηλίκους.
3. Παρενοχλεί την ιδιωτική ζωή και τα ατομικά και κοινωνικά δικαιώματα άλλων χρηστών.
4. Διαφημίζει προϊόντα ή υπηρεσίες ή διαδικτυακούς τόπους .
5. Περιέχει προσωπικές πληροφορίες (διεύθυνση, τηλέφωνο κλπ).


51  +    =  53