Supplementary data of "Symbolic Planning for Autonomic Cyber Defence: Safe Recovery of Cyber-Physical Systems over a Live Knowledge Graph"

The raw data of the study reported in the article "Symbolic Planning for Autonomic Cyber Defence: Safe Recovery of Cyber-Physical Systems over a Live Knowledge Graph": the measurements and traces of every harness run of the study, made with one frozen revision of the recovery loop on a reference vessel designed from public standards and run on three identical workstations. For each of the 68 runs, the archive holds one row per workload with its settling, burst and drain times, per-component latencies, window updates, plans, alerts and budgets; the traces of the end-of-batch marker, of the batching window, of the planner and of the executor; every planning instance and every plan found, with its cost and action sequence; for the reference run, the validation of every plan by the domain simulator and by the plan validator VAL, and the scores of the baselines and of the sensitivity study; the plans of the running example; and the offline searches of the exact configuration of the search against its fallback. Every timestamp is expressed as the seconds elapsed since the first event of its sub-run, a sub-run being the workloads of one smoothing factor and one repetition. The README file describes every file and column, and a checksum file lists every other file. The model of the vessel, the planning domain, the source code of the loop and the harness are not part of the deposit.