Skip to main content

Sismic Interactive Statechart Model Interpreter and Checker

Project description

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.5 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
  • Fully controllable simulation clock, with support for real and simulated time
  • Built-in support for expressing actions and guards using regular Python code, can be easily extended to other programming languages
  • Support for Design by Contract (DbC) for statecharts: contracts can be specified to express invariants, pre- and postconditions on states and transitions
  • Runtime monitoring of behavioral properties expressed as statecharts
  • Built-in support for behavior-driven development (BDD)
  • Support for communication between statecharts
  • Synchronous and asynchronous executions
  • Statechart visualization using PlantUML


Sismic requires Python >=3.5. 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.

Starting from release 1.0.0, Sismic adheres to a semantic versioning scheme.


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.

The scientific article A method for testing and validating executable statechart models presenting the method and techniques supported by Sismic for validating and testing statecharts, is published in Springer’s Software and Systems modeling journal in 2018.


See documentation’s changelog.


The Sismic library for Python is mainly developed by Alexandre Decan at the Software Engineering Lab of the University of Mons with the help of many contributors.

Sismic is released as open source software under the GNU Lesser General Public Licence version 3.0 (LGPLv3).

You can cite the Sismic library using:

    title = "Sismic—A Python library for statechart execution and testing",
    journal = "SoftwareX",
    volume = "12",
    pages = "100590",
    year = "2020",
    issn = "2352-7110",
    doi = "",
    url = "",
    author = "Alexandre Decan and Tom Mens",


  author = {Decan, Alexandre},
  title = {Sismic Interactive Statechart Model Interpreter and Checker},
  url = {},

You can cite the associated research article (PDF) using:

   author = {Mens, Tom and Decan, Alexandre and Spanoudakis, Nikolaos},
   journal = {Software and Systems Modeling},
   publisher = {Springer},
   year = 2018,
   title = {A method for testing and validating executable statechart models},
   doi = {10.1007/s10270-018-0676-3},
   url = {},

Project details

Release history Release notifications | RSS feed

This version


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for sismic, version 1.6.3
Filename, size File type Python version Upload date Hashes
Filename, size sismic-1.6.3-py3-none-any.whl (53.6 kB) File type Wheel Python version py3 Upload date Hashes View
Filename, size sismic-1.6.3.tar.gz (570.3 kB) File type Source Python version None Upload date Hashes View

Supported by

AWS AWS Cloud computing Datadog Datadog Monitoring DigiCert DigiCert EV certificate Facebook / Instagram Facebook / Instagram PSF Sponsor Fastly Fastly CDN Google Google Object Storage and Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Salesforce Salesforce PSF Sponsor Sentry Sentry Error logging StatusPage StatusPage Status page