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

Saada, Hajer

Softcover

ISBN 10: 6131553963 ISBN 13: 9786131553967

Publisher: Éditions Universitaires Européenes, 2013

Synopsis

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.

About this title

About the Author

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).

Edition details

• Publisher: Éditions Universitaires Européenes
• Publication date: 2013
• Language: French
• ISBN 10: 6131553963
• ISBN 13: 9786131553967
• Binding: Paperback
• Number of pages: 112