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.
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.
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.