Adelard was a significant contributor to a study commissioned by the UK Health Foundation in 2012 that produced a comprehensive review of the use of safety cases in industry, aiming to determine how healthcare in the UK could use safety cases in the future.
The UK Health and Safety Executive (HSE) recently commissioned research from Adelard into how pre-existing software components may be safely used in safety-related programmable electronic systems in a way that complies with the IEC 61508 standard. Two reports resulted from this work and are now published on the HSE web site.
The application of formal methods has a long history but they have not been substantially adopted by the software engineering community at large. To gain a perspective of what is working and what is not in the formal methods area we have reviewed their use by industry and the results of past R&D programmes. The objective is to identify crucial factors leading to the success or failure of the application of formal methods and in doing so provide a perspective on the current formal methods landscape. The overall aim is to inform future formal methods dissemination activities and other initiatives.