Abstract FR:

Les applications caractéristiques aux systèmes embarqués doivent respecter des contraintes strictes telles que la fiabilité, les échéances de temps, la simultanéité et le comportement déterministe. La conception de ces applications est simplifiée par l'utilisation du développement basé sur des modèles où les outils associés simplifient ou automatisent les diverses phases de développement. Nous présentons une chemin complet de développement des applications de systèmes embarques sur une plateforme distribuée. Cene approche utilise un langage synchrone de modellisation orienté flots de données (Lustre) et une plateforme d'exécution temps-réel distribuée (TTA). Dans cette thèse on propose des extensions du langue Lustre contenant des notations de temps-réel et de distribution. Suivant ceci, une méthode complète d'implémentation des spécifications Lustre sur l'architecture de TTA est définie. Les algorithmes conçus incluent l'analyse statique des spécifications Lustre, la décomposition des spécifications en taches, l'ordonnancement des taches et la génération du code exécutable. Un outil de vérification pour les applications TTA et un outil de modellisation d'applications distribuées temps-réel sont également présentés.