We have a number of items of interest to the safety researcher.
Check the sections below for more detailed information.
Resources
Claims Arguments Evidence (CAE)
Dedicated community website.
Resources
ASCAD Manual
The manual covers constructing a safety case for a new/existing system and the use of COTS (commercial off-the-shelf software) in a safety related system.
Resources
Reports
Important reports co-authored by Adelard.
Resources
Research Papers
Published research papers concerning systems and software dependability.