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.
The development process followed for safety critical software influences the reliability of the software.
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…
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.
Adelard acts as both Independent Safety Auditors, Independent Safety Advisors and Independent Safety Assessors (these terms are all abbreviated as “ISA”).
Adelard undertakes contract research studies for industry, including both long-term national and international projects or short term projects for single industrial clients.
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.
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.