Creating a No Migration Constraint - RISE
Build a No Migration Constraint.
Intuition: If the software component is not deployed on to the ECU, it cannot be deployed later afterwards.
- Parameters required for the NoMigrationConstraint
- Initial Failure Scenario (FS)
- SuperSet of ECUs
- SuperSet of Components/Tasks
- SuperSet of FailureScenario i.e. ScenarioGraph
Task: Implement a reasonable way of describing a failure scenario and later complete the NoMigrationConstraint constraint