Project

General

Profile

Change Request #4052

[DSML] Allow real values and functions

Added by Tiziano Munaro about 2 months ago. Updated about 2 months ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
D³SE
Start date:
07/31/2020
Due date:
% Done:

100%

Estimated time:

Description

In cases where one has to deal with divisions, real values can not be avoided either.
Real values shall never be enforced, just supported when necessary.

Example:
We need the transmission time of a signal over a bus. As we don't know where the signal will be deployed, we cannot divide the signal size by the bandwidth beforehand and are forced to let the solver take care of that.

Alternative:
Theoretically, the values can be precalculated as a matrix, with signals being rows and buses being columns. With both indices, one could look up the precalculated ratio. However, this would require the implementation of a whole new data structure in DSML and its translation to SMT - all for a very specific use case. Given the little effort necessary to allow (but not enforce!) real values, this seems like a more future proof and reusable alternative.

test_dse_flat.af3_23 (46.1 KB) test_dse_flat.af3_23 AF3 project for testing Tiziano Munaro, 07/31/2020 04:37 PM

History

#2 Updated by Tiziano Munaro about 2 months ago

Testing:
  • the bandwidth of the buses,
  • the coupling / decoupling of tasks, and
  • the message size

#3 Updated by Tiziano Munaro about 2 months ago

  • % Done changed from 80 to 100

#4 Updated by Tiziano Munaro about 2 months ago

  • Description updated (diff)

#5 Updated by Tiziano Munaro about 2 months ago

  • Assignee changed from Tiziano Munaro to Johannes Eder

#6 Updated by Johannes Eder about 2 months ago

  • Status changed from Resolved to Closed
  • Assignee deleted (Johannes Eder)

Merged.

Also available in: Atom PDF