Labels
Labels
47 labels
backlog
Blocked
Committer Validation
D4.1 VnV Plan Review
D4.2.1 MODEL-Verification
D4.2.2 CODE-Verification
D4.2.3 Safety Plan
D4.3 Deliveries
deferred
Done
Impediment
in progress
In Work
Ready
safety
testing
TestSpecificationAvailable
US-Assess-Project-Results
US-Concurrent-Verification-and-Validation
US-Create-Verification-Plan
US-Define-Data-Structure
US-Define-Toolchain-Constraints
US-Define-Verification-Task
US-Perform-Hazard-and-Risk-Analysis
US-Provide-V&V-Process-Description
US-Verify-Architecture-Model
US-Verify-Behavioural-Model
US-Verify-Safety-Objectives
User Story 1
User Story 10