Import the Task Parameter Tables as supersets

See merge request af3/af3!232

*

Issue-Ref: 3810
Issue-Url: https://af3-developer.fortiss.org/issues/3810



Signed-off-by: Marco Volpe <volpe@fortiss.org>

Issue-Ref: 3810
Issue-Url: https://af3-developer.fortiss.org/issues/3810


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Issue-Ref: 3810
Issue-Url: https://af3-developer.fortiss.org/issues/3810



Signed-off-by: Marco Volpe <volpe@fortiss.org>

Issue-Ref: 3810
Issue-Url: https://af3-developer.fortiss.org/issues/3810


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

AF3 cleanup w.r.t. kernel migration service rework

See merge request af3/af3!228

Issue-Ref: 3806
Issue-Url: https://af3-developer.fortiss.org/issues/3806


Signed-off-by: Florian Hoelzl <hoelzl@fortiss.org>

DSE-Import: Safety-relevant Requirements

See merge request af3/af3!231

Issue-Ref: 3808
Issue-Url: https://af3-developer.fortiss.org/issues/3808



Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

* Add & register wizard page.
* Add a create function for the ModelSnapshot.
* Only Requirements with a SafetyLevelRequirement Spec are considered
  for now, but could be extended later.

Issue-Ref: 3808
Issue-Url: https://af3-developer.fortiss.org/issues/3808


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Fixup the API to the most recent version

See merge request af3/af3!230

Syntax: Issue-Ref: 3807
Signed-off-by: Marco Volpe <volpe@fortiss.org>

Issue-Ref: 3807
Issue-Url: https://af3-developer.fortiss.org/issues/3807


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

DSE: Remove the (now) superfluous inputProject ref

See merge request af3/af3!229

Issue-Ref: 3742
Issue-Url: https://af3-developer.fortiss.org/issues/3742



Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

* The inputProject reference is no longer needed as we have model
  snapshots that freeze the import state. Originally, this reference
  was intended to host a copy of the imported FileProject state at the
  time of importing.
* The File Project can simply be accessed by ascending the containment
  hierarchy.
* The referenced caused model corruption when exporting a found
  solution from the DSE: The FileProject id was reset to some id > 0
  that is a duplicate of some random model element. Loading such a model
  violated basic assumptions and ambiguous references.

Issue-Ref: 3742
Issue-Url: https://af3-developer.fortiss.org/issues/3742


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

[3608] Support minimization of energy consumption

See merge request af3/af3!221

Issue-Ref: 3608
Issue-Url: https://af3-developer.fortiss.org/issues/3608


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* Function FrequencyAssigned moved to the smt plugin.

Issue-Ref: 3608
Issue-Url: https://af3-developer.fortiss.org/issues/3608



Signed-off-by: Marco Volpe <volpe@fortiss.org>

Issue-Ref: 3806
Issue-Url: https://af3-developer.fortiss.org/issues/3806


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

The migration service is automatically executed after the project has
been copied. Further calls in the import routine do not appear to need
the migrated model already.

Issue-Ref: 3806
Issue-Url: https://af3-developer.fortiss.org/issues/3806


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

* Simplified the method for scaling WCETs.

Issue-Ref: 3608
Issue-Url: https://af3-developer.fortiss.org/issues/3608



Signed-off-by: Marco Volpe <volpe@fortiss.org>

* Factorized a method for retrieving admissible frequency values.

Issue-Ref: 3608
Issue-Url: https://af3-developer.fortiss.org/issues/3608



Signed-off-by: Marco Volpe <volpe@fortiss.org>

Issue-Ref: 3608
Issue-Url: https://af3-developer.fortiss.org/issues/3608


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Issue-Ref: 3608
Issue-Url: https://af3-developer.fortiss.org/issues/3608



Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

* Comments implemented

Issue-Ref: 3608
Issue-Url: https://af3-developer.fortiss.org/issues/3608



Signed-off-by: Marco Volpe <volpe@fortiss.org>

Issue-Ref: 3608
Issue-Url: https://af3-developer.fortiss.org/issues/3608



Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

Conflicts:
	org.fortiss.af3.exploration.smt/src/org/fortiss/af3/exploration/smt/modeltransformation/.ratings
	org.fortiss.af3.exploration.smt/src/org/fortiss/af3/exploration/smt/modeltransformation/ScheduleRun.java
	org.fortiss.af3.exploration/src/org/fortiss/af3/exploration/solutionconverter/.ratings


Signed-off-by: Marco Volpe <volpe@fortiss.org>

[3804] Schedule generation works only if launched twice

See merge request af3/af3!227

Issue-Ref: 3804
Issue-Url: https://af3-developer.fortiss.org/issues/3804


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

Issue-Ref: 3804
Issue-Url: https://af3-developer.fortiss.org/issues/3804



Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

* Copy the TaskToExecutionUnitAllocationTable in the
  SignalToRouteConverter if it its converter has not been executed
  (no deployment exploration).
* In this case we need to operate on a copy, since we are modifying it.
* Also, consider the case where a PlatformArchitecture is generated.

Issue-Ref: 3804
Issue-Url: https://af3-developer.fortiss.org/issues/3804


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

This reverts commit bbae6bc2.

Issue-Ref: 3804

Issue-Ref: 3608
Issue-Url: https://af3-developer.fortiss.org/issues/3608



Signed-off-by: Marco Volpe <volpe@fortiss.org>

* Removed static consumption as it is not meaningful in the current
formulation and only makes the computation heavier.

Issue-Ref: 3608
Issue-Url: https://af3-developer.fortiss.org/issues/3608



Signed-off-by: Marco Volpe <volpe@fortiss.org>

* Inserted a check to avoid an error when loading projects.

Issue-Ref: 3608
Issue-Url: https://af3-developer.fortiss.org/issues/3608



Signed-off-by: Marco Volpe <volpe@fortiss.org>

Issue-Ref: 3608
Issue-Url: https://af3-developer.fortiss.org/issues/3608



Signed-off-by: Marco Volpe <volpe@fortiss.org>