← Policy gallery

jsf_certified_libraries_only

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

Only DO-178B Level A certifiable (SEAL 1) C/C++ libraries are used with safety-critical code.

Formula

G(safety_critical ∧ library_use → certified_library)

Why it matters

JSF++ AV Rule 16: only DO-178B Level A certifiable or SEAL 1 C/C++ libraries shall be used with safety-critical (SEAL 1) code.

Examples

passes the compliance-process step is evidenced

fails the required approval/record is absent

Use it

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