skip to navigation
skip to content

sismic 0.26.6

Sismic Interactive Statechart Model Interpreter and Checker

Package Documentation

Sismic Interactive Statechart Model Interpreter and Checker

Sismic is a recursive acronym that stands for Sismic Interactive Statechart Model Interpreter and Checker.

Statecharts are a well-known visual modeling language for representing the executable behavior of complex reactive event-based systems. Sismic library for Python (version 3.4 or higher) provides a set of tools to define, validate, simulate, execute and test statecharts. More specifically, Sismic provides:

  • An easy way to define and to import statecharts, based on the human-friendly YAML markup language
  • A statechart interpreter offering a discrete, step-by-step, and fully observable simulation engine
  • Built-in support for expressing actions and guards using regular Python code, can be easily extended to other programming languages
  • A design-by-contract approach for statecharts: contracts can be specified to express invariants, pre- and postconditions on states and transitions
  • Runtime checking of behavioral properties expressed as statecharts
  • Built-in support for behavior-driven development
  • Synchronous and asynchronous simulation, in real time or simulated time
  • Support for communication between statecharts and co-simulation
  • Statechart visualization using PlantUML

Some experimental features are also available as feature branches.


Sismic can be installed using pip as usual: pip install sismic. This will install the latest stable version.

You can also install Sismic from this repository by cloning it. The development occurs in the devel branch, the latest stable distributed version is in the master branch.

Sismic requires Python >=3.4


The documentation for the latest distributed version is available on

Many examples are available in docs/examples.

The documentation can also be directly built from the docs directory using Sphinx.


See documentation’s changelog. Unreleased changes are visible here.


The Sismic library for Python is mainly developed by Alexandre Decan at the University of Mons.

Sismic is released publicly under the GNU Lesser General Public Licence version 3.0 (LGPLv3).

File Type Py Version Uploaded on Size
sismic-0.26.6-py3-none-any.whl (md5) Python Wheel py3 2018-03-17 41KB
sismic-0.26.6.tar.gz (md5) Source 2018-03-17 760KB