Project

General

Profile

Feature #4063

Reconfiguration backend

Added by Simon Barner about 1 month ago. Updated 4 days ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
09/23/2020
Due date:
% Done:

0%

Estimated time:

Description

  1. in org.fortiss.af3.exploration
    • Introduce new ISynthesisCategory specialization in exploration.ecore
    • Consider in org.fortiss.af3.exploration.util.ExplorationCLIUtils.getExplorationTypeByArgument(String)
  2. in org.fortiss.af3.reconfiguration
    • Introduce Z3ReconfigurationBackend (use Z3Backend as template)
    • Introduce ReconfigurationRun skeleton (use DeploymentRun as template
      • getSolutionEntryType(): returning AllocationEntry.class should be OK (redundant deployment)
      • getSolutionModelName() return e.g. "TA -> HW (redundant)"
      • All other abstract methods of SolverRun can be implemented as stubs for now
    • Integration of backend using org.eclipse.ui.startup extension point
      • Create specialization of IStartup
      • Register new backend in earlyStartup: IDSEBackendService.getInstance().registerDSEBackend(new Z3ReconfigurationBackend());
  3. Include Backend settings defined in #4050 in this branch.

Test: Reconfiguration exploration is offered in "Synthesis" view of DSE perspective.

History

#1 Updated by Simon Barner about 1 month ago

  • Description updated (diff)

#2 Updated by Simon Barner 25 days ago

  • Status changed from New to Feedback

#3 Updated by Simon Barner 24 days ago

  • Status changed from Feedback to Resolved
  • Assignee changed from Saad bin Abid to Johannes Eder

All MRs have been merged, please close.

#4 Updated by Johannes Eder 4 days ago

  • Status changed from Resolved to Closed
  • Assignee deleted (Johannes Eder)

Also available in: Atom PDF