{"id":57213,"date":"2026-03-16T13:42:35","date_gmt":"2026-03-16T12:42:35","guid":{"rendered":"https:\/\/www.nae.fr\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/"},"modified":"2026-03-16T13:42:35","modified_gmt":"2026-03-16T12:42:35","slug":"adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications","status":"publish","type":"post","link":"https:\/\/www.nae.fr\/en\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/","title":{"rendered":"AdaCore is an innovative provider of advanced software development and verification tools designed to support the creation of secure UAV systems for mission- and safety-critical applications."},"content":{"rendered":"
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n\nUnmanned Systems Technology (UST) is pleased to welcome AdaCore to its global supplier ecosystem. As a Gold Partner, the company is showcasing its comprehensive development toolkits that enable manufacturers and developers to create highly reliable and certifiable software systems for drones and unmanned platforms.\n\nAdaCore\u2019s\u00a0development solutions<\/a>\u00a0support Ada, C\/C++, and Rust programming languages and are compatible with over a hundred off-the-shelf and custom operating systems and platforms. Designed for safety- and mission-critical environments, the company\u2019s tools support DO-178B\/C certification up to DAL-A, helping UAV developers build software that is resilient to failure and highly resistant to cyberattack while meeting stringent aerospace regulatory requirements.\n\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div><\/blockquote>\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n\nPour en savoir plus : AdaCore is an innovative provider of advanced software development and verification tools designed to support the creation of secure UAV systems for mission- and safety-critical applications.<\/a>\n\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>","protected":false},"excerpt":{"rendered":"

Unmanned Systems Technology (UST) is pleased to welcome AdaCore to its global supplier ecosystem. As a Gold Partner, the company is showcasing its comprehensive development toolkits that enable manufacturers and developers to create highly reliable and certifiable software systems for drones and unmanned platforms. AdaCore\u2019s\u00a0development solutions\u00a0support Ada, C\/C++, and Rust programming languages and are compatible […]<\/p>\n","protected":false},"author":1,"featured_media":57214,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[34,16],"tags":[35,44,33],"class_list":["post-57213","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-innovation-et-technologique","category-rti","tag-actualites","tag-developpement-des-systemes-intelligents","tag-drones"],"acf":[],"yoast_head":"\nAdaCore is an innovative provider of advanced software development and verification tools designed to support the creation of secure UAV systems for mission- and safety-critical applications. - NAE<\/title>\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.nae.fr\/en\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"AdaCore is an innovative provider of advanced software development and verification tools designed to support the creation of secure UAV systems for mission- and safety-critical applications. - NAE\" \/>\n<meta property=\"og:description\" content=\"Unmanned Systems Technology (UST) is pleased to welcome AdaCore to its global supplier ecosystem. As a Gold Partner, the company is showcasing its comprehensive development toolkits that enable manufacturers and developers to create highly reliable and certifiable software systems for drones and unmanned platforms. AdaCore\u2019s\u00a0development solutions\u00a0support Ada, C\/C++, and Rust programming languages and are compatible […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.nae.fr\/en\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/\" \/>\n<meta property=\"og:site_name\" content=\"NAE\" \/>\n<meta property=\"article:published_time\" content=\"2026-03-16T12:42:35+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.nae.fr\/wp-content\/uploads\/2026\/06\/AdaCore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-UAV-systems-for-mission-and-safety-critical-applications.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"378\" \/>\n\t<meta property=\"og:image:height\" content=\"204\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"adminwa\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"adminwa\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.nae.fr\\\/2026\\\/03\\\/16\\\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.nae.fr\\\/2026\\\/03\\\/16\\\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\\\/\"},\"author\":{\"name\":\"adminwa\",\"@id\":\"https:\\\/\\\/www.nae.fr\\\/#\\\/schema\\\/person\\\/3d658e930f01449b7195ce4a78fcfc1e\"},\"headline\":\"AdaCore is an innovative provider of advanced software development and verification tools designed to support the creation of secure UAV systems for mission- and safety-critical applications.\",\"datePublished\":\"2026-03-16T12:42:35+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.nae.fr\\\/2026\\\/03\\\/16\\\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\\\/\"},\"wordCount\":165,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/www.nae.fr\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/www.nae.fr\\\/2026\\\/03\\\/16\\\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.nae.fr\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/AdaCore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-UAV-systems-for-mission-and-safety-critical-applications.jpg\",\"keywords\":[\"Actualit\u00e9s\",\"D\u00e9veloppement des syst\u00e8mes intelligents\",\"Drones\"],\"articleSection\":[\"Innovation et technologique\",\"RTI\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/www.nae.fr\\\/2026\\\/03\\\/16\\\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.nae.fr\\\/2026\\\/03\\\/16\\\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\\\/\",\"url\":\"https:\\\/\\\/www.nae.fr\\\/2026\\\/03\\\/16\\\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\\\/\",\"name\":\"AdaCore is an innovative provider of advanced software development and verification tools designed to support the creation of secure UAV systems for mission- and safety-critical applications. - NAE\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.nae.fr\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.nae.fr\\\/2026\\\/03\\\/16\\\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.nae.fr\\\/2026\\\/03\\\/16\\\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.nae.fr\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/AdaCore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-UAV-systems-for-mission-and-safety-critical-applications.jpg\",\"datePublished\":\"2026-03-16T12:42:35+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.nae.fr\\\/2026\\\/03\\\/16\\\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.nae.fr\\\/2026\\\/03\\\/16\\\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.nae.fr\\\/2026\\\/03\\\/16\\\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.nae.fr\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/AdaCore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-UAV-systems-for-mission-and-safety-critical-applications.jpg\",\"contentUrl\":\"https:\\\/\\\/www.nae.fr\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/AdaCore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-UAV-systems-for-mission-and-safety-critical-applications.jpg\",\"width\":378,\"height\":204},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.nae.fr\\\/2026\\\/03\\\/16\\\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Accueil\",\"item\":\"https:\\\/\\\/www.nae.fr\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"AdaCore is an innovative provider of advanced software development and verification tools designed to support the creation of secure UAV systems for mission- and safety-critical applications.\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.nae.fr\\\/#website\",\"url\":\"https:\\\/\\\/www.nae.fr\\\/\",\"name\":\"NAE\",\"description\":\"NAE fili\u00e8re d'excellence...\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.nae.fr\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.nae.fr\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.nae.fr\\\/#organization\",\"name\":\"NAE\",\"url\":\"https:\\\/\\\/www.nae.fr\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.nae.fr\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.nae.fr\\\/wp-content\\\/uploads\\\/2025\\\/10\\\/nae-logo.svg\",\"contentUrl\":\"https:\\\/\\\/www.nae.fr\\\/wp-content\\\/uploads\\\/2025\\\/10\\\/nae-logo.svg\",\"width\":84,\"height\":52,\"caption\":\"NAE\"},\"image\":{\"@id\":\"https:\\\/\\\/www.nae.fr\\\/#\\\/schema\\\/logo\\\/image\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.nae.fr\\\/#\\\/schema\\\/person\\\/3d658e930f01449b7195ce4a78fcfc1e\",\"name\":\"adminwa\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/5118570d863e9bebccd6a13a0e571e5515c30a2f455e20ed92788cb2b4e5c631?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/5118570d863e9bebccd6a13a0e571e5515c30a2f455e20ed92788cb2b4e5c631?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/5118570d863e9bebccd6a13a0e571e5515c30a2f455e20ed92788cb2b4e5c631?s=96&d=mm&r=g\",\"caption\":\"adminwa\"},\"sameAs\":[\"https:\\\/\\\/www.nae.fr\"],\"url\":\"https:\\\/\\\/www.nae.fr\\\/en\\\/author\\\/adminwa\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"AdaCore is an innovative provider of advanced software development and verification tools designed to support the creation of secure UAV systems for mission- and safety-critical applications. - NAE","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.nae.fr\/en\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/","og_locale":"en_US","og_type":"article","og_title":"AdaCore is an innovative provider of advanced software development and verification tools designed to support the creation of secure UAV systems for mission- and safety-critical applications. - NAE","og_description":"Unmanned Systems Technology (UST) is pleased to welcome AdaCore to its global supplier ecosystem. As a Gold Partner, the company is showcasing its comprehensive development toolkits that enable manufacturers and developers to create highly reliable and certifiable software systems for drones and unmanned platforms. AdaCore\u2019s\u00a0development solutions\u00a0support Ada, C\/C++, and Rust programming languages and are compatible […]","og_url":"https:\/\/www.nae.fr\/en\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/","og_site_name":"NAE","article_published_time":"2026-03-16T12:42:35+00:00","og_image":[{"width":378,"height":204,"url":"https:\/\/www.nae.fr\/wp-content\/uploads\/2026\/06\/AdaCore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-UAV-systems-for-mission-and-safety-critical-applications.jpg","type":"image\/jpeg"}],"author":"adminwa","twitter_card":"summary_large_image","twitter_misc":{"Written by":"adminwa","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.nae.fr\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/#article","isPartOf":{"@id":"https:\/\/www.nae.fr\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/"},"author":{"name":"adminwa","@id":"https:\/\/www.nae.fr\/#\/schema\/person\/3d658e930f01449b7195ce4a78fcfc1e"},"headline":"AdaCore is an innovative provider of advanced software development and verification tools designed to support the creation of secure UAV systems for mission- and safety-critical applications.","datePublished":"2026-03-16T12:42:35+00:00","mainEntityOfPage":{"@id":"https:\/\/www.nae.fr\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/"},"wordCount":165,"commentCount":0,"publisher":{"@id":"https:\/\/www.nae.fr\/#organization"},"image":{"@id":"https:\/\/www.nae.fr\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/#primaryimage"},"thumbnailUrl":"https:\/\/www.nae.fr\/wp-content\/uploads\/2026\/06\/AdaCore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-UAV-systems-for-mission-and-safety-critical-applications.jpg","keywords":["Actualit\u00e9s","D\u00e9veloppement des syst\u00e8mes intelligents","Drones"],"articleSection":["Innovation et technologique","RTI"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.nae.fr\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.nae.fr\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/","url":"https:\/\/www.nae.fr\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/","name":"AdaCore is an innovative provider of advanced software development and verification tools designed to support the creation of secure UAV systems for mission- and safety-critical applications. - NAE","isPartOf":{"@id":"https:\/\/www.nae.fr\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.nae.fr\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/#primaryimage"},"image":{"@id":"https:\/\/www.nae.fr\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/#primaryimage"},"thumbnailUrl":"https:\/\/www.nae.fr\/wp-content\/uploads\/2026\/06\/AdaCore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-UAV-systems-for-mission-and-safety-critical-applications.jpg","datePublished":"2026-03-16T12:42:35+00:00","breadcrumb":{"@id":"https:\/\/www.nae.fr\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.nae.fr\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.nae.fr\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/#primaryimage","url":"https:\/\/www.nae.fr\/wp-content\/uploads\/2026\/06\/AdaCore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-UAV-systems-for-mission-and-safety-critical-applications.jpg","contentUrl":"https:\/\/www.nae.fr\/wp-content\/uploads\/2026\/06\/AdaCore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-UAV-systems-for-mission-and-safety-critical-applications.jpg","width":378,"height":204},{"@type":"BreadcrumbList","@id":"https:\/\/www.nae.fr\/2026\/03\/16\/adacore-is-an-innovative-provider-of-advanced-software-development-and-verification-tools-designed-to-support-the-creation-of-secure-uav-systems-for-mission-and-safety-critical-applications\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Accueil","item":"https:\/\/www.nae.fr\/"},{"@type":"ListItem","position":2,"name":"AdaCore is an innovative provider of advanced software development and verification tools designed to support the creation of secure UAV systems for mission- and safety-critical applications."}]},{"@type":"WebSite","@id":"https:\/\/www.nae.fr\/#website","url":"https:\/\/www.nae.fr\/","name":"NAE","description":"NAE fili\u00e8re d'excellence...","publisher":{"@id":"https:\/\/www.nae.fr\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.nae.fr\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.nae.fr\/#organization","name":"NAE","url":"https:\/\/www.nae.fr\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.nae.fr\/#\/schema\/logo\/image\/","url":"https:\/\/www.nae.fr\/wp-content\/uploads\/2025\/10\/nae-logo.svg","contentUrl":"https:\/\/www.nae.fr\/wp-content\/uploads\/2025\/10\/nae-logo.svg","width":84,"height":52,"caption":"NAE"},"image":{"@id":"https:\/\/www.nae.fr\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/www.nae.fr\/#\/schema\/person\/3d658e930f01449b7195ce4a78fcfc1e","name":"adminwa","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/5118570d863e9bebccd6a13a0e571e5515c30a2f455e20ed92788cb2b4e5c631?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/5118570d863e9bebccd6a13a0e571e5515c30a2f455e20ed92788cb2b4e5c631?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/5118570d863e9bebccd6a13a0e571e5515c30a2f455e20ed92788cb2b4e5c631?s=96&d=mm&r=g","caption":"adminwa"},"sameAs":["https:\/\/www.nae.fr"],"url":"https:\/\/www.nae.fr\/en\/author\/adminwa\/"}]}},"_links":{"self":[{"href":"https:\/\/www.nae.fr\/en\/wp-json\/wp\/v2\/posts\/57213","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.nae.fr\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.nae.fr\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.nae.fr\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.nae.fr\/en\/wp-json\/wp\/v2\/comments?post=57213"}],"version-history":[{"count":0,"href":"https:\/\/www.nae.fr\/en\/wp-json\/wp\/v2\/posts\/57213\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.nae.fr\/en\/wp-json\/wp\/v2\/media\/57214"}],"wp:attachment":[{"href":"https:\/\/www.nae.fr\/en\/wp-json\/wp\/v2\/media?parent=57213"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nae.fr\/en\/wp-json\/wp\/v2\/categories?post=57213"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nae.fr\/en\/wp-json\/wp\/v2\/tags?post=57213"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}