BRISTOL, England – Software experts from QinetiQ in Bristol, England, needed software design and development tools to address software tool obsolescence. They found their solution from AdaCore in New York City.
QinetiQ has selected the AdaCore Mentorship Service to address software tool obsolescence by modernizing the development environment for the company's Trials Control System (TCS) -- a command-and-control system designed for the training, test, and evaluation of military equipment.
The upgrade from the legacy SPARK programming language to the latest version of the technology, SPARK 2014, was to sustain the safety-critical software development capability required by TCS.
SPARK is a computer language and toolset that brings mathematics-based confidence to software verification. The latest version of SPARK provides QinetiQ with the foundation for a sound formal verification framework and static analysis toolset.
One of the key features of SPARK technology is the ability to express behavioral properties that software engineers must implement correctly, and then checked by the verification toolset.
The AdaCore Mentorship Service provides QinetiQ with hands-on guidance from AdaCore's formal software-verification experts through customized on-site training, virtual project meetings, and follow-up support.
QinetiQ also has selected a multi-year subscription contract for AdaCore's software development tools, including GNAT Pro and SPARK Pro.
"As the lead engineer of the QinetiQ TCS product, I can thoroughly recommend AdaCore's Mentorship Service," says Michael Smith, technical lead of software engineering at QinetiQ. "Faced with the complexities of upgrading a code-base dating from 2004 and comprising several hundred thousand lines of code, I was keen to engage early on with AdaCore."
AdaCore Mentorship Services services can include virtual and on-site training sessions, project meetings to monitor project progress and discuss outstanding issues, access to tool evaluations to explore benefit to your project, and direct code assistance on the customer application.