ALADDIN verification of sensing through data-driven anomaly detection

Overview

Describes inputs and verification activities for sensing and data-driven anomaly detection, including sensor inventories, synchronised readings and hazard-analysis knowledge. A 19-day underwater-glider field test illustrates the method; transfer to other autonomous systems remains an application to be justified and verified.