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>

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

* Consider MemoryUnits in the platform graph.
* Adjust values for the SMT scheduling.
* Disable period constraints for now.
* Adjust the latencies of read tasks (DMA tasks).

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

* Move routing to the platform communication graph.
* Add latency calculation methods.
* Define SchedulingUtils.
* Add helper methods to the task graph.

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

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

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

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


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

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


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

* The table allows to specify the additional delay introduced by a
  "source" execution unit to its "target" execution unit.
* The table editors are accessible from the PlatformArchitecture
  editor.

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

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

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