- TODO (original author(s) of this code): Check if this is the right fix
refs 3246,3248

refs 2950,2562

refs 3241

refs 3239

refs 3241

refs 3249

refs 3040

refs 584

refs 3040

refs 2964

The solver backends expect the timeout in milliseconds
whereas the user defines it in seconds. Correct the
passed value by applying the correct conversion before
passing the timeout value to the solver.
refs 2939

Eliminate support for multi-instance annotations, which was mostly unused and only complicated the code.
refs 2964

* Remove the SFF value provider. An "equivalent Safety Level" will be introduced for hardware elements later.
* Keep the ProbabilityFailuresDemand- and ProbabilityFailuresHourValueProvider(s) for use in a more complex safety analysis.
* Keep the HwComplexityValueProvider for describing simple HW voters (useful for safety analysis).
refs 3240

refs 2932

refs 2950

* Introduce utility methods to transform a ExplorationSolutionSet to a DataSetCollection and subsequent methods.
* Move some reflection utility classes from the exploration.alg plugin to the exploration plugin.
refs 2935

- ParameterTableEditor: Require to explicitly set the list of source model entity annotations that should be directly editable in this editor.

- TaskWcetTableEditor: Adjust to this interface change, and use it to enable direct editing of task period and WCET
refs 2950,2562

Enables to configure a AllocationTableEditor such that for a given target model no two different source models can be set.

Example: For a component architecture, there may be multiple task architectures (in different AllocationTables), but for a given task architecture, it should not be possible to map multiple component architectures to it.
refs 2950

refs 2950,2562

refs 2950,2562

refs 2939

Create column to enable editing annotations that are annotated source entities directly in ParameterTableEditor.

Example: Edit target-independent WCET of Tasks, in addition to the per-target column provided by ParameterEntryTreeViewerLabelProvider and ParameterEntryTreeViewerEditingSupport.
refs 2950,2562

refs 2950

refs 3244

refs 3244

refs 2970

refs 3241

- Mark classes that should be kept and references to issues where there will be reintegrated
refs 3240

refs 3242

refs 3224