← All countermeasures

CM0066

IDS/IPS

Model-based System Verification

Description

Real-time physics model-based system verification of state could help to verify data input and control sequence changes

Mapped techniques

SPARTA techniques

DE-0003.10 GPS EphemerisST0006
Mapped by SPARTA, not curated by SafeMode Space.
EX-0012 Modify On-Board ValuesST0004
Mapped by SPARTA, not curated by SafeMode Space.
EX-0012.08 Attitude Determination & Control SubsystemST0004
Mapped by SPARTA, not curated by SafeMode Space.
EX-0014.03 Sensor DataST0004
Mapped by SPARTA, not curated by SafeMode Space.

Built 2026-07-25 from 216 techniques, 334 regulation articles, 125 ENISA controls, 2,610 framework controls, and 90 countermeasures.