Installation¶

Prérequis¶

• OpenModelica avec OMEdit. La bibliothèque est développée avec la version 1.27.1-64bit.
• La bibliothèque standard Modelica (Modelica 4.1.0), installée avec OpenModelica.

Rien d'autre : StateCharts est écrite en Modelica pur, sans code C ni Python. Elle n'est donc pas liée à Windows.

Récupérer la bibliothèque¶

• Une version publiée : chaque version est un tag vX.Y.Z du dépôt. Sur la page du tag, Code → Download source code (zip), puis décompresser l'archive.
• La version en cours : cloner le dépôt https://gitlab.com/bdelaup/modelica_statecharts.git, ou télécharger la branche main en zip.

Ouvrir dans OMEdit¶

1. File → Open Model/Library File(s)…
2. Choisir StateCharts/package.mo.
3. La bibliothèque apparaît dans le navigateur de bibliothèques, à gauche.

Pour qu'OMEdit la charge à chaque démarrage : Tools → Options → Libraries → User Libraries → Add, puis désigner le même fichier package.mo.

Vérifier l'installation¶

Ouvrir StateCharts.Examples.TrafficLight (double-clic) et lancer la simulation (Simulation → Simulate). Dans la fenêtre des résultats, cocher color.y : la courbe passe de 1 (rouge) à 3 (vert) à 4 s, puis à 2 (jaune) à 7 s, etc. La suite est décrite dans Premiers pas.