INGEQUIP
/
Fiacre_Simulator
mirror of http://172.16.200.102/INGEQUIP/Fiacre_Simulator.git
1
0
Fork 0
Code Issues 4 Projects Releases Wiki Activity
Eclipse based Fiacre simulator.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
8 Commits
1 Branch
0 Tags
3.9 MiB
 
 
 
Tree: cec05db9e2
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'cec05db9e2'
${ noResults }
Pierre Gaufillet cec05db9e2
Merge branch 'master' into 'master' 		6 years ago
eclipse/plugins Initial commit. 6 years ago
LICENSE Add LICENSE 6 years ago
LICENSES.md LICENSE of third-party tools and copyright. 6 years ago
README.md Replace README.md 6 years ago

README.md

Fiacre Simulator

The Fiacre Simulator is an Eclipse based project supporting the edition, debugging and animation of formal models written in Fiacre.

Besides the capabilities of a XText plugin, such as syntax-highlighting, the Fiacre Simulator includes LibTTS, a thrift-based server that can interface with a TTS player (an animator for Fiacre models). It also includes a library for generating Message Sequence Charts representation from execution traces collected during a simulation.

You can visit the Fiacre project website for more information about the language.

How to install the Fiacre Simulator

We assume that you already installed the Fiacre complier, frac, as well as a C compiler.

The plugin is compatible with Eclipse Neon (with the modeling framework) and is based on Xtext 2.10.

Organization of the files

License

The Fiacre simulator is copyright 2015-2017 CNRS, IRIT, and IRT Saint Exupéry. All rights reserved. It is distributed under the terms of the LGPL 3.0 license, see the LICENSES file.

Reference

More information about the plugin can be found in the following publication.