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

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

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

* Define a separate encoding for memory access latencies that is derived
  form the task mapping. Also, add an according Decoder.
* Create an IMemAccessTask that wraps AF3 task only performing memory
  accesses.
* Add methods to obtain direct successors of tasks from TaskGraphs and
  rename the previoulsy existing transient methods.

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

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

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


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

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

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

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

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

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

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

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

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

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

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

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

Adapt to updated IDSEBackend

See merge request !16

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


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

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

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

* Set DSE_DEBUG_PRINT_SOLUTION.
* Applicable for the SMT-based schedule.
* UNSAT information gives a lower bound.

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

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

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

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

* Specify the applicable features with DSESpecification.
* Improve the resource allocation transformation.
* Add an input module for Safety Functions.
* Remove the PlatformCommunicationGraphIdentityDecoder.

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

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

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

Simon Barner authored 5 years ago and Alexander Diewald committed 5 years ago

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

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

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

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

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

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

* Move source and target lists from AssignmentConstraints to the
  InternalConstraint.
* Base the CouplingConstraint on the source list of the
  InternalConstraint.
* Cleanup the MappingEncoding(-Base) interfaces.
* Add a constraint retrieval method to the IExplorationEncoding.
* Add support for CouplingConstraints in the MappingEncodingBase.
* Fix parsing the DSML coupling constraints.

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

* Add a CouplingConstraint InternalConstraint.
* Add a converter to translate DseML coupling expressions into
  InternalConstraints.

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

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

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

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

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