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