formation par la recherche / formation doctorale / enseignement, stages / sujets de thèses

Description d'architectures de logiciels en Signal

Localisation :Irisa/Inria Rennes

Equipe EP-ATR

Responsable : Thierry Gautier

(projet EP-ATR, e-mail : Thierry.Gautier@irisa.fr)

Mots-clés : langage de description d'architecture logicielle, langage Signal, graphe, abstraction.

Sujet : Les langages de description d'architectures de logiciels fournissent des notations pour décrire des composants et connecteurs et permettent de spécifier comment ces éléments se combinent pour former l'architecture d'un système. À la possibilité d'associer, dans un modèle statique, des propriétés aux composants d'un système, se rajoute parfois un modèle dynamique permettant la prise en compte de propriétés comportementales du système ou éventuellement sa reconfiguration.

Le langage Signal, conçu initialement pour décrire des applications temps réel, se base sur un modèle sémantique « à flots de données synchronisés » : les composants de base d'une description communiquent par l'intermédiaire de signaux dont les relations temporelles sont spécifiées par la description. Une description Signal peut être représentée sous la forme d'un graphe statique de composants, dont certains composants sont eux-mêmes des graphes. Un composant Signal peut se voir à différents niveaux : spécification de propriété, description comportementale, etc., niveaux entre lesquels il existe des relations d'abstraction ou, à l'inverse, de raffinement.

Le sujet de thèse proposé concerne l'utilisation de Signal comme langage de description d'architecture logicielle sous ses différents aspects : la description proprement dite à différents niveaux et le passage d'un niveau à un autre, la possibilité de vues multiples d'une architecture et le maintien de leur cohérence, l'étude de diverses propriétés d'une architecture. Une des orientations possibles de l'étude pourrait être l'extension du modèle statique sous-jacent à Signal vers un modèle de graphes dynamique.