Précédent : Extension de Signal à des Remonter : Modèle et langage (évolution) Suivant : Vérification et synthèse

Extension de Signal à des systèmes hybrides

Une étude a été entreprise concernant l'extension de SIGNAL à des systèmes hybrides [6]. L'extension, que nous appelons HYBRID par la suite, a été faite en respectant le cahier des charges suivant :

• HYBRID est une extension de SIGNAL, et en retient donc les caractéristiques habituelles :
  • multi-horloge, pas de temps global de référence mais une notion de « temps » associée à chaque signal individuellement,
  • composition par intersection des comportements, ou, de manière équivalente, composition interprétée comme système d'équations.
• Le monde temporel sous-jacent de HYBRID est à temps continu.
• HYBRID connait la notion de DAE (Differential Algebraic Equation) comme cas particulier: .
• En HYBRID, chaque signal a une présence, caractérisant l'ensemble des instants où il est défini, cette notion généralise les horloges de SIGNAL. On définit, sur les présences, les opérations habituelles : union, intersection, différence ensembliste, construction par extraction des instants où un signal booléen est vrai. On a également la notion de « front montant », qui permet de passer d'un temps continu à un temps discret.
• HYBRID possède un calcul de dépendances analogue à SIGNAL.
• HYBRID est défini par un petit nombre de primitives.

Ainsi défini, HYBRID est plus puissant que la notion maintenant couramment répandue d'automate hybride, avec en particulier de meilleures propriétés de compositionnalité et le multi-horloge.

En revanche, tout ceci n'est que du papier. Il faut voir cette étude comme un cadre pour la conception de grand simulateurs hybrides incluant DAE et discret, avec une technologie de spécification, et une technique pour engendrer des schémas efficaces pour faire travailler les solveurs.