Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

  • order of statements is relevant for statements

View file
nameLayoutProblem.sctx
height250

  • there is no update view in dataflow in kieler (no +=, since only ir was desired)
  • it is possible to design more models in KIELER than in SCADE
  • SCADE has map and fold operators (for arrays), since Lustre has map and fold operations
  • SCADE has structs and a struct operator to decompose struct in dataflow
    • in control flow . operator can be used for this
  • Clock example (absents of values)
    • valued signals have to be used for this
    • boolean valued signals exist
    • booleans should be used for clocks
    • boolean valued signals should be used for streams (which have a clock)
    • clock operations have to be enabled in SCADE (default no clock operations)
    • using signals for clocks makes the transformation more complex
  • incremental update in dataflow (sequential edge)
    • feedback edge in dataflow is no normal dataflow edge (does not exist in SCADE or lustre)
    • M label, visualization is to be discussed

For the thesis it is not necessary that every aspect is implemented, but the semantic should be discussed.

View file
nameClockExampleSignals.sctx
height250
View file
nameClockExampleSimple.sctx
height250
View file
nameIR.sctx
height250
View file
nameIUR.sctx
height250
View file
nameSequentialReadWrite.sctx
height250
View file
nameCounter1.sctx
height250
View file
nameCounter2.sctx
height250

Tooling for side by side view of compilation snapshots (ssm)

...