Το Linux Foundation υποστηρίζει το seL4 microkernel OS για ενίσχυση της ασφάλειας

[Δορυφορικα]

Το Linux Foundation συνεργάζεται με το Data61, το ψηφιακό εξειδικευμένο τμήμα του Εθνικού Οργανισμού Επιστημών της Αυστραλίας, Commonwealth Scientific and Industrial Research Organisation (CSIRO), σε μια προσπάθεια να προωθήσουν το νέο πυρήνα του λειτουργικού συστήματος seL4, που προσανατολίζεται στην ασφάλεια.

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

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

Ο ρόλος του Linux Foundation είναι να φιλοξενήσει το νέο φορέα SeL4 Foundation. Ουσιαστικά, θα υποστηρίξει το seL4 Foundation παρέχοντας τεχνογνωσία και υπηρεσίες για να αυξήσει το engagement της κοινότητας, ενώ ταυτόχρονα θα βοηθήσει στην ανάπτυξη του OS οικοσυστήματος.

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

Το SeL4 θα χρησιμοποιηθεί σε κρίσιμα υπολογιστικά συστήματα (σε πραγματικό χρόνο), στα οποία η ασφάλεια είναι πολύ σημαντική. Λέγεται  ότι θα χρησιμοποιηθεί σε βασικούς τομείς:

• ηλεκτρονικός εξοπλισμός σε αεροσκάφη
• αυτόνομα οχήματα
• ιατρικές συσκευές
• κρίσιμες υποδομές
• άμυνα

- Advertisement -

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

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

Let's block ads! (Why?)

Πηγή Είδησης