Project

General

Profile

Feature #3482

DSE Project Model Redesign

Added by Simon Barner about 2 years ago. Updated over 1 year ago.

Status:
Closed
Priority:
Normal
Category:
-
Start date:
06/11/2018
Due date:
02/28/2019
% Done:

100%

Estimated time:
(Total: 21.25 h)

Description

Requirements
  • Support arbitrary combination of applications of DSE
  • Keep consistent view on corresponding artifacts (initially imported or generated)
  • Consistent constraints (and therefore also super sets)
Implementation ideas
  • Use tree to represent artifacts and runs
  • Create copies where needed (as naive alternative to model versioning)
Model migration
  • Do due the massive structural changes, the information contained in DSE projects with AF3 version <= 2.14 will not be migrated.
  • Rather, a simple migrator that completely removes old DSE projects will be implemented. This is also assumed by the exploration-related changes performed in #3337.

Subtasks

Feature #3435: [JavaFX] Migrate the DSE Navigator (6 errors)ClosedAlexander Diewald

Feature #3621: Resolve errors in the testing code of the exploration.smt plugin (31 errors)ClosedAlexander Diewald

Feature #3622: Replace the DSEContentProviderBase (6 errors)ClosedAlexander Diewald

Feature #3623: Resolve errors in the DSEPerspectiveManager (8 errors)ClosedAlexander Diewald

Feature #3625: Resolve errors in the DeploymentSynthesisViewBackend (17 errors)ClosedAlexander Diewald

Feature #3626: Resolve errors in the ScheduleSynthesisViewBackend (6 errors)ClosedAlexander Diewald

Feature #3627: Logic for the creation of the TargetDefinition and the ExplorationStepClosedAlexander Diewald

Feature #3629: Redo the event definition in the ProcessManagerClosedAlexander Diewald

Bug #3649: Reenable Explorations without constraintsClosedAlexander Diewald

Support #3656: Review non-exploration AF3 pluginsClosedAlexander Diewald

Support #3657: Review kernel pluginsClosedSimon Barner

Support #3658: Review exploration.ui pluginClosedJohannes Eder

Support #3659: Review the exploration pluginClosedMarco Volpe

Bug #3668: NPE when launching Deployment+Schedule synthesisClosedMarco Volpe

Support #3660: Review the exploration.smt pluginClosedAlexander Diewald


Related issues

Related to Bug #3579: Running joint DeploySched synthesis creates a new SMTObjective on each runRejected11/19/2018

Related to Support #3389: Greenify exploration.uiClosed04/20/2018

Blocks Feature #2918: History Concept for af3.explorationRejected04/09/201704/27/2017

History

#1 Updated by Simon Barner almost 2 years ago

  • Status changed from New to In Progress
  • Assignee changed from Simon Barner to Alexander Diewald
  • Target version changed from AF3 2.14 RC1 (Feature Freeze) to AF3 2.15 RC1 (Feature Freeze)

#2 Updated by Simon Barner almost 2 years ago

  • Description updated (diff)

Document decision regrading model migration.

#3 Updated by Alexander Diewald almost 2 years ago

  • Related to Bug #3579: Running joint DeploySched synthesis creates a new SMTObjective on each run added

#4 Updated by Alexander Diewald over 1 year ago

  • Related to Feature #2918: History Concept for af3.exploration added

#5 Updated by Alexander Diewald over 1 year ago

  • Related to deleted (Feature #2918: History Concept for af3.exploration)

#6 Updated by Alexander Diewald over 1 year ago

  • Blocks Feature #2918: History Concept for af3.exploration added

#7 Updated by Alexander Diewald over 1 year ago

#8 Updated by Alexander Diewald over 1 year ago

  • Target version changed from AF3 2.15 RC1 (Feature Freeze) to AF3 2.15 RC1 (Feature Freeze)

#9 Updated by Alexander Diewald over 1 year ago

Finally, we are error-free (YAY!).

Now the debugging fun can start...

#10 Updated by Alexander Diewald over 1 year ago

  • Status changed from In Progress to Feedback

#11 Updated by Alexander Diewald over 1 year ago

  • Status changed from Feedback to Resolved

#12 Updated by Alexander Diewald over 1 year ago

  • Status changed from Resolved to Closed

3482 was just merged.

Also available in: Atom PDF