search

radon-h2020 / radon-verification-tool

RADON Verification Tool Demo
0 stars 0 forks source link

Given a RADON model that violates some constraints, the tool could provide corrections to the RADON model to ensure that it complies with the constraints #17

Open marklaw opened 4 years ago

marklaw commented 4 years ago

From D2.1 (Companion)

ID R-T4.1-9
Section WP4: Modelling Environment Requirements
Type FUNCTIONAL_SUITABILITY
User Story As a QoS Engineer/Operations Engineer, I would like to be able to use the verification tool to get a suggestion of how to correct a RADON model that violates some of my constraints.
Requirement Given a RADON model that violates some constraints, the tool could provide corrections to the RADON model to ensure that it complies with the constraints.
Extended Description We may search for minimal changes. Minimal changes are desirable to keep the model as close to the model that the user intended.
Priority Could have
Affected Tools VT
Means of Verification Evaluation on a dataset of CDL correction specifications.
Dependency R-T4.1-1, R-T4.1-2, R-T4.1-3
marklaw commented 4 years ago

@gcasale Similarly to RT4.1-5, I have downgraded the means of verification. Again, we can still do the proofs if it is too late to change this.

gcasale commented 4 years ago

What was it before?