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. ( 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.
MOCHY is distributed under the LGPL3 license.
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