{"id":61485,"date":"2019-09-25T01:08:50","date_gmt":"2019-09-24T17:08:50","guid":{"rendered":"https:\/\/wp-productionenv-bjg9h2g2bgg5b8aa.southeastasia-01.azurewebsites.net\/news\/esa-selects-adacore-for-spacecraft-software-development-solution\/"},"modified":"2019-09-25T01:08:50","modified_gmt":"2019-09-24T17:08:50","slug":"esa-selects-adacore-for-spacecraft-software-development-solution","status":"publish","type":"post","link":"https:\/\/starpath.global\/news\/esa-selects-adacore-for-spacecraft-software-development-solution\/","title":{"rendered":"ESA Selects AdaCore for Spacecraft Software Development Solution"},"content":{"rendered":"<\/p>\n<p>The <strong>European Space Agency<\/strong> (ESA) selected <strong>AdaCore<\/strong>, a provider of software development and verification tools, to provide a qualified multitasking solution for spacecraft software development to support multiple ongoing and future ESA projects.<\/p>\n<p>As part of this contract, AdaCore has implemented a pre-qualified version of the Ravenscar Small Footprint (SFP) library \u2014 a configurable Ada run-time library that implements the Ravenscar profile, allows customization for specific platforms and capabilities, and is suitable for qualification in different domains, particularly those in which certification or a reduced footprint is needed.<\/p>\n<p>\u201cReliability of mission-critical software is a key factor for ESA satellite missions,\u201d said Mark Dean, Software Engineer, European Space Agency. \u201cWe are confident that AdaCore\u2019s tools and run-time environment are able to provide a solid base for the development and qualification of such applications. The recent cooperation between ESA and AdaCore to pre-qualify the generic elements of AdaCore\u2019s Ravenscar SFP run-time towards the European Cooperation for Space Standardization (ECSS) software standards ensures these tools are readily available to the European space industry and offers a clear path towards software qualification on a number of upcoming missions.\u201d<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The European Space Agency (ESA) selected AdaCore, a provider of software development and verification tools, to provide a qualified multitasking solution for spacecraft software development to support multiple ongoing and future ESA projects. As part of this contract, AdaCore has implemented a pre-qualified version of the Ravenscar Small Footprint (SFP) library \u2014 a configurable Ada [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":61487,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":"","_links_to":"","_links_to_target":""},"categories":[2],"tags":[],"class_list":["post-61485","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news"],"acf":[],"_links":{"self":[{"href":"https:\/\/starpath.global\/blog\/wp-json\/wp\/v2\/posts\/61485"}],"collection":[{"href":"https:\/\/starpath.global\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/starpath.global\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/starpath.global\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/starpath.global\/blog\/wp-json\/wp\/v2\/comments?post=61485"}],"version-history":[{"count":0,"href":"https:\/\/starpath.global\/blog\/wp-json\/wp\/v2\/posts\/61485\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/starpath.global\/blog\/wp-json\/wp\/v2\/media\/61487"}],"wp:attachment":[{"href":"https:\/\/starpath.global\/blog\/wp-json\/wp\/v2\/media?parent=61485"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/starpath.global\/blog\/wp-json\/wp\/v2\/categories?post=61485"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/starpath.global\/blog\/wp-json\/wp\/v2\/tags?post=61485"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}