Projet : EP-ATR

Précédent : Préemption dans les langages réactifs Remonter : Résultats nouveaux Suivant : Mises en oeuvre distribuées

   
Transformations affines d'horloges

 

Participants : Thierry Gautier, Paul Le Guernic, Irina Smarandache.

Mots clés : Signal, Alpha, fonction affine .

Résumé :

Dans le cadre de l'action Cairn (voir section 7.1), afin d'interfacer des structures régulières (décrites en Alpha) et irrégulières (specifiées en Signal), nous avons défini en Signal des transformations affines sur horloges induites par des transformations de spécifications s'inscrivant dans un contexte de codesign basé sur les langages Signal et Alpha [[15]]. Les transformations affines introduisent des relations affines entre les variables d'horloges d'un programme; les propriétés des relations affines peuvent être exploitées ensuite pour la validation d'une application décrite en Signal ou d'un système mixte Signal-Alpha. Il s'agit essentiellement de la vérification de contraintes de synchronisation entre horloges en utilisant une extension du calcul d'horloges existant basé sur les propriétés des relations affines.

Afin d'assurer l'interfaçage de Signal avec le langage Alpha, des transformations affines d'horloges peuvent être appliquées sur un programme Signal dans lequel est effectué un calcul régulier exprimé en Alpha. Ces transformations vont permettre d'ajouter de nouveaux instants dans le programme, correspondant aux instants auxquels les calculs tels qu'ils sont ordonnancés par Alpha sont effectués. Une transformation affine de paramètres entiers strictement positifs (n,$\varphi$, d )

Précédent : Préemption dans les langages réactifs Remonter : Résultats nouveaux Suivant : Mises en oeuvre distribuées