General Dynamics has selected SPARK, a computer programming language developed by the critical systems engineering company Praxis, for use on the safety-critical stores management system aboard the UK Royal Navy’s new AW159 Lynx Wildcat helicopter.

SPARK is a high-level programming language and toolset intended to be secure and to support the development of safety and security applications.

The programming language enables the application of formal verification techniques in a segregated monitor architecture to ensure rapid compliance.

The stores management system controls the deployment of weaponry from the navy’s new maritime surveillance and attack helicopter, the AgustaWestland AW159 Lynx Wildcat, scheduled to enter service in 2015.

How well do you really know your competitors?

Access the most comprehensive Company Profiles on the market, powered by GlobalData. Save hours of research. Gain competitive edge.

Company Profile – free sample

Thank you!

Your download email will arrive shortly

Not ready to buy yet? Download a free sample

We are confident about the unique quality of our Company Profiles. However, we want you to make the most beneficial decision for your business, so we offer a free sample that you can download by submitting the below form

By GlobalData
Visit our Privacy Policy for more information about our services, how we may use, process and share your personal data, including information of your rights in respect of your personal data and how you can unsubscribe from future marketing communications. Our services are intended for corporate subscribers and you warrant that the email address submitted is your corporate email address.

A total of seven developers will use SPARK to write more than 40,000 lines of code for the project which is expected to be complete in mid 2011.

General Dynamics UK contracted Praxis for SPARK as part of a £6m contract with the Royal Navy.