Praxis wins Wildcat contract

News

General Dynamics UK has chosen Praxis’ SPARK language as part of its £6m contract to develop the safety-critical Stores Management System for the Royal Navy’s new AW159 Lynx Wildcat helicopter.

The global supplier of critical systems engineering and assurance will be supplying its programme language and toolset for the development and verification of software that meets the Ministry of Defence’s (MoD) safety standards.

The contract will involve up to seven developers creating the software that will control the deployment of weaponry from the AW159 Lynx Wildcat. The project is expected to cover more than 40,000 lines of SPARK code and will be complete by the middle of 2011.

The AW159 Lynx Wildcat, formerly known as the Future Lynx, will be the Royal Navy’s new maritime surveillance and attack helicopter and will enter service in 2015.

The helicopter has been designed to act in an anti-submarine role and protect ships against surface threats. The software will allow the AW159 to operate a lightweight Sting Ray torpedo as well as the Future Air-to-Surface Guided Weapon (FASGW).

Register now to continue reading

Thanks for visiting The Engineer. You’ve now reached your monthly limit of news stories. Register for free to unlock unlimited access to all of our news coverage, as well as premium content including opinion, in-depth features and special reports.  

Benefits of registering

  • In-depth insights and coverage of key emerging trends

  • Unrestricted access to special reports throughout the year

  • Daily technology news delivered straight to your inbox

Register
Or continue by

Signing in with your registered email address