Adelard resources

We have a number of items of interest to the safety researcher. Check the sections below for more detailed information.

Claims Arguments Evidence (CAE)

Dedicated community website.

ASCAD Manual

The Adelard Safety Case Development (ASCAD) Manual.

The manual covers constructing a safety case for a new system and retrospective development of a safety case for an existing system. The use of COTS (commercial off-the-shelf software) in a safety related system is also covered. The approach defined in the manual is generic and applicable across a wide range of technologies.


Important reports co-authored by Adelard.

Research Papers

Published research papers concerning systems and software dependability.