StateCharts¶
Des diagrammes d'état SysML, dessinés et simulés dans OpenModelica.
StateCharts est une bibliothèque OpenModelica pour décrire la logique de commande d'un système par un diagramme d'état-transition, avec la notation du diagramme stm de SysML :
- un pseudo-état initial (point noir) et un état final (cible) ;
- des états avec leurs comportements
entry,doetexit, chacun disponible comme sortie booléenne ; - des transitions étiquetées
déclencheur [garde] / effet, dont l'effet est lui aussi une sortie booléenne ; - un pseudo-état de choix (losange) pour bifurquer selon des gardes.
Le diagramme se dessine dans le schéma d'OMEdit et pilote directement le modèle physique qui l'entoure (thermique, mécanique, électrique…). Il est écrit en Modelica pur : rien à installer en plus d'OpenModelica.
-
Guide utilisateur
Installer la bibliothèque, simuler un premier exemple, construire son propre diagramme, retrouver dans la bibliothèque les notions de SysML.
-
Référence interne
Pour qui fait évoluer la bibliothèque : architecture, sémantique d'exécution (signaux entre états et transitions, priorités, itération d'événements), suite de vérification, livraisons.
Les éléments¶
| Élément SysML | Bloc | Sorties booléennes |
|---|---|---|
| Pseudo-état initial ● | Initial |
— |
| État | State |
entry, do, exit |
Transition déclencheur [garde] / effet |
Transition |
effect |
| Pseudo-état de choix ◇ | Choice |
— |
| État final ◉ | FinalState |
completed (variable) |
| Machine à états utilisée comme bloc | extends Chart |
celles qu'on lui ajoute |
Déclencheurs d'une transition : aucun (transition de complétion), signal (front montant d'une entrée booléenne), after(durée), when(condition). Détails : Les blocs.
Ce dépôt (code de la bibliothèque, exemples, scénarios de vérification et documentation) a été généré avec l'aide d'outils d'intelligence artificielle, sous la direction de Benoit Delaup.