Mochy : Models for Concurrent Hybrid Systems


Mochy : Models for Concurrent Hybrid Systems

MOCHY is an ADT of INRIA. Our objective is the development of tools for the analysis of concurrent stochastic and hybrid systems. We focus on :

  • The development of a generic software for the analysis of timed and concurrent systems

  • Efficient techniques exploiting concurrency to speed up Monte-Carlo simulations

  • The development of API to faciliate experimentation of new analysis solutions.

  • Applications of these fast simulation techniques to improve efficency of transport systems

1. Quick start

Prerequisites: Java 11 and javaFX

about JavaFx: we recommend installing openjfx as explained in

  • Get the jar from the download section. ( MochyUi-x.x.x-SNAPSHOT.jar or MochyUi-x.x.x.jar depending on your release)

  • Start the application with the following command:

java --module-path $PATH_TO_FX/lib --add-modules javafx.controls,javafx.fxml -jar MochyUi-*.jar

More detailed informations will be available in the User Guide.

2. Download

Latest Release

2.0.0 24/09/2021

Nightly Build : latest development version from the continuous integration.

Previous Releases

3. Documentation

4. Publications


  • foo

  • bar

5. License

MOCHY is distributed under the LGPL3 license.

6. Contributing

7. Contributors

Loic Helouet (CR1 INRIA, senior researcher)
Main competences : timed systems, concurrency models, verification

Antoine Thebault (INRIA engineer)
Main competences : Java, Git

Didier Vojtisek (INRIA Research Engineer)
Main competences : Model Driven Engineering