Modélisation d un système temps réel critique en langage synchrone : Esterel

ISBN-13: 9786131553967 / Francuski / Miękka / 2013 / 112 str.

Hajer Saada

Opis

Notre sujet de recherche s intègre dans la thématique d étude des systèmes embarqués soumis à des contraintes temps réel. Ces systèmes désignent des systèmes composés d un couple de deux sous systèmes qui sont toujours en interaction. Le premier correspond à l environnement physique de système qui change toujours d état, il doit être alors contrôlé en permanence. Le deuxième correspond au système lui-même qui doit être toujours en interaction avec les changements d états du premier. Alors on peut décrire ce type de système par le terme réactif, car il doit réagir immédiatement à chaque stimulus provenant de l extérieur. Ainsi il est toujours soumis à des contraintes temporelles qui peuvent être distingués selon le cas souples ou sévères. Ce travail s intègre dans un projet de recherche pour la modélisation d un système temps réel critique embarqué en langage synchrone: Esterel.

O autorze

Née le 29-05-1985 à Gabès, Hajer Saada est étudiante en thèse à l'université Montpellier 2. Elle est membre de l'équipe de recherche MaREL au Laboratoire d'Informatique, de Robotique, et de Microélectronique de Montpellier (LIRMM).