Université Lille1 - Sciences et Technologies Exécution asynchrone de programmes synchrones par transformations automatiques : application au traitement d'images temps-réel Asynchronous execution of synchronous programs by automatic transformations 004.36 Traitement d'images Traitement réparti Temps réel (informatique) Architecture des réseaux d'ordinateurs Mode de transfert asynchrone Text Electronic Thesis or Dissertation fr Le travail réalisé dans le cadre de cette thèse porte sur la transformation automatique de programmes synchrones en vue de leur implémentation asynchrone sur les architectures hétérogènes distribuées. Dans un contexte applicatif nous nous sommes plus particulièrement intéressés aux systèmes de traitements temps-réel de l'image. La démarche que nous avons suivie se base sur une phase préliminaire de conception et validation des systèmes temps-réel sous l'hypothèse de synchronisme. En pratique, nous avons utilisé un outil existant : le langage signal. Nous avons développé un ensemble de processus de transformation permettant d'automatiser l'implémentation de ces systèmes sous la forme de processus séquentiels communicants. Les caractéristiques de ce travail sont de garantir a priori la sûreté des programmes en transformant des systèmes prouves, de répartir intégralement les échanges de données de manière à ne pas recourir à des mécanismes centralises, de conserver à l'exécution un modèle dicté par la disponibilité des données. Les systèmes ainsi transformés sont constitués d'un ensemble fini de fonctions de calcul dotées d'interfaces de communications ; elles constituent les tâches du système. Ces tâches ne communiquent entre-elles que par l'intermédiaire de leurs entrées et sorties. L'émission et la réception de données sont conditionnées par des commandes gardées implémentées dans le corps des interfaces application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1997/50376-1997-111.pdf Galinec David 1900-01-01 119152002 1997LIL10054 1997-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui ddc:004 ASCII PDF 9999