Case reference
Underwater Acoustic Defence System
Challenge
A major provider of naval electronic warfare systems recognised that the successful delivery of an Underwater Acoustic Defence System was heavily dependent upon the successful completion of the safety -critical software in the stores control unit. Recognising that this was an area in which they had insufficient capability, Praxis was contracted to manage and develop the stores control software.
Praxis provided an on-site capability consisting of a Software Manager experienced in the development of safety critical military warfare applications, supported by an experienced software team. Praxis worked with the client to deploy a team of engineers, integrated on-site with the client’s engineers. Praxis staff were able to take a range of leadership roles as well as technical roles to both deliver the client’s system, and provide coaching and mentoring to the client’s staff in some of the novel development technologies being deployed.
The Praxis team planned, managed and delivered the SIL 3 software. The software was developed in SPARK, following Defence Standard 00-55.
The system was one of the first that needed to be developed to JSP 420, which demands the production of a safety case to be approved by the UK Ministry of Defence. Praxis, having worked with safety critical systems for many years, provided a Safety Manager, who worked closely with the customer and the Ministry to develop the safety case.
Outcome
The software system was delivered on-time together with an
innovative product-led safety argument that significantly reduced the cost of the safety activities and ensured the successful certification of the software.