Praxis High Integrity Systems was founded to exploit the best computer science, as embodied in the best current software development methods; to build software that works in applications where it matters. We deploy a blend of mature software engineering techniques, leading-edge tools and innovative approaches.

Our approach to software engineering is called 'Correctness by Construction'.

Our experience shows that 'Correctness by Construction' is highly cost effective because it results in:

• High productivity – our approach saves significant testing effort.
• Low defect software – our approach results in very few errors remaining post-delivery.
• Warranted software – our confidence is reflected in our standard issue of a software warranty.
• Low support costs – our software is easy to maintain, with faults fixed under warranty.
• Satisfied customers – our approach is geared towards meeting client's underlying business requirements.

Praxis High Integrity Systems and its clients have successfully applied 'Correctness by Construction' on a range of projects, including projects that were already in progress as well as green-field projects.

• Lockheed carried out DO-178B Level A testing of the mission computer software for C-130J for a fifth of the normal cost in industry.
• We were the first company to deliver a software system to DEF STAN 00-55.
• We have recently produced an application note on 'Software and EN50128' as a supplement to the Yellow Book, which we manage and edit.

Read more about our seven key principles of 'Correctness by Construction'.

Discover how we can help you.

Case Study: Read about a recent Praxis High Integrity Systems project that delivered software 2.5 times as reliable as the space shuttle software, yet at a fifth of the industry standard cost.