Skip to end of metadata
-
Created by Unknown User (tig), last modified by Unknown User (cmot) on Jun 11, 2012
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 SimulatorKIELER 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 SimulatorS (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)xxxRegression Tests (KART)xxxLego Mindstorms Embedded Programming (KLOTS)xxxUML Simulation and Verification xxx
|
---|