La fondation Rust annonce la création d'un nouveau Consortium Rust pour les systèmes critiques, afin de soutenir l'utilisation responsable de Rust dans les systèmes critiques dont la défaillance peut avoir un impact sur la vie humaine ou causer de graves dommages.La Fondation Rust a annoncé conjointement le "Consortium Rust pour les systèmes critique" avec des partenaires industriels tels que Arm, AdaCore, Lynx Software Technologies et Woven, la filiale de Toyota spécialisée dans les technologies de mobilité. Son objectif est de soutenir l'utilisation responsable de Rust dans les logiciels critiques.
Les travaux du consortium commenceront par la création d'une charte et d'objectifs publics, selon l'annonce, avec un champ d'application pouvant inclure le développement de lignes directrices, de bibliothèques, d'outils d'analyse statique, de méthodes formelles, etc. pour répondre aux exigences industrielles et légales.
Le groupe peut également superviser les travaux de mise en œuvre financés par la Fondation Rust, y compris les subventions accordées à des équipes universitaires existantes ou à des projets de logiciels open-source. Le groupe s'efforcera de coordonner et d'étendre les projets et normes existants en matière de sécurité critique, y compris la norme SAE JA1020. Les produits livrables du consortium seront développés et licenciés d'une manière compatible avec les autres projets du projet Rust.
La Fondation Rust publie pour l'annonce :
La Fondation Rust, AdaCore, Arm, Ferrous Systems, HighTec EDV-Systeme GmbH, Lynx Software Technologies, OxidOS, TECHFUND, TrustInSoft, Veecle et Woven by Toyota sont ravis d'annoncer conjointement la création du Consortium Rust pour les systèmes critique (Safety-Critical Rust Consortium). L'objectif principal de ce groupe sera de soutenir l'utilisation responsable du langage de programmation Rust dans les logiciels critiques, c'est-à-dire les systèmes dont la défaillance peut avoir un impact sur la vie humaine ou causer de graves dommages environnementaux ou matériels.
L'adhésion au Consortium Rust pour les systèmes critique est ouverte aux organisations membres de la Fondation Rust et à d'autres invités, tels que des experts industriels, académiques et juridiques.
Les travaux du consortium commenceront par la création d'une charte et d'objectifs publics, et les comptes rendus des réunions seront publiés régulièrement. Le Consortium Rust pour les systèmes critique assurera la liaison avec le projet Rust par l'intermédiaire des directeurs de projet de la Fondation Rust et des membres des équipes du projet Rust. Le champ d'action du consortium, qui sera entièrement défini dans la charte, peut inclure le développement de lignes directrices, de linters, de bibliothèques, d'outils d'analyse statique, de méthodes formelles et de sous-ensembles de langages pour répondre aux exigences industrielles et légales. Les produits livrés par le consortium seront développés et licenciés d'une manière compatible avec les autres initiatives du projet Rust.
Le groupe pourra également superviser les travaux de mise en œuvre financés par la Fondation Rust, y compris les subventions accordées à des équipes universitaires existantes ou à des projets FOSS. Tout travail financé par la Fondation Rust sera soumis en amont, sous licence FOSS, et toutes les spécifications seront librement disponibles. Le groupe s'efforcera en outre de coordonner et d'étendre les projets et normes existants en matière de sécurité, notamment la norme SAE JA1020.
"C'est passionnant ! Je suis vraiment heureux de voir la Fondation Rust et tous ceux qui travaillent dans le domaine de la sécurité se réunir sur ce sujet", a déclaré Graydon Hoare, créateur du langage de programmation Rust.
"La sécurité est notre priorité absolue dans le développement de logiciels pour véhicules. Traditionnellement, atteindre les plus hauts niveaux de sécurité a été une entreprise complexe et de longue haleine, nécessitant l'utilisation d'outils et de processus spécialisés au-delà du langage de programmation. Nous sommes donc heureux de collaborer avec des experts de premier plan dans le domaine de la sécurité afin d'intégrer de nouveaux outils tels que Rust dans nos systèmes critiques", a déclaré JF Bastien, ingénieur distingué chez Woven by Toyota.
"Rust s'est déjà imposé comme un langage de programmation sûr et sécurisé auprès des développeurs de l'open source, de l'industrie et des gouvernements. Il est maintenant temps d'utiliser cet élan pour faire de Rust un langage courant dans les domaines critiques, en fournissant des processus et des spécifications qui permettent à Rust d'être certifié dans cet espace", a déclaré Joel Marcey, directeur de la technologie à la Fondation Rust.
L'adhésion au Consortium Rust pour les systèmes critique est ouverte aux organisations membres de la Fondation Rust et à d'autres invités, tels que des experts industriels, académiques et juridiques.
Les travaux du consortium commenceront par la création d'une charte et d'objectifs publics, et les comptes rendus des réunions seront publiés régulièrement. Le Consortium Rust pour les systèmes critique assurera la liaison avec le projet Rust par l'intermédiaire des directeurs de projet de la Fondation Rust et des membres des équipes du projet Rust. Le champ d'action du consortium, qui sera entièrement défini dans la charte, peut inclure le développement de lignes directrices, de linters, de bibliothèques, d'outils d'analyse statique, de méthodes formelles et de sous-ensembles de langages pour répondre aux exigences industrielles et légales. Les produits livrés par le consortium seront développés et licenciés d'une manière compatible avec les autres initiatives du projet Rust.
Le groupe pourra également superviser les travaux de mise en œuvre financés par la Fondation Rust, y compris les subventions accordées à des équipes universitaires existantes ou à des projets FOSS. Tout travail financé par la Fondation Rust sera soumis en amont, sous licence FOSS, et toutes les spécifications seront librement disponibles. Le groupe s'efforcera en outre de coordonner et d'étendre les projets et normes existants en matière de sécurité, notamment la norme SAE JA1020.
"C'est passionnant ! Je suis vraiment heureux de voir la Fondation Rust et tous ceux qui travaillent dans le domaine de la sécurité se réunir sur ce sujet", a déclaré Graydon Hoare, créateur du langage de programmation Rust.
"La sécurité est notre priorité absolue dans le développement de logiciels pour véhicules. Traditionnellement, atteindre les plus hauts niveaux de sécurité a été une entreprise complexe et de longue haleine, nécessitant l'utilisation d'outils et de processus spécialisés au-delà du langage de programmation. Nous sommes donc heureux de collaborer avec des experts de premier plan dans le domaine de la sécurité afin d'intégrer de nouveaux outils tels que Rust dans nos systèmes critiques", a déclaré JF Bastien, ingénieur distingué chez Woven by Toyota.
"Rust s'est déjà imposé comme un langage de programmation sûr et sécurisé auprès des développeurs de l'open source, de l'industrie et des gouvernements. Il est maintenant temps d'utiliser cet élan pour faire de Rust un langage courant dans les domaines critiques, en fournissant des processus et des spécifications qui permettent à Rust d'être certifié dans cet espace", a déclaré Joel Marcey, directeur de la technologie à la Fondation Rust.
Qu'est-ce que la "sécurité critique" ? Rust est déjà sûr !
La sécurité d'un langage de programmation fait référence à la capacité d'un langage à prévenir les erreurs ou les comportements indéfinis au moment de la compilation ou de l'exécution. D'autre part, le terme "sécurité critique" fait référence à la capacité d'un système à fonctionner sans provoquer d'accidents ou de défaillances catastrophiques susceptibles de nuire aux personnes, aux biens ou à l'environnement. Ainsi, si les systèmes critiques s'appuient sur des langages qui mettent l'accent sur la sûreté et la sécurité, tels que Rust, les outils de programmation ne sont qu'un élément de la stratégie globale.
Quelles sont les industries considérées comme système critique ?
Les industries particulièrement concernées par la sécurité fonctionnelle comprennent les transports (automobile, aviation, espace), l'énergie, les sciences de la vie, etc. En raison de leurs impacts potentiels, ces industries sont souvent réglementées, ont des considérations de responsabilité et sont guidées par des...
La fin de cet article est réservée aux abonnés. Soutenez le Club Developpez.com en prenant un abonnement pour que nous puissions continuer à vous proposer des publications.