Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 3 Next »

 

sklepto-logo.png

In this section you'll find information about

  • the Kieler Execution Manager (KIEM)

    KIEM is an Eclipse infrastructure for managing simulators, visualizators, validators, input/recording/replay facilities. DataComponents are the building blocks and KIEM builds on a linear configurable schedule of DataComponents. KIEM can also be used for regression testing of simulators (or any other type of DataComponents).
  • Esterel Simulator

    KIELER comes with an Xtext based Esterel editor. Additionally we connected the CEC to KIELER in an Esterel Simulation DataComponent. Simulation results can be visually seen in the editor.
  • S Simulator

    S (abbreviation for Synchronous) is the essence of SC and SJ. It is meant to be an intermediate language for synthesizing code from higher abstract synchronous models like SyncCharts. KIELER provides a full featured Xtext based S editor and a visual simulation/debugging facility for S code using SC and the GCC. There are ongoing efforts to use S as an intermediate language while compiling SyncCharts to SC or SJ.
  • Ptolemy (KLEPTO)

    xxx
  • Regression Tests (KART)

    xxx
  • Lego Mindstorms Embedded Programming (KLOTS)

    xxx
  • UML Simulation and Verification

  • xxx
  • No labels