impulse YAKINDU

impulse Workbench Extension (beta)
YAKINDU Statechart Tools (itemis) offer an integrated modeling environment for the specification and development of reactive, event-driven systems based on the concept of state machines.

This extension enables the simulation and visualization of YAKINDU state diagram models.

It helps users create a state machine (simulation with reference data) as well as execute and trace the created state machine.

impulse YAKINDU ist availabe with impulse 2.0.x.

Creating and Debugging State Diagram Models

Use the Eclipse state chart editor to develop the models and simulate with impulse.

Create and Inject Reference Patterns

Use the rich signal environment to create reference patterns, inject the patterns into the simulation, and visualize the output.

Trace State Machines

Capture online or offline traces from the executable (e.g., embedded device) and visualize them with the state chart and other plots.

State Chart Simulator

With the State Chart Simulator Production you can feed Yakindu state chart models with online or reference data (e.g. events) and display the result of the simulation (e.g. states and variables) in diagrams and charts.

State Chart Plot

The state chart plot allows current states (on- or offline data) to be displayed at the current cursor position.

YET Reader

The YET Reader (YAKINDU Execution Tracing) allows to read state machine traces (online/offline) from running executables.
Details
  • State Chart Simulator

    The State Chart production simulates YAKINDU state chart models and generates a signal with the resulting state and variable information.

    Platforms:
    32/64bit 32/64bit 32/64bit
    Requirements:
    • YAKINDU state charts (com.yakindu.sct.generator.image.feature). Will be installed automatically if not available.
    Known limitations:
    • Simulation may be time consuming depending of the model. To avoid system timeout, the timeout parameter may be set.
    Status:
    • Beta
    Input signals:
    • 0..N inputs supported.
    • Integer, Float, String, Event(Enumeration), Logic, without "event" content descriptor : Will be mapped to writable variables with equal names.
    • String, Event(Enumeration) with "event" content descriptor : Will be feeded as input events.
    • Struct: Integer, Float, String, Boolean and Enumeration members without "event" content descriptor: Will be mapped to writable variables with equal names.
    • Struct: 1st String or Enumeration members with "event" content descriptor will be feeded as input event.
    • Struct: 1st Integer, Float, String, Boolean or Enumeration members members with "eventparam" content descriptor will be feeded as event parameter.
    Output signal:
    • String: State information.
    • Event(Enumeration): State information.
    • Struct: All variables that are not assigned to input signals plus state information.
    Parameters:
    • Process type: Process type of the resulting signal. In case of continuous process type, the model will be simulated with the given rate. In case of discrete process type, the model is triggered with every change of the input signals.
    • Signal type: Signal type of the resulting signal.
    • Signal descriptor: Signal descriptor of the resulting signal.
    • Domain base: Domain base of the resulting signal.
    • Domain range: Domain range of the resulting signal.
    • Chart: Select the state chart defined in the preferences.
    • Timeout[ms]: Increase the value in case of timeout events.
    Operation:
  • State Chart Plot

    The state chart plot allows the display of the current states (on- or offline data) at the current cursor position.

    Platforms:
    32/64bit 32/64bit 32/64bit
    Requirements:
    • YAKINDU state charts (com.yakindu.sct.generator.image.feature). Will be installed automatically if not available.
    Known limitations:
    • None
    Status:
    • Beta
    Extensibility:
    • None
    Supported signal types:
    • tbd.
    Chart Parameters:
    • Mode: Content, Resource reference, File reference.
    • File/Resource: Select the model SCT file/resource.
    • Synchronize on Re-load: If checked, a re-load of a viewer will force synchronisation of the chart with its resource/file .
    • Diagram: Enter a name (if model contains multiple diagrams).
    Plot Parameters:
    • Diagram: Enter a name (if model contains multiple diagrams).
    • Scale: Scale chart to fit width/height.
    • Horizontal: Select horizontal alignment.
    • Vertical: Select vertical alignment.
    • Adapt colors: Adapt colors to improve visibility for light/dark background.
  • YET Reader

    The YET (YAKINDU Execution Tracing) format is a text format for the output of information generated by state charts.

    Platforms:
    32/64bit 32/64bit 32/64bit
    Requirements:
    • None
    Known limitations:
    • File size limited by virtual memory and temporary storage.
    Status:
    • Beta
    Operations:
    • Load
    • Stream
    Parameters:
    • None
    Configuration:
    • None

License

EPL license
Sources available in the plugin package
Selected Resources

tbd

toem

technical software and tooling

Company

Contact Us

This email address is being protected from spambots. You need JavaScript enabled to view it.