SPARK used to develop safety-critical system for AgustaWestland AW159 Lynx Wildcat.
Praxis, the international specialist in critical systems engineering and assurance, today announced that General Dynamics UK has selected Praxis’ SPARK language as part of its £6 million contract to develop the safety-critical Stores Management System for the Royal Navy’s new AgustaWestland AW159 Lynx Wildcat helicopter.
New open source tool suite improves high assurance software projects
NEW YORK, PARIS and LONDON, March 24, 2009 – Ada UK Conference – Developers creating safety critical and high assurance systems will benefit from today’s launch of SPARK Pro. The new open source development environment has been created by Praxis, international specialist in critical systems engineering, and AdaCore, the leading provider of commercial software solutions for the Ada language.
Product integration takes the SPARK language and toolset to the next level
BOSTON, October 28, 2008 – Embedded Systems Conference – Praxis, international specialist in critical systems engineering, and AdaCore, provider of the highest quality Ada tools and support, have announced the formation of a long-term partnership with the intent of taking the SPARK language and toolset to a new level in technical capability, marketing and sales.
Tokeneer project shows the way to develop secure systems in a rigorous and cost-effective manner
NEW YORK, PARIS, and BATH, U.K., October 6, 2008, – VSTTE 2008 – The development of highly secure, low defect software will be dramatically helped by the release of the Tokeneer research project to the open source community by the US National Security Agency (NSA).
