SysAda are specialists in the development of high integrity and embedded software, for use in aerospace, automotive, rail and other critical systems.

RELIABLE SOFTWARE

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.

MAKING THE RIGHT DECISIONS

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.

ATTENTION TO DETAIL

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.

CERTIFIABLE AI

Models based on machine leaning are now reality in high integrity systems. We are investigating how these models can be verified and ultimately certified.

LEGACY SYSTEMS DEVELOPMENT

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.

ADA PROGRAMMING LANGUAGE

One of our preferences is to use 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.