GitHub repository: GIS-S-mart/Benchmark-1_MBSE_for_Early_Validation_and_Verification
Description: This benchmark aims at building confidence in the usefulness of the new methods and tools with respect to the validation of specifications and the verification of designs. Qualitative and quantitative standardised metrics help to compare studies and to measure the technical progress.