At Adelard, we are experts at using advanced static and dynamic analysis techniques to assess the software used in safety-critical systems. Static analysis is one of the most successful techniques used to build confidence in the reliable performance of software, and to identify subtle errors.

Assessment of Software Development
The development process followed for safety critical software influences the reliability of the software.

Hazard and Threat Analysis
Hazard analysis is a key part of Adelard’s overall system safety assessments. We use hazard analysis to identify potential weaknesses in a system that can then be addressed by technical or operational changes that will enhance the system’s safety.

ISA
Adelard acts as both Independent Safety Auditors, Independent Safety Advisors and Independent Safety Assessors (these terms are all abbreviated as “ISA”).

Research
Adelard undertakes contract research studies for industry, including both long-term national and international projects or short term projects for single industrial clients.

Safety and Assurance Cases
Adelard has been at the forefront of the development and deployment of safety and assurance cases. We develop assurance case methodologies, deploy them on a wide variety of systems and provide training and tool support.

Security
For a system to be safe, it also has to be secure. Otherwise, a safety critical system – one that can harm or injure people – could provide attackers with a potential mechanism for causing widespread damage or panic, and it is credible that such systems could become the target of malicious actions.

Training services
Adelard offers a portfolio of training courses in different areas relevant to safety and security. These courses range from one day to several weeks, and can be delivered either at our London offices or at clients' preferred locations.