radon-h2020 radon-verification-tool issues

radon-h2020 / radon-verification-tool

RADON Verification Tool Demo

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

The VT-plugin should be able to update the TOSCA model when it finds a correction

#23 marklaw opened 4 years ago
2
The CDL input format must be able to represent a space of possible constraints.

#22 marklaw opened 4 years ago
0
The CDL input format must be able to represent sets of valid/invalid RADON models.

#21 marklaw opened 4 years ago
0
Given a set of valid and a set of invalid RADON models, a space of possible constraints, and a partial CDL specification, the VT must be able to complete the specification such that all the valid models conform to the completed specification and none of the invalid models do so.

#20 marklaw opened 4 years ago
0
Given a space of possible RADON models (in a dynamic situation, new devices such as robotic assistants may be added/taken away), the tool could verify that any RADON model in the space complies with a set of hard constraints

#19 marklaw opened 4 years ago
2
This computation should complete within a predefined maximum time.

#18 marklaw opened 4 years ago
0
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 marklaw opened 4 years ago
2
The computation to check for race conditions, execution loops and deadlocks should return within a predefined maximum time

#16 marklaw opened 4 years ago
0
The verification tool should be able to check for the existence of potential race conditions and/or execution loops and related deadlocks that could happen

#15 marklaw opened 4 years ago
2
This computation to check whether hard constraints are satisfied by a RADON model should return within a predefined maximum time

#14 marklaw opened 4 years ago
0
The verification tool must be able to check that hard constraints are guaranteed to be satisfied by a given RADON model

#13 marklaw opened 4 years ago
1
The CDL should be able to express soft constraints on the required security/performance

#12 marklaw opened 4 years ago
2
he CDL must be able to express hard constraints on the architectural patterns of sets of nodes

#11 marklaw opened 4 years ago
0
The CDL must be able to express hard constraints on the required security/performance

#10 marklaw opened 4 years ago
2
The CDL must be able to express pre/post conditions of serverless functions regarding security/performance

#9 marklaw opened 4 years ago
2
Usage scenario 8: Learn CDL specification (Verification Tool)

#8 marklaw opened 4 years ago
0
Usage scenario 7: Search for correction to TOSCA model (Verification Tool)

#7 marklaw closed 4 years ago
0
Usage scenario 6: Verify CDL specification and TOSCA model (Verification Tool)

#6 marklaw closed 4 years ago
0
Usage scenario 5: Trigger CDL learning (RADON IDE)

#5 marklaw opened 4 years ago
0
Usage scenario 4: Request correction to TOSCA model (RADON IDE)

#4 marklaw closed 4 years ago
2
Usage scenario 3: Verify CDL specification and TOSCA model (RADON IDE)

#3 marklaw closed 4 years ago
0
Usage scenario 2: Add example (RADON IDE)

#2 marklaw opened 4 years ago
0
Usage scenario 1: Update CDL specification (RADON IDE)

#1 marklaw closed 4 years ago
0