The Business AdaCore’s division in Paris were contracted by the European Space Agency (ESA) to create a high-integrity software development kit that would produce mission- and safety-critical systems for satellites. The ESA decided early on that the new software development kit would support the Ravenscar profile. Although Ada is regarded as the ‘natural’ computer language for safety-critical software, refinements to the language, as is the R

Join for free to read