Runtime verification: more formal (also temporal logic properties LTL, CTL)
Generate additional monitoring code, additional monitor processes Programmable specification-based corrective actions Monitoring and reporting protocol both on-board and off-board
@sergio.feo.arenis : can you elaborate, give some examples of what you concretely expect?