SeL4 is the first mathematically proven correct kernel


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

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

SeL4

For example, it is being used in Gnu Hurd's operating system Richard M. Stallman. Τώρα, με την τελευταία έκδοση και την ευρύτερη υποστήριξη, το seL4 μπορεί να αναπτυχθεί ευρύτερα. Ας δούμε όμως περισσότερες λεπτομέρειες για τον πυρήνα που έχει σχεδιαστεί για ασφάλεια.

This nucleus is a member of the family L4 microkernel.

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

Data61 claims to be the first operating system in the world to be mathematically proven, and the only operating system to have proven security capabilities and very high performance. In the future it will support very critical real-time systems.

Ο Linux Foundation will participate in the new body SeL4 Foundation.

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

Founding members include Data61, UNSW Sydney, HENSOLDT Cyber ​​GmbH, Ghost Locomotion, Cog Systems and DornerWorks.

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

In a statement, Carl L. Nerup, CEO of Cog Systems, said:

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


Read them Technology News from all over the world, with the validity of iGuRu.gr

Follow us on Google News iGuRu.gr at Google news