JSF++: Run-Time Checking Provided

error

jsf_runtime_checking_provided

coding-standards safety pure_temporal coding-standardjsfavionicscppsafety-criticalrag-red

Safety-critical (SEAL 1/2) software makes provision for run-time checking (defensive programming).

Formula

G(safety_critical → runtime_checking)

Why it matters

JSF++ AV Rule 15: provision shall be made for run-time checking (defensive programming); for SEAL 1 or SEAL 2 software, provisions ensure proper operation of software and system function.

Examples

passes the compliance-process step is evidenced

fails the required approval/record is absent

Use it

ponens policies add jsf_runtime_checking_provided --into ./trace.json
ponens trace check ./trace.json