Trois langages de programmation fa\u00e7onnent l’avenir de la s\u00e9curit\u00e9 de la m\u00e9moire dans les syst\u00e8mes embarqu\u00e9s : Ada, SPARK et Rust. Chacun d’entre eux a \u00e9t\u00e9 con\u00e7u dans un souci de fiabilit\u00e9, mais leurs approches diff\u00e8rent de mani\u00e8re \u00e0 offrir aux ing\u00e9nieurs des choix significatifs en fonction des exigences du projet et des objectifs finaux. Alors que les langages traditionnels tels que C et C++ laissent la gestion de la m\u00e9moire au d\u00e9veloppeur, ce qui entra\u00eene souvent des failles de s\u00e9curit\u00e9, ces alternatives modernes apportent des garanties de s\u00e9curit\u00e9 directement dans la conception de base du langage.<\/p>\n
Qu’est-ce qu’Ada ? Ada est un langage utilis\u00e9 depuis longtemps dans l’a\u00e9rospatiale, la d\u00e9fense et divers domaines critiques en mati\u00e8re de s\u00e9curit\u00e9. Sa force r\u00e9side dans un typage et une modularit\u00e9 solides, qui permettent de pr\u00e9venir les nombreuses cat\u00e9gories de bogues les plus courantes. En mettant l’accent sur la lisibilit\u00e9 et l’explicitation, Ada permet difficilement aux pratiques dangereuses de se glisser dans le code de production.<\/p>\n
De nombreux d\u00e9veloppeurs se tournent vers Ada parce qu’il s’agit d’une solution \u00e9prouv\u00e9e pour construire des solutions embarqu\u00e9es fiables et s\u00fbres. Il a une longue histoire dans les domaines critiques de s\u00e9curit\u00e9 comme l’a\u00e9rospatiale et la d\u00e9fense, o\u00f9 l’\u00e9chec n’est pas une option. Son typage fort et ses fonctions de concurrence int\u00e9gr\u00e9es permettent d’\u00e9viter les bogues que l’on trouve r\u00e9guli\u00e8rement dans des langages comme le C. Pour les ing\u00e9nieurs qui travaillent sur des projets soumis \u00e0 des exigences de certification strictes, Ada peut fournir un cadre robuste qui rend difficile l’introduction de vuln\u00e9rabilit\u00e9s, ce qui conduit \u00e0 des produits finaux plus s\u00fbrs et plus stables.<\/p>\n
SPARK est un sous-ensemble formellement v\u00e9rifiable d’Ada qui introduit des techniques de preuve math\u00e9matique avanc\u00e9es permettant aux d\u00e9veloppeurs de v\u00e9rifier \u00e0 la compilation l’absence de certaines cat\u00e9gories de d\u00e9fauts (par exemple, les d\u00e9bordements de m\u00e9moire tampon ou les courses de donn\u00e9es). SPARK est donc tr\u00e8s utile dans les secteurs o\u00f9 la certification des logiciels et les garanties d’exactitude sont n\u00e9cessaires.<\/p>\n
Pour les ing\u00e9nieurs tr\u00e8s concern\u00e9s par la v\u00e9rification et l’exactitude absolue, SPARK est un choix logique. En tant que sous-ensemble formellement v\u00e9rifiable d’Ada, il permet aux d\u00e9veloppeurs d’utiliser des preuves math\u00e9matiques pour d\u00e9montrer l’absence de certaines erreurs d’ex\u00e9cution au moment de la compilation. Cela offre un niveau d’assurance utile pour les syst\u00e8mes critiques. Pour le public d’eeNews Europe\/ECInews<\/em>, cela signifie que SPARK est particuli\u00e8rement adapt\u00e9 aux applications o\u00f9 le co\u00fbt d’un d\u00e9faut logiciel est astronomiquement \u00e9lev\u00e9, comme dans l’avionique, les v\u00e9hicules autonomes ou les appareils m\u00e9dicaux.<\/p>\n Rust, quant \u00e0 lui, est un nouveau venu qui s’est rapidement impos\u00e9 dans la programmation des syst\u00e8mes et des syst\u00e8mes embarqu\u00e9s. Sa caract\u00e9ristique principale est le mod\u00e8le de propri\u00e9t\u00e9, qui impose des r\u00e8gles strictes sur la mani\u00e8re dont la m\u00e9moire est allou\u00e9e, emprunt\u00e9e et lib\u00e9r\u00e9e, le tout au moment de la compilation. Cela permet d’\u00e9liminer des cat\u00e9gories enti\u00e8res d’erreurs d’ex\u00e9cution, notamment les pointeurs pendants et les doubles lib\u00e9rations, sans qu’il soit n\u00e9cessaire d’avoir recours \u00e0 un ramasse-miettes. Les d\u00e9veloppeurs sont attir\u00e9s par Rust<\/a> non seulement pour sa s\u00e9curit\u00e9 m\u00e9moire, mais aussi pour son \u00e9cosyst\u00e8me d’outils modernes et sa capacit\u00e9 d’interop\u00e9rabilit\u00e9 avec des bases de code C existantes via des interfaces de fonctions \u00e9trang\u00e8res.<\/p>\n Les lecteurs d’eeNews Europe\/ECInews<\/em> devraient \u00eatre int\u00e9ress\u00e9s par Rust pour son approche moderne de la s\u00e9curit\u00e9 de la m\u00e9moire sans sacrifier la performance. Son mod\u00e8le de propri\u00e9t\u00e9 est une caract\u00e9ristique cl\u00e9 qui emp\u00eache les erreurs de m\u00e9moire courantes en C\/C++ (par exemple, les pointeurs pendants et les d\u00e9bordements de m\u00e9moire tampon au moment de la compilation), \u00e9liminant ainsi de nombreuses vuln\u00e9rabilit\u00e9s en mati\u00e8re de s\u00e9curit\u00e9. L’outillage moderne de Rust, son puissant gestionnaire de paquets et son \u00e9cosyst\u00e8me en pleine expansion en font une option attrayante pour les nouveaux projets. Sa capacit\u00e9 \u00e0 interop\u00e9rer avec les bases de code C existantes en fait \u00e9galement un choix pratique pour mettre \u00e0 jour les syst\u00e8mes existants et adopter un paradigme plus s\u00fbr d’une mani\u00e8re \u00e0 la fois efficace et \u00e9volutive.<\/p>\n Ensemble, ces langages refl\u00e8tent une \u00e9volution vers des solutions de programmation sans risque pour la m\u00e9moire. Les r\u00e9gulateurs et les \u00e9quipementiers exigeant de plus en plus de solides d\u00e9fenses contre les exploits de s\u00e9curit\u00e9, Ada, SPARK et Rust offrent des solutions viables aux ing\u00e9nieurs qui doivent fournir des performances \u00e9lev\u00e9es et une grande assurance. Pour les architectes de syst\u00e8mes embarqu\u00e9s, le choix entre ces solutions se r\u00e9sume souvent \u00e0 des compromis en termes de maturit\u00e9 de la cha\u00eene d’outils, de pr\u00e9paration \u00e0 la certification et de support global, mais le fil conducteur est clair : la s\u00e9curit\u00e9 n’est plus optionnelle ; c’est un imp\u00e9ratif d’ing\u00e9nierie.<\/p>\n Vous voulez en savoir plus ? Dans Elektor Engineering Insights #54<\/a>, Quentin Ochem, Chief Product and Revenue Officer chez AdaCore<\/a>, a dirig\u00e9 une session d’information explorant comment Ada, SPARK et Rust red\u00e9finissent la fiabilit\u00e9 dans les syst\u00e8mes embarqu\u00e9s.<\/p>\n \nOchem a commenc\u00e9 par opposer ces langages aux solutions traditionnelles telles que C et C++, dont les vuln\u00e9rabilit\u00e9s inh\u00e9rentes (par exemple, les d\u00e9bordements de m\u00e9moire tampon, les doubles lib\u00e9rations, et ainsi de suite) continuent d’affliger les syst\u00e8mes critiques en mati\u00e8re de s\u00e9curit\u00e9. En r\u00e9ponse, Ada et SPARK offrent un typage fort et une v\u00e9rification formelle ; Rust apporte son mod\u00e8le de propri\u00e9t\u00e9 robuste pour la s\u00e9curit\u00e9 au moment de la compilation.<\/p>\nRust<\/h2>\n
Le changement<\/h2>\n
Ada, SPARK, Rust et l’avenir du code s\u00fbr<\/h2>\n