KIELER Project


Get me back to the home page!

Page tree

Versions Compared

Old Version 7

changes.mady.by.user Unknown User (cds)

Saved on

compared with

New Version 8

changes.mady.by.user Unknown User (cmot)

Saved on

Key

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

...

Learn more about pragmatics

Semantics

We also provide an infrastructure to define execution semantics for a meta model. This can be a simulator based on C (see S/SC projects) or Ptolemy (see KlePto project). Simulators can easily be integrated using the KIELER Execution Manager (KIEM). We also support textual simulations (see Esterel and S project). To get an overview about all projects concerning semantics in KIELER follow the link below.

Learn more about semantics

...