issues
search
openETCS
/
validation
WP4: Validation and verification strategy
8
stars
22
forks
source link
Grooming of D4.4
#313
Open
MarcBehrens
opened
9 years ago
MarcBehrens
commented
9 years ago
General Setup of Verification and Validation putting the different activities in the context of the CENELEC
General Scope: Summing up the findings of
D4.3.1: Model Verification and Validation #312
D4.3.2: Code/ Implementation Verification and Validation #311
D4.3.3: Process/ Tools/ Safety Verification and Validation #310 including evaluation criteria on the correctness.
Report on overall traceability (SysML, SCADE, Code, Test-Specifications, Test-Reports)
Coverage of requirements
Exploitable Results and Outlook
Covering VnV documents Number 24-35 of
document mapping