Our aim is to create software with the highest levels of reliability for all applications. Our foundation for achieving this is a framework of procedures and standards that define all aspects of our development process.

This framework is effective in the production of high-quality software, and in providing efficient project management. It generates the essential evidence to meet certification standards including DO-178B/C, EN-50128 and ISO 26262.

Having effective processes and standards is essential for developing high integrity software, but it also demands in-depth knowledge and expertise. Our core team of engineers all have extensive experience in the defence and aerospace industries.

We advocate using Ada in the implementation of high integrity systems. Using Ada fits well with our development strategy to produce software with the highest possible reliability. Ada possesses unique features that give it a clear advantage when developing this type of software.

Ada has always provided support for real-time and embedded systems, this has been further enhanced as the language has evolved. The latest version Ada 2012 is a modern fully object-oriented language, suitable for creating almost any software system.

It is a mature language with a strong track record in large and complex systems that are long lived.

To deliver the software our clients require, we adhere to a set of development objectives.

  • Create software that is well designed and easy to maintain.

  • Meet and surpass the current standards for safety critical systems.
  • Implement software in the Ada or SPARK languages where possible.
  • Produce high software within agreed timescales and budgets.
  • Develop systems in the understanding that they will evolve over time
  • Attempt to deal with changes on a project without significantly impacting costs.