Software is increasingly taking control in new and demanding environments, as it does so its safety and reliability will come under increased scrutiny. We create software to meet these challenges, to operate at the highest levels of reliability.

Whether choosing tools, defining standards and processes or forming a team, making the right decisions is important. Our choices are always determined by the goal of maintaining a development environment that is both effective and efficient.

Our processes and procedures ensure that we have an attention to detail in all aspects of our development process. They are designed to satisfy current certification standards DO-178B/C, EN-50128, and ISO 26262.

Legacy systems with little or no documentation are common, even within the domain of safety critical software. We can provide analysis and enhancement of these systems, bringing them into line with current standards.

One of our preferences is to use the Ada and SPARK as implementation languages for our software. Ada is designed with high reliability in mind, and it possesses features that give it a clear advantage when developing this type of software.