Spark Ada flies into Thales development

News

Spark Ada flies into Thales development

Antony Savvas

Praxis has won a contract with Thales UK to support its aircraft management software development.

Praxis will supply the Spark Ada toolset as part of ongoing product development by Thales in aircraft mission management and mission planning.

Thales UK specialises in developing software for evaluation and validation of mission plans, and to ensure that this software is developed to the required standard Spark Ada is being used as part of the development process.

Spark provides a programming language and verification environment for high-integrity software.

The core Spark language combines an unambiguous subset of the Ada programming language, with annotations or "contracts" that allow wholly static verification of key program properties such as information flow, absence of run-time errors, program correctness, and invariant safety and security properties.





Email Alerts

Register now to receive ComputerWeekly.com IT-related news, guides and more, delivered to your inbox.
By submitting you agree to receive email from TechTarget and its partners. If you reside outside of the United States, you consent to having your personal data transferred to and processed in the United States. Privacy
 

COMMENTS powered by Disqus  //  Commenting policy