{"id":481096,"date":"2025-06-05T08:16:46","date_gmt":"2025-06-05T06:16:46","guid":{"rendered":"https:\/\/www.ecinews.fr\/?p=481096"},"modified":"2025-06-04T22:23:50","modified_gmt":"2025-06-04T20:23:50","slug":"nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes","status":"publish","type":"post","link":"https:\/\/www.ecinews.fr\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/","title":{"rendered":"Nvidia fait entrer Ada et SPARK dans les voitures autonomes"},"content":{"rendered":"<p>AdaCore et Nvidia ont d\u00e9velopp\u00e9 un flux de r\u00e9f\u00e9rence open source pour les langages de programmation Ada et SPARK dans les logiciels automobiles critiques pour la s\u00e9curit\u00e9, en particulier pour les voitures sans conducteur.<\/p>\n<p>Ce flux permet d&rsquo;acc\u00e9l\u00e9rer le d\u00e9veloppement de logiciels ISO26262 sur le syst\u00e8me d&rsquo;exploitation DriveOS de Nvidia. Nvidia a d\u00e9velopp\u00e9 DriveOS avec 7 millions de lignes de code en utilisant SPARK parall\u00e8lement au flux de certification pour les applications sur son mat\u00e9riel bas\u00e9 sur DRIVE AGX.<\/p>\n<p>La puce AGX-Orin, bas\u00e9e sur l&rsquo;architecture GPU Ampere et les c\u0153urs ARM Cortex A78AE, est utilis\u00e9e par des <a href=\"https:\/\/www.eenewseurope.com\/en\/automotive-trends-at-ces-2024\/\">constructeurs automobiles<\/a> tels que Volvo, Mercedes-Benz, Jaguar Landrover, GM, Zeekr et Geely et maintenant Toyota, le plus grand constructeur automobile du monde.<\/p>\n<p>La puce AGX-Thor, bas\u00e9e sur l&rsquo;architecture Blackwell avec des c\u0153urs NeoverseV3AE, devrait \u00eatre \u00e9chantillonn\u00e9e dans le courant de l&rsquo;ann\u00e9e pour la conduite autonome. Elle est utilis\u00e9e par le fabricant chinois de v\u00e9hicules \u00e9lectriques BYD, le fabricant de navettes autonomes WeRide, Volvo, le <a href=\"https:\/\/www.eenewseurope.com\/en\/nvidias-blackwell-ai-processor-to-run-driverless-trucks\/\">fabricant de camions Aurora<\/a>, Continental et Li Auto.<\/p>\n<blockquote class=\"wp-embedded-content\" data-secret=\"N29QxkLv00\"><p><a href=\"https:\/\/www.eenewseurope.com\/en\/nvidia-certifies-drive-os-to-asil-d-but-on-orin\/\">Nvidia certifies Drive OS to ASIL-D, but on Orin<\/a><\/p><\/blockquote>\n<p><iframe class=\"wp-embedded-content lazyload\" sandbox=\"allow-scripts\" security=\"restricted\" style=\"position: absolute; visibility: hidden;\" title=\"&#8220;Nvidia certifies Drive OS to ASIL-D, but on Orin&#8221; &#8212; eeNews Europe\" data-src=\"https:\/\/www.eenewseurope.com\/en\/nvidia-certifies-drive-os-to-asil-d-but-on-orin\/embed\/#?secret=APJf8Uynut#?secret=N29QxkLv00\" data-secret=\"N29QxkLv00\" width=\"500\" height=\"282\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" src=\"data:image\/svg+xml;base64,PHN2ZyB3aWR0aD0iMSIgaGVpZ2h0PSIxIiB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciPjwvc3ZnPg==\" data-load-mode=\"1\"><\/iframe><\/p>\n<p>DriveOS a \u00e9t\u00e9 certifi\u00e9 ASIL-D par TUD SUD en janvier sur la puce Orin, avec un <a href=\"https:\/\/www.eenewseurope.com\/en\/nvidia-launches-ai-safety-framework-for-driverless-cars\/\">cadre de s\u00e9curit\u00e9 IA appel\u00e9 Halos.<\/a><\/p>\n<p>\u00ab Le temps des v\u00e9hicules autonomes est arriv\u00e9 et nous travaillerons avec l&rsquo;IA dans la fabrication, les entreprises et la fa\u00e7on dont elles simulent et con\u00e7oivent les voitures et dans la voiture \u00bb, a d\u00e9clar\u00e9 Jensen Huang, PDG de Nvidia. \u00ab Nous travaillons sur les voitures autonomes depuis plus d&rsquo;une d\u00e9cennie \u00bb.<\/p>\n<p>Le flux de r\u00e9f\u00e9rence constitue une avanc\u00e9e majeure et comprend des composants logiciels conformes aux niveaux d&rsquo;int\u00e9grit\u00e9 les plus \u00e9lev\u00e9s de la norme de certification automobile ISO-26262. L&rsquo;utilisation de SPARK a n\u00e9cessit\u00e9 la mise en place d&rsquo;un processus de d\u00e9veloppement qui tire parti des m\u00e9thodes formelles et d&rsquo;autres caract\u00e9ristiques de s\u00e9curit\u00e9 du langage formel Ada et de son sous-ensemble SPARK.<\/p>\n<p>AdaCore et Nvidia ont d\u00e9cid\u00e9 de publier le processus de r\u00e9f\u00e9rence sous la forme d&rsquo;un document ouvert et \u00e9volutif, permettant \u00e0 l&rsquo;industrie dans son ensemble d&rsquo;adopter Ada et SPARK.<\/p>\n<p>\u00ab Cela marque un tournant important pour les d\u00e9veloppeurs qui travaillent sur les v\u00e9hicules d\u00e9finis par logiciel \u00bb, explique \u00e0 eeNews Europe Quentin Ochem, Chief Product and Revenue Officer chez AdaCore&#8230;<\/p>\n<p>\u00ab\u00a0Ce qui est unique ici, c&rsquo;est l&rsquo;approche de Nvidia. En adoptant Ada et SPARK et en publiant ouvertement sa documentation de qualification ISO 26262, Nvidia red\u00e9finit la mani\u00e8re dont ces responsabilit\u00e9s sont assum\u00e9es. Plut\u00f4t que d&rsquo;imposer aux d\u00e9veloppeurs des activit\u00e9s de conformit\u00e9 abstraites et cloisonn\u00e9es, Nvidia rapproche ces pr\u00e9occupations de l&rsquo;artefact principal du d\u00e9veloppeur : le code lui-m\u00eame. Cette d\u00e9marche s&rsquo;inscrit dans une tendance croissante \u00e0 int\u00e9grer la v\u00e9rification, la tra\u00e7abilit\u00e9 et les exigences directement dans le flux de d\u00e9veloppement, faisant de l&rsquo;exactitude une propri\u00e9t\u00e9 de la base de code, et non pas un processus distinct.<\/p>\n<p>\u00ab\u00a0Traditionnellement, les d\u00e9veloppeurs ont d\u00fb porter plusieurs chapeaux &#8211; au-del\u00e0 de l&rsquo;\u00e9criture du code, ils se retrouvent souvent \u00e0 assumer les responsabilit\u00e9s d&rsquo;ing\u00e9nieurs d&rsquo;assurance qualit\u00e9, d&rsquo;ing\u00e9nieurs de v\u00e9rification et m\u00eame d&rsquo;ing\u00e9nieurs en charge des exigences\u00a0\u00bb, a-t-il ajout\u00e9.<\/p>\n<p>\u00ab Les domaines critiques pour la s\u00e9curit\u00e9 comme l&rsquo;automobile, r\u00e9gis par des normes telles que la norme ISO 26262, exigent une tra\u00e7abilit\u00e9 rigoureuse, des preuves d&rsquo;exactitude et une assurance formelle &#8211; des responsabilit\u00e9s qui vont bien au-del\u00e0 de l&rsquo;ing\u00e9nierie logicielle conventionnelle \u00bb.<\/p>\n<p>Il souligne \u00e9galement la d\u00e9cision de Nvidia d&rsquo;ouvrir les artefacts de certification \u00e0 la source, ce qui constitue une avanc\u00e9e majeure.<\/p>\n<p>\u00ab\u00a0Il est \u00e9galement rare de voir un grand fournisseur de technologie ouvrir \u00e0 ce point son processus interne de certification de la s\u00e9curit\u00e9. Le fait que la documentation ISO 26262 de Nvidia soit utilisable en l&rsquo;\u00e9tat est un \u00e9l\u00e9ment important : elle constitue un point de d\u00e9part concret et pratique pour les autres \u00e9quipes de d\u00e9veloppement de logiciels automobiles. Elle abaisse la barri\u00e8re \u00e0 l&rsquo;entr\u00e9e pour les d\u00e9veloppeurs et les entreprises qui souhaitent cr\u00e9er des logiciels automobiles s\u00fbrs et certifi\u00e9s, sans avoir \u00e0 r\u00e9inventer la roue.<\/p>\n<p>Le processus de r\u00e9f\u00e9rence ISO-26262 est disponible sur <a href=\"https:\/\/nvidia.github.io\/spark-process\/\">nvidia.github.io\/spark-process\/<\/a> et peut \u00eatre utilis\u00e9 ou personnalis\u00e9 librement par toute personne int\u00e9ress\u00e9e par l&rsquo;adoption de ces langages.<\/p>\n<h4>Processus ISO26262<\/h4>\n<p>Ce document d\u00e9finit un processus bas\u00e9 sur SPARK et conforme \u00e0 la norme ISO-26262 pour le d\u00e9veloppement d&rsquo;un sous-ensemble d&rsquo;unit\u00e9s logicielles critiques pour la s\u00e9curit\u00e9 des v\u00e9hicules jusqu&rsquo;\u00e0 l&rsquo;ASIL D et \u00e0 des ASIL inf\u00e9rieurs.<\/p>\n<p>Le processus s&rsquo;applique exclusivement aux unit\u00e9s logicielles d\u00e9velopp\u00e9es enti\u00e8rement dans le langage de programmation Ada, mais il est orient\u00e9 vers les unit\u00e9s logicielles dont une partie ou la totalit\u00e9 du code Ada est conforme au sous-ensemble SPARK. Si certains \u00e9l\u00e9ments de ce processus, tels que les param\u00e8tres d&rsquo;avertissement requis pour le compilateur Ada, peuvent s&rsquo;appliquer au d\u00e9veloppement de logiciels Ada critiques pour la s\u00e9curit\u00e9 en g\u00e9n\u00e9ral, une unit\u00e9 logicielle combinant Ada et d&rsquo;autres langages (tels que C, C++ ou le langage d&rsquo;assemblage) ne peut pas \u00eatre d\u00e9velopp\u00e9e \u00e0 l&rsquo;aide de ce processus.<\/p>\n<p>Ce processus couvre les exigences et les objectifs de la norme ISO 26262 relatifs aux sous-ensembles de langage, \u00e0 la conception des unit\u00e9s logicielles, \u00e0 la mise en \u0153uvre des unit\u00e9s logicielles et \u00e0 la v\u00e9rification des unit\u00e9s logicielles. En outre, le processus couvre les exigences et les objectifs de la norme ISO 26262 relatifs aux exigences de s\u00e9curit\u00e9 lorsqu&rsquo;elles sont exprim\u00e9es dans des sp\u00e9cifications d&rsquo;interface logicielle.<\/p>\n<p>Ce processus prend en charge la v\u00e9rification formelle et la v\u00e9rification non formelle c\u00f4te \u00e0 c\u00f4te. Une unit\u00e9 logicielle unique d\u00e9velopp\u00e9e selon ce processus peut faire l&rsquo;objet d&rsquo;une v\u00e9rification formelle dans son int\u00e9gralit\u00e9, d&rsquo;une v\u00e9rification non formelle dans son int\u00e9gralit\u00e9, ou d&rsquo;une v\u00e9rification formelle partielle et d&rsquo;une v\u00e9rification non formelle partielle.<\/p>\n<p>\u00ab En bref, cette initiative contribue \u00e0 d\u00e9mystifier la certification de s\u00e9curit\u00e9 pour les d\u00e9veloppeurs et ouvre la voie \u00e0 des architectures de v\u00e9hicules d\u00e9finies par logiciel plus robustes et plus efficaces \u00bb, a d\u00e9clar\u00e9 Ochem.<\/p>\n<p>L&rsquo;adoption d&rsquo;un nouveau langage de programmation implique le d\u00e9ploiement d&rsquo;un nouvel environnement, la formation des \u00e9quipes \u00e0 un nouveau formalisme, l&rsquo;adaptation des mod\u00e8les de programmation et bien d&rsquo;autres choses encore. Cependant, du point de vue des processus, les langages de programmation sont largement interchangeables, mais Ada et SPARK, c&rsquo;est une autre histoire.<\/p>\n<p>L&rsquo;envisager comme un changement de langage est une possibilit\u00e9, et cela apporterait certainement de la valeur \u00e0 un processus de d\u00e9veloppement traditionnel. Cependant, on passerait ainsi \u00e0 c\u00f4t\u00e9 de l&rsquo;opportunit\u00e9 cl\u00e9 apport\u00e9e par la technologie, \u00e0 savoir la capacit\u00e9 de transformer le processus de d\u00e9veloppement en un processus ax\u00e9 sur la v\u00e9rification, permettant de d\u00e9montrer les propri\u00e9t\u00e9s du logiciel d&rsquo;une mani\u00e8re beaucoup plus rigoureuse et rentable qu&rsquo;avec les m\u00e9thodes traditionnelles.<\/p>\n<p>La s\u00e9mantique Ada est con\u00e7ue pour minimiser le risque de vuln\u00e9rabilit\u00e9 et maximiser les informations s\u00e9mantiques d\u00e9finies directement dans le code source. SPARK utilise ces attributs pour \u00e9viter les vuln\u00e9rabilit\u00e9s courantes et permet de d\u00e9finir des propri\u00e9t\u00e9s suppl\u00e9mentaires \u00e0 v\u00e9rifier formellement \u00e0 la place des tests dynamiques.<\/p>\n<p>Dans SPARK, il est possible de garantir des propri\u00e9t\u00e9s de base telles que l&rsquo;initialisation des variables, l&rsquo;absence de d\u00e9bordement de m\u00e9moire tampon, l&rsquo;\u00e9tendue des donn\u00e9es, ou plus g\u00e9n\u00e9ralement ce qui finirait autrement par \u00eatre du code d\u00e9fensif. Mais il fournit \u00e9galement des moyens de d\u00e9finir des exigences plus avanc\u00e9es qui peuvent \u00eatre exprim\u00e9es sous la forme d&rsquo;assertions bool\u00e9ennes, et par rapport auxquelles il est possible de d\u00e9montrer formellement qu&rsquo;une impl\u00e9mentation est correcte sans qu&rsquo;il soit n\u00e9cessaire d&rsquo;ex\u00e9cuter des tests.<\/p>\n<p>D\u00e9velopper du code en tenant compte de la v\u00e9rification formelle a un impact \u00e0 diff\u00e9rents niveaux du processus de d\u00e9veloppement. La mise en place d&rsquo;un moyen de d\u00e9velopper des logiciels de cette mani\u00e8re peut \u00eatre un long chemin it\u00e9ratif, avec le risque de passer \u00e0 c\u00f4t\u00e9 de certains aspects cl\u00e9s de la technologie.<\/p>\n<p>Le flux de r\u00e9f\u00e9rence vise \u00e0 permettre aux nouveaux adoptants de sauter cette \u00e9tape et de commencer par un processus d\u00e9j\u00e0 \u00e9tabli qui a \u00e9t\u00e9 examin\u00e9 par les autorit\u00e9s et exp\u00e9riment\u00e9 par l&rsquo;industrie. Il n&rsquo;est pas destin\u00e9 \u00e0 \u00eatre utilis\u00e9 tel quel, mais \u00e0 servir de point de d\u00e9part \u00e0 un processus personnalis\u00e9 adapt\u00e9 \u00e0 la situation sp\u00e9cifique de chaque organisation.<\/p>\n<p>Cependant, Nvidia souligne que le flux ne couvre pas la sp\u00e9cification de la conception architecturale du logiciel, la mani\u00e8re de porter une unit\u00e9 logicielle C\/C++ existante vers ce processus bas\u00e9 sur SPARK ou l&rsquo;analyse de la concurrence ou de la s\u00e9curit\u00e9 du logiciel.<\/p>\n<p><a href=\"http:\/\/www.adacore.com\/\">www.adacore.com ; <\/a><a href=\"https:\/\/nvidia.github.io\/spark-process\/\">nvidia.github.io\/spark-process\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>AdaCore et Nvidia ont d\u00e9velopp\u00e9 un flux de r\u00e9f\u00e9rence open source pour les langages de programmation Ada et SPARK dans les logiciels automobiles critiques pour la s\u00e9curit\u00e9, en particulier pour les voitures sans conducteur. Ce flux permet d&rsquo;acc\u00e9l\u00e9rer le d\u00e9veloppement de logiciels ISO26262 sur le syst\u00e8me d&rsquo;exploitation DriveOS de Nvidia. Nvidia a d\u00e9velopp\u00e9 DriveOS avec [&hellip;]<\/p>\n","protected":false},"author":40,"featured_media":481081,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[883],"tags":[9924,9925,9168],"domains":[47],"ppma_author":[3640,6199],"class_list":["post-481096","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-technologies","tag-ada","tag-spark","tag-vehicule-autonome","domains-electronique-eci"],"acf":[],"yoast_head":"<title>Nvidia fait entrer Ada et SPARK dans les voitures autonomes ...<\/title>\n<meta name=\"description\" content=\"AdaCore et Nvidia ont d\u00e9velopp\u00e9 un flux de r\u00e9f\u00e9rence open source pour les langages formels Ada et SPARK dans les voitures sans conducteur.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/posts\/481096\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Nvidia fait entrer Ada et SPARK dans les voitures autonomes\" \/>\n<meta property=\"og:description\" content=\"AdaCore et Nvidia ont d\u00e9velopp\u00e9 un flux de r\u00e9f\u00e9rence open source pour les langages formels Ada et SPARK dans les voitures sans conducteur.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/posts\/481096\/\" \/>\n<meta property=\"og:site_name\" content=\"EENewsEurope\" \/>\n<meta property=\"article:published_time\" content=\"2025-06-05T06:16:46+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-06-04T20:23:50+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.eenewseurope.com\/wp-content\/uploads\/2025\/06\/Ada.png\" \/>\n\t<meta property=\"og:image:width\" content=\"1024\" \/>\n\t<meta property=\"og:image:height\" content=\"1024\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"Nick Flaherty, A Delapalisse\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"A Delapalisse\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"6 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/\"},\"author\":{\"name\":\"A Delapalisse\",\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#\/schema\/person\/4b3db5ba5c953c5fddeb226df86d8635\"},\"headline\":\"Nvidia fait entrer Ada et SPARK dans les voitures autonomes\",\"datePublished\":\"2025-06-05T06:16:46+00:00\",\"dateModified\":\"2025-06-04T20:23:50+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/\"},\"wordCount\":1599,\"publisher\":{\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#organization\"},\"keywords\":[\"ada\",\"SPARK\",\"V\u00e9hicule autonome\"],\"articleSection\":[\"Technologies\"],\"inLanguage\":\"fr-FR\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/\",\"url\":\"https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/\",\"name\":\"Nvidia fait entrer Ada et SPARK dans les voitures autonomes -\",\"isPartOf\":{\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#website\"},\"datePublished\":\"2025-06-05T06:16:46+00:00\",\"dateModified\":\"2025-06-04T20:23:50+00:00\",\"description\":\"AdaCore et Nvidia ont d\u00e9velopp\u00e9 un flux de r\u00e9f\u00e9rence open source pour les langages formels Ada et SPARK dans les voitures sans conducteur.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.ecinews.fr\/fr\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Nvidia fait entrer Ada et SPARK dans les voitures autonomes\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#website\",\"url\":\"https:\/\/www.eenewseurope.com\/en\/\",\"name\":\"EENewsEurope\",\"description\":\"Just another WordPress site\",\"publisher\":{\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.eenewseurope.com\/en\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#organization\",\"name\":\"EENewsEurope\",\"url\":\"https:\/\/www.eenewseurope.com\/en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.ecinews.fr\/wp-content\/uploads\/2022\/02\/logo-1.jpg\",\"contentUrl\":\"https:\/\/www.ecinews.fr\/wp-content\/uploads\/2022\/02\/logo-1.jpg\",\"width\":283,\"height\":113,\"caption\":\"EENewsEurope\"},\"image\":{\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#\/schema\/person\/4b3db5ba5c953c5fddeb226df86d8635\",\"name\":\"A Delapalisse\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.eenewseurope.com\/en\/#\/schema\/person\/image\/09af0e1236b95ff53924b8dfe5af278e\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/010f811c0933b47aea7e9204117b17c6?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/010f811c0933b47aea7e9204117b17c6?s=96&d=mm&r=g\",\"caption\":\"A Delapalisse\"}}]}<\/script>","yoast_head_json":{"title":"Nvidia fait entrer Ada et SPARK dans les voitures autonomes ...","description":"AdaCore et Nvidia ont d\u00e9velopp\u00e9 un flux de r\u00e9f\u00e9rence open source pour les langages formels Ada et SPARK dans les voitures sans conducteur.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/posts\/481096\/","og_locale":"fr_FR","og_type":"article","og_title":"Nvidia fait entrer Ada et SPARK dans les voitures autonomes","og_description":"AdaCore et Nvidia ont d\u00e9velopp\u00e9 un flux de r\u00e9f\u00e9rence open source pour les langages formels Ada et SPARK dans les voitures sans conducteur.","og_url":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/posts\/481096\/","og_site_name":"EENewsEurope","article_published_time":"2025-06-05T06:16:46+00:00","article_modified_time":"2025-06-04T20:23:50+00:00","og_image":[{"width":1024,"height":1024,"url":"https:\/\/www.eenewseurope.com\/wp-content\/uploads\/2025\/06\/Ada.png","type":"image\/png"}],"author":"Nick Flaherty, A Delapalisse","twitter_card":"summary_large_image","twitter_misc":{"Written by":"A Delapalisse","Est. reading time":"6 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/#article","isPartOf":{"@id":"https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/"},"author":{"name":"A Delapalisse","@id":"https:\/\/www.eenewseurope.com\/en\/#\/schema\/person\/4b3db5ba5c953c5fddeb226df86d8635"},"headline":"Nvidia fait entrer Ada et SPARK dans les voitures autonomes","datePublished":"2025-06-05T06:16:46+00:00","dateModified":"2025-06-04T20:23:50+00:00","mainEntityOfPage":{"@id":"https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/"},"wordCount":1599,"publisher":{"@id":"https:\/\/www.eenewseurope.com\/en\/#organization"},"keywords":["ada","SPARK","V\u00e9hicule autonome"],"articleSection":["Technologies"],"inLanguage":"fr-FR"},{"@type":"WebPage","@id":"https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/","url":"https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/","name":"Nvidia fait entrer Ada et SPARK dans les voitures autonomes -","isPartOf":{"@id":"https:\/\/www.eenewseurope.com\/en\/#website"},"datePublished":"2025-06-05T06:16:46+00:00","dateModified":"2025-06-04T20:23:50+00:00","description":"AdaCore et Nvidia ont d\u00e9velopp\u00e9 un flux de r\u00e9f\u00e9rence open source pour les langages formels Ada et SPARK dans les voitures sans conducteur.","breadcrumb":{"@id":"https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.eenewseurope.com\/fr\/nvidia-fait-entrer-ada-et-spark-dans-les-voitures-autonomes\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.ecinews.fr\/fr\/"},{"@type":"ListItem","position":2,"name":"Nvidia fait entrer Ada et SPARK dans les voitures autonomes"}]},{"@type":"WebSite","@id":"https:\/\/www.eenewseurope.com\/en\/#website","url":"https:\/\/www.eenewseurope.com\/en\/","name":"EENewsEurope","description":"Just another WordPress site","publisher":{"@id":"https:\/\/www.eenewseurope.com\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.eenewseurope.com\/en\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/www.eenewseurope.com\/en\/#organization","name":"EENewsEurope","url":"https:\/\/www.eenewseurope.com\/en\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.eenewseurope.com\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www.ecinews.fr\/wp-content\/uploads\/2022\/02\/logo-1.jpg","contentUrl":"https:\/\/www.ecinews.fr\/wp-content\/uploads\/2022\/02\/logo-1.jpg","width":283,"height":113,"caption":"EENewsEurope"},"image":{"@id":"https:\/\/www.eenewseurope.com\/en\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/www.eenewseurope.com\/en\/#\/schema\/person\/4b3db5ba5c953c5fddeb226df86d8635","name":"A Delapalisse","image":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.eenewseurope.com\/en\/#\/schema\/person\/image\/09af0e1236b95ff53924b8dfe5af278e","url":"https:\/\/secure.gravatar.com\/avatar\/010f811c0933b47aea7e9204117b17c6?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/010f811c0933b47aea7e9204117b17c6?s=96&d=mm&r=g","caption":"A Delapalisse"}}]}},"authors":[{"term_id":3640,"user_id":0,"is_guest":1,"slug":"nick-flaherty","display_name":"Nick Flaherty","avatar_url":"https:\/\/secure.gravatar.com\/avatar\/?s=96&d=mm&r=g","0":null,"1":"","2":"","3":"","4":"","5":"","6":"","7":"","8":""},{"term_id":6199,"user_id":40,"is_guest":0,"slug":"andre-rousselotemisys-com","display_name":"A Delapalisse","avatar_url":"https:\/\/secure.gravatar.com\/avatar\/010f811c0933b47aea7e9204117b17c6?s=96&d=mm&r=g","0":null,"1":"","2":"","3":"","4":"","5":"","6":"","7":"","8":""}],"_links":{"self":[{"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/posts\/481096"}],"collection":[{"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/users\/40"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/comments?post=481096"}],"version-history":[{"count":0,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/posts\/481096\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/media\/481081"}],"wp:attachment":[{"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/media?parent=481096"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/categories?post=481096"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/tags?post=481096"},{"taxonomy":"domains","embeddable":true,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/domains?post=481096"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/www.ecinews.fr\/fr\/wp-json\/wp\/v2\/ppma_author?post=481096"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}