Our solutions

Discover our extended range of solutions.

Analysis of Software

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. We have extensive experience both in development and research of static and dynamic analysis techniques and in their application as part of safety justifications. We can assist customers in selecting combinations of techniques to achieve the desired level of confidence in the reliability of a system.

More about analysis of software
A close-up of a laptop keyboard with a finger pressing down the 'F' key.

Assessment of Software Development

The development process followed for safety critical software influences the reliability of the software. Adelard provide clients with an assessment of their software development processes and the potential effect these may have on the safety of their systems.

More about assessment of software development

A pair of laptops both showing screens full of code. A pair of hands rests on the nearest laptop keyboard.


The advancement and adoption of Machine Learning (ML) algorithms are a crucial innovative disruption. However, to benefit from these innovations within security and safety-critical domains we need to be able to evaluate the risk and benefits of the technologies used: in particular we need to assure ML-based and autonomous systems. Adelard has experience in working in the area of assuring autonomous systems and systems with AI/ML components.

More about autonomy

Cars travelling down a four lane road. An overlay shows radiating lines in four directions from each vehicle, and an indication of a wi-fi signal on top.

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.

More about hazard and threat analysis

Cars moving very fast across 8 lanes of a motorway, most are blurred.


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

More about ISA

A Chinook helicopter taking off in the desert.


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

More about research

A pair of monitor screens showing complex dashboards of data as graphs. A hand holds a pen and is pointing at one graph.

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, assist our clients in deploying them on a wide variety of systems and provide training and tool support.

More about safety and assurance cases

A mind-map diagram showing an assurance case methodology.


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. Adelard have been developing and deploying an approach to security-informed safety based on a risk assessment methodology and the use of structured safety cases based on claims, arguments, evidence (CAE).

More about security

In the background is a keyboard with the return key replaced by a 'Security' key. In front is a padlock and chain.