Yichen Wang

JTA: Joint Testability Architecture for Scenario-Based Validation of Safety-Critical Software

JTA provides an architectural basis for modeling, designing, and assessing scenario-based validation in safety-critical software and shows that link-loss scenarios are comparatively mature, whereas state-estimation anomaly scenarios remain harder to validate because evidence alignment and attribution semantics are weaker.