Kry10 propose un système d'exploitation sécurisé adapté aux machines définies par logiciel, permettant aux infrastructures critiques telles que les véhicules, les réseaux électriques, les satellites et les dispositifs médicaux de se transformer en systèmes intelligents, connectés au cloud et adaptatifs. Construit sur le micro-noyau seL4 formellement vérifié, le système d'exploitation Kry10 assure une haute assurance et performance, fournissant une base robuste pour les appareils connectés critiques pour les missions. Caractéristiques clés et fonctionnalités : - Capacités d'auto-guérison : KOS est conçu pour prévenir, contenir et récupérer des pannes et des attaques, assurant une opération continue sans interruption. - Mises à jour sécurisées par voie aérienne : Le système prend en charge les signatures cryptographiques et la confiance par l'isolation, facilitant des déploiements logiciels sécurisés et transparents. - Environnement convivial pour les développeurs : KOS offre un support pour plusieurs langages de programmation, y compris C, Rust, Elixir et Erlang, permettant aux développeurs de créer des applications en utilisant des outils familiers. - Services de gestion complets : Le service de gestion Kry10 fournit des outils pour gérer les flottes d'appareils, surveiller la santé, détecter les schémas d'attaque et collecter des données, assurant une supervision efficace des appareils connectés. - Cadre UI Scenic : Intégré à l'environnement d'application Erlang BEAM, le cadre UI Scenic permet le développement d'interfaces utilisateur résilientes et robustes pour les appareils connectés. Valeur principale et problème résolu : Kry10 répond aux défis de sécurité croissants associés à la prolifération des appareils connectés. En fournissant un système d'exploitation sécurisé, auto-guérissant et convivial pour les développeurs, KOS permet aux organisations d'innover sans crainte, assurant que leurs applications critiques pour les missions sont résilientes face aux menaces cybernétiques et aux pannes système. Cette approche améliore non seulement la sécurité et la fiabilité des appareils connectés, mais simplifie également leur gestion et développement, facilitant une transition plus fluide vers des infrastructures intelligentes et connectées au cloud.