---

Dans cet ouvrage, nous nous intéressons à la validation temporelle ainsi qu´au déploiement d´applications de contrôle industriel à base de composants. La technologie des composants retenue est celle des Blocs Fonctionnels définie dans la norme industrielle IEC 61499. Un Bloc Fonctionnel est défini comme un composant réactif supportant des fonctionnalités d´une application. L´avantage de cette norme, connue dans l´industrie, est la description statique de l´application ainsi que de son support d´exécution. Mots-clés: Approche par composants, Systèmes de Contrôle Industriel, Systèmes Temps-Réel Embarqués, Blocs Fonctionnels, IEC 61499, Model-checking, Ordonnancement temps-réel, Déploiement et Allocation.

---