Mochy : Models for Concurrent Hybrid Systems

LogoMochy

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 https://openjfx.io/openjfx-docs/#install-javafx

  • Get the jar from the download section. ( StorSimUi-x.x.x-SNAPSHOT.jar or StorSimUi-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 StorSimUi-*.jar

More detailed informations will be available in the User Guide.

2. Download

Latest Release

1.2.0 12/02/2021

Nightly Build

https://adt-mochy.gitlabpages.inria.fr/mochy/download/latest_build/ : latest development version from the continuous integration.

Previous Releases

https://adt-mochy.gitlabpages.inria.fr/mochy/download/releases/

3. Documentation

4. Publications

TODO

  • 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