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.

A state machine is a behavioral model. It consists of a finite number of states and is therefore also called a finite state machine (FSM). Based on the current state and a given input, the machine performs state transitions and generates outputs.

A single state chart may become very large and complex. embedded systems may consist of many state machines and other components. To understand the behavior of state machines within their execution context and their impact on the overall behavior of a system, the application of execution analysis and visualization are a proper way to gain this understanding.

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

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

impulse YAKINDU is availabe with impulse 2.1.x.

Creating and Debugging State Diagram Models

With the State Chart Simulator Production you can feed YAKINDU State Chart models with reference data and display the result of the simulation in diagrams and charts.

Instead of a step-by-step procedure, the simulation is carried out in one go.

Inject Reference Patterns and Online Data

The simulator can be fed with reference or with online data. This allows to test the behaviour of the statemachine with real process/application data.

With the expandable concept of signal ports, any signal source can be connected. This can be simple data connections over TCP, UDP using a configurable reader, external libraries, CAN Bus adapter or complex hardware interfaces.

Trace State Machines

To enable model-level debugging of the state machine implementations, YAKINDU generated code can be instrumented to generate so called YET (YAKINDU Execution Trace) traces.

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

    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. 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.
    • Primitve signals (Integer, Float, String, Event/Enumeration, Logic): Will be mapped to writable variables and events with equal names. The signal value is used as variable value of event parameter.
    • Primitve signals (usually String or Event/Enumeration) with "event" content descriptor : Will be feeded as input events. The signal value is used as event name; no parameter.
    • Struct or array signals (Integer, Float, String, Boolean and Enumeration members): Will be mapped to writable variables and events with equal names. The member value is used as variable value of event parameter.
    • Struct or array signals with "event" content descriptor : 1st member with "evttype" content descriptor will be used as event name, 1st member  with "evtparam" content descriptor will be used 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.
    • script: Implement functions to be called from simulation.
    Operation:
  • State Chart Plot

    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. 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:
    • Text and Event(Enumeration) signals : Will be used as current state information.
    • Struct: Text and Enumeration members with "state" content descriptor: Will be used as current state information.
    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

    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. 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:
    • Default Reader Configuration with modified parameters.

License

EPL license
Sources available in the plugin package
Selected Resources

impulse Meets the YAKINDU Statechart Tools

A single state chart may become very large and complex. embedded systems may consist of many state machines and other components. impulse is a visualization and analysis workbench, which exactly provides tool support for such methods and enables engineers to understand and debug complex semiconductor and multi-core software systems ...

U019 Going YAKINDU 1 - How to simulate state charts

A state machine is a behavioral model. It consists of a finite number of states and is therefore also called a finite state machine (FSM). Based on the current state and a given input, the machine performs state transitions and generates outputs. YAKINDU Statechart Tools (itemis) offer an integrated modelling environment for the specification and development of reactive, event-driven systems based on the concept of state machines....

U020 Going YAKINDU 2 - How to launch, trace and visualize state machines

The first tutorial of the series covered the design of state diagram models and their simulation with reference patterns. After design, the YAKINDU state chart models are transformed into executable code of different languages and environments. To enable model-level debugging of the state machine implementations, the code can be instrumented to generate so called YET (YAKINDU Execution Trace) traces. ...
Reference
toem

technical software and tooling

Company

Contact Us

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