AdaCore’s software development kit for the Ravenscar profile
The key highlight of the new kit was its run-time environment situated on the target, exerting full control over the running application. AdaCore had to conduct extensive testing to meet the rigorous quality standards set by ESA. To achieve the stipulated 100% statement coverage, AdaTEST 95 was selected.