T. Dans-une-tâche-récurrente, une sous-tâche u est activée à un instant t, une quantité de travail de pire temps d'exécution e(u) est activée, Cette quantité est à exécuter avant une échéance d(u) relative à la date d'activation

. Si-u-n, alors le prochain état à activer est un état v successeur de u dans G(T ). Notons que l

. Exemple, ? last(?)) a deux successeurs act 22 et act 42 De ce fait, on lui construit une sous-tâche ? 5 ayant comme successeurs ? 6 et ? 7

. Enn, nous dénotons dans toute la suite par f irst(? ) (resp last(? )) la première (resp, la dernière) instance de la sous-tâche ? . De même, nous dénotons par f irst_sub(S R ) l'ensemble des instances d

. Dans and . Baruah, une tâche récurrente est caractérisée par un seul état source. De ce fait, il faut éventuellement adapter le pré-ordonnancement, 2003.

. Stankovic, En considérant la nature du réseau CAN, la validation de l'ordonnançabilité des messages se base sur la politique EDF non-préemptive Une condition d'ordonnançabilité, appliquant cette politique, est proposée pour vérier le respect de toutes les échéances des messages Enn, si le système de messagerie est temporellement faisable, [K.M and K.G, 1995] propose une technique calculant l'identiant (i.e. priorité xe) de chaque message à partir de son échéance. Cette approche permet la construction d'une politique d, considère une caractérisation temporelle des messages échangés sur le réseau, 1998.

. Khalgui, Nous généralisons l'approche hybride en considérant une application distribuée sur un réseau de dispositifs multi-ressources Nous supposons que ces dispositifs sont des PLCs multi-tasking connectés par un bus CAN, Pour valider le comportement global de l'application, nous devons, 1994.

*. Vérier-l-'ordonnançabilité-dans-chaque and . Khalgui, Construire les tâches récurrentes dans chaque dispositif Vérier l'ordonnançabilité de ces tâches, * Construire une messagerie correcte vis à vis des bornes sur les temps de réponse Pour construire cette messagerie, nous devons calculer pour chaque message à échanger sur le réseau, ** Une caractérisation temporelle (date d'activation initiale, période, gigue), ** Une échéance basée sur les contraintes imposées par les dispositifs destinataires, 6.2. Travaux existants sur l'allocation cation statique réalisée avant l'exécution, 2005.

S. Dans-cette, J. Garey, . Lenstra, and . Kan, nous nous limitons à présenter les travaux en lien direct avec notre travail Dans le cadre de tâches temps réel préemptives, le problème d'allocation est NP-complet [Coman Plusieurs approches ont été proposées pour réduire la complexité du problème [Baker, 1974.

A. and E. Billionnet, Ces approches se basent sur des heuristiques, des simulations, 1990.

. Dans and . Cambazard, une approche est proposée pour déployer un ensemble de tâches temps réel sur une architecture distribuée. En plus des contraintes temporelles décrites dans le cahier des charges, les contraintes suivantes ont été prises en compte pour l'allocation de chaque tâche T de l'application, 2004.

. Cette-approche-sépare-la-fonction, En eet, à chaque scénario d'allocation, on vérie la faisabilité des tâches sur les diérents calculateurs de l'architecture matérielle. Les deux fonctions peuvent être appliquées plusieurs fois an de trouver la solution d'allocation correcte respectant à la fois les contraintes temporelles ainsi que les contraintes d'allocation. Notons enn que pour réduire le problème d'allocation, les auteurs utilisent la programmation par contraintes, 2006.

. Dans and . Grandpierre, une approche est proposée pour allouer un ensemble de tâches sous des contraintes de précédence sur une architecture matérielle. Cette approche est basée sur une heuristique de Liste allouant les diérentes tâches selon un ordre de priorités bien déterminé [Lui and Corroyer, 1993.

. Dans and N. Kasahara, une autre approche est proposée pour l'allocation de tâches sous contraintes de précédence. Dans ce travail, les heuristiques CP/MISF (Critical Path/Most Immediate Successors First) et DF/IHS (Depth-First/Implicit Heuristic Search), 1984.

. Dans and . Peng, une autre approche est proposée pour allouer des tâches périodiques sous contraintes de précédence sur une architecture hétérogène. Le problème posé est de minimiser le pire temps de réponse de chaque tâche étudiée, 1997.

. Hladik, exclusion s'ils partagent des données ou la commande de certains procédés physiques Ces deux blocs doivent donc être exécutés en exclusion mutuelle. Rappelons que du point de vue de la norme IEC61499, ce problème est géré au sein d'une ressource par un ordonnancement statique non préemptif. Nous dénissons un groupe d'exclusion comme un ensemble de blocs fonctionnels devant s'exécuter en exclusion mutuelle. Notons qu'un bloc peut appartenir à plusieurs groupes d'exclusion. Soit ? ? ? un ensemble de blocs fonctionnels, Les contraintes d'exclusion Deux blocs fonctionnels possèdent une contrainte d, 2006.

. Exemple, exemple précédent, supposons que l'analyse du réseau des blocs fonctionnels fasse apparaître les contraintes suivantes : Les blocs F B 2 et F B 4 (resp, F B 5 et F B 6 ) partagent une variable commune. Selon les contraintes décrites ci-dessus, nous considérons les groupes d'exclusion suivants

. Ici, nous considérons une attribution statique des priorités aux groupes d'exclusion. Dans la suite, nous dénoterons par HLF ET (ex, Excl(?)) avec ex ? Excl(?)) la fonction attribuant une priorité au groupe d'exclusion ex

. Étape-préliminaire, Analyse des contraintes L'analyse des blocs fonctionnels de ? permet de construire l'ensemble des groupes d'exclusion Excl(?) ainsi que la fonction local dénissant les contraintes de localisation

. Soit-la-fonction-alloc, Si une telle allocation est possible, alors la fonction retourne une vrai Nous supposons les fonctions suivantes déjà dénies : 6.4. Méthode d'allocation stat_f easible(r ?{ex i }) Cette fonction analyse l'ordonnançabilité statique de la ressource r en prenant en compte les blocs fonctionnels du groupe ex i . add(r, ex i ) (resp. remove(r, ex i )) Cette fonction ajoute (resp. supprime) les BFs du groupe ex i dans (resp. de) la ressource r. cette fonction ajoute aussi les BFs d'interface assurant la communication avec l'extérieur de r. card(dev) Cette fonction fournit le nombre de ressources déjà construites dans le dispositif dev. new(r, dev) Cette fonction crée une nouvelle ressource r dans le dispositif dev. f easible_dev(dev) Cette fonction analyse l

. Commentaire, Si les blocs fonctionnels du groupe ex i ne sont pas ordonnançables dans dev, alors ce dispositif ne fait plus partie de l'ensemble local(ex i )

. Commentaire, Si nous trouvons une ressource pouvant contenir les blocs fonctionnels du groupe ex i , alors nous devons à appliquer l'étape 2 de l'approche

. Commentaire, Nous n'avons pas pu trouver une ressource pouvant contenir les BFs de ex i , mais il est possible d'en construire une nouvelle

. Commentaire, Il n'existe pas de dispositif dans local(ex i ) pour allouer ex i

. Commentaire, Nous vérions la faisabilité en ligne des diérentes tâches OS construites et des messages échangés sur le réseau. Si l'allocation de ex i n'est pas faisable, alors nous appliquons l'étape 1

. Commentaire, La ré-allocation de ex i n'a aucun eet sur celle de ex j . Nous lançons alors le re-allocation de ex i?1

. Commentaire, Nous re-déployons le groupe ex i en excluant la ressource r de tout test de allocation

. La, permet l'allocation d'un groupe d'exclusion de Excl. Les paramètres d'entrée de la fonction sont les suivants : ex : un nouveau groupe à allouer dans un des dispositifs de local(ex). f ailed : un groupe de priorité inférieure à ex

S. L. Enn, allocation d'un groupe f ailed de priorité inférieure n'est pas possible, alors nous essayons de ré-allouer le groupe ex en excluant la ressource res de tout test d'allocation dans la suite

. Fig, 15 Le calcul des échéances 7.4.3 Validation hybride Nous appliquons l'approche hybride pour la validation temporelle de l'application. Dans chaque calculateur, nous calculons les pré-ordonnancements de ses diérentes ressources, Ensuite, vol.7

. Vu-qu-'à-chaque-instant, il y a au plus un seul message à échanger entre calculateurs (de P ub3 vers Sub3 ou de P ub5 vers Sub1), nous n

. Dans-cette-section, nous supposons que l'application n'est pas encore allouée sur les ressources et les dispositifs Nous appliquons l'heuristique proposée dans ce manuscrit pour allouer ses diérents blocs dans l'architecture matérielle. Nous commençons tout d'abord par l'allocation du groupe d'exclusion ex 0 Pour cela, nous construisons une nouvelle ressource R 1 pour contenir ses diérents blocs fonctionnels. En se basant sur l'approche hybride, nous validons la faisabilité temporelle des blocs de ce groupe dans cette ressource

. Nous-présentons and . Dans-la, le pré-ordonnancement de la ressource R 1 ainsi que la tâche récurrente correspondante, nous présentons le pré-ordonnancement de la ressource R2, Nous construisons à partir de cet ordonnancement la tâche OS correspondante, 1928.

. La-deuxième-solution, appliquée dans cette étude, est l'approche hybride Elle se base sur une politique EDF préemptive tout en étant conforme à la norme. Dans ce cas, nous construisons pour chaque ressource une tâche OS récurrente. Cette solution hybride réduit

. Grâce-À-cette-approche, nous arrivons à construire dans chaque dispositif une seule tâche OS au lieu de deux. De plus, le nombre total des sous-tâches construites est égal à 11 au lieu de 27. Cette réduction en nombre de sous-tâches réduit considérablement la complexité de l'analyse d'ordonnançabilité proposée dans, 2003.

S. Enn, autres blocs fonctionnels (de priorités inférieures) à l'application, nous risquons que les diérentes tâches OS construites ne soient plus faisables. Dans ce cas, nous avons à appliquer des retours arrières pour remettre en cause le déploiement

. Dans-ce-chapitre, nous avons étudié une application, à base de blocs fonctionnels, contrôlant une chaîne de production. Nous avons enrichi l'architecture fonctionnelle de l'application en tenant en compte le concept de ressource proposé dans la norme. De plus

. Dans-un-premier and . Temps, Pour vérier les contraintes temporelles, nous avons appliqué l'approche hybride proposée dans le chapitre 5. Dans un deuxième temps, nous avons abordé le problème d'allocation étudié dans le chapitre 6. Nous avons appliqué l'heuristique proposée pour allouer les diérents blocs tout en considérant les contraintes du cahier des charges. Enn, en se basant sur cette étude, nous avons mis en évidence l'apport des diérentes approches proposées dans ce manuscrit. Le premier apport est l'exploitation d'une politique EDF préemptive pour ordonnancer les diérents blocs fonctionnels de l'application. Le deuxième est la réduction, par construction de l'allocation

K. Ahmad, Y. K. Ahmad, and . Kwok, Analysis, evaluation, and comparison of algorithms for scheduling task graphs on parallel processors, Proceedings Second International Symposium on Parallel Architectures, Algorithms, and Networks (I-SPAN'96), pp.207-213, 1996.
DOI : 10.1109/ISPAN.1996.508983

E. H. Ali, H. Ali, and . El-rewini, Task Allocation in Distributed Systems : A Split Graph Model, Journal. Computer Math. Combination Computing, vol.14, issue.1, pp.15-32, 1993.

]. R. Allen, A formal Approach to Software Architecture, 1997.

D. Alur, D. Alur, and . Dillamnell, A theory of timed automata, Proceedings of Modelling and Verication of Parallel Processes (MOVEP'2k), France, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

. André, Real-time architecture description and quantitative analysis using uml Modélisation de systèmes réactifs par une approche synchrone : Synccharts Real Time Summer school, France New Age of Software Development : How Component-Based Software Engineering Changes the Way of Software Development Introduction to sequencing Scheduling, Proc. 1st Workshop on Component Based Software Engineering, 1998. [Archimedes-System, 2006] Archimedes-System. Archimedes System Platform web page. 2006. [Articus, 1996] Articus. Rubus OS Reference Manual. Articus Systems Barbacci, C. B. Weinstock, D. L. Boubledey, and R. W. Lichota. Durra : an integrated Approach to Software Specication, Modeling and Rapid Prototyping Software Engineering Institute nCMU/SEI-91 TR-21, 1974.

. Bibliographie and . Barbacci, Durra : a structure description language for developing distributed applications, Software Engineering Journal, vol.8, pp.83-94, 1993.

. Baruah, Generelized multiframe tasks. Real-Time Systems : The international Dynamic and Static Priority Scheduling of Recurring Real-Time Tasks. Real-Time Systems, Journal Of Time Critical Computing, vol.17, issue.1, pp.5-22, 1999.

]. Baruah, Feasibility Analysis of Preemptive Real-Time Systems upon Heterogeneous Multiprocessor Platforms, 25th IEEE International Real-Time Systems Symposium, 2004.
DOI : 10.1109/REAL.2004.20

R. Bellissard, M. Bellissard, and . Riveillbenveniste, Olan : A Language and Runtime Support for Distributed Application Conguration Journée du GDR de Programmation. France Synchronous programming with events and relations : the SIGNAL language and its semantics, Science of Computer Programming, vol.16, pp.103-149, 1991.

. Beugnard, Making components contract aware, Cotre : prospective pour la vérication. Rapport LAAS No04372 Contrat RNTL COTRE, pp.38-45, 1999.
DOI : 10.1109/2.774917

. Billionnet, An efficient algorithm for a task allocation problem, Journal of the ACM, vol.39, issue.3, pp.502-518, 1992.
DOI : 10.1145/146637.146646

URL : https://hal.archives-ouvertes.fr/hal-01124505

]. G. Birriello, D. H. Miles-]-s, ]. Bokhari, and . Boxbrennan, Task Scheduling for Real-Time Multiprocessor Simulations A Network Flow Model for Load Balancing in Circuit-Switched Multicomputers House of COM : Is COM dead ? MSDN magazine, Comparing two Approaches to Modelling Decentralized Manufacturing Control Systems with UML Capsules. 13éme IEEE International Workshop on Database and Expert Systems Applications. France, pp.70-73, 1993.

. Cambazard, Decomposition and learning for a real time task allocation problem. Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, pp.153-167, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00448532

. Cengic, Implementation of full synchronous composition using IEC 61499 function blocks. Automation Science and Engineering, IEEE International Conference on Aug 1 pages, pp.267-272, 2005.

]. J. Christensen, Design patterns for systems engineering in IEC 61499, 2000.

]. J. Christensen, Basic concepts of iec 61499, Verteile Automatiseiriung (Distributed Automation), p.5562, 2000.

C. , L. W. Chu, and L. M. Lan, Task Allocation and Precedence Relations for Distributed Real-Time System, IEEE Transaction. Computers, vol.36, issue.6, pp.667-679, 1987.

]. W. Chu, Task Allocation in Distributed Data Processing, Computer, vol.13, issue.11, pp.57-69, 1980.
DOI : 10.1109/MC.1980.1653419

]. W. Chu, Task Allocation in Distributed Data Processing, Computer, vol.13, issue.11, pp.57-69, 1980.
DOI : 10.1109/MC.1980.1653419

]. E. Coman, Computer and Job-Shop Scheduling Theory, 1976.

. Corba, . Corba, . Corba, and . Services, Common Object Services Specication. Object Management Group, 1997.

. Cottet, Ordonnancement temps réel, 2000.

L. Crnkovic, M. Crnkovic, and . Larsson, Building reliable component-based software systems. Artech House, 2002.

G. Cucu, J. Cucu, and . Goossens, Feasibility intervals for xed-priority realtime scheduling on uniform multiprocessors, the 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006.

. Cucu and . Sorel, Cucu and Y. Sorel. Ordonnancement non-preemptif pour systemes temps reel a contraintes de precedences et de latences, Quatriemes Journees Francophones de Recherche Operationnelle, 2004.

. Cucu, ]. L. Sorel, Y. Cucu, and . Sorel, Condition d'ordonnancabilite pour systemes temps reel non-preemptif a contraintes de precedences, de periodicites et de latences, 6eme congres de la Societe Francaise de Recherche Operationnelle et d'Aide a la Decision (ROADEF'05), 2005.

. David, A Tool Architecture for the Next Generation of Uppaal, Debruyne, F. simonot Lion, and Y. Trinquet. EAST-ADL an architecture description language -validation and verication aspects. IFIP Workshop on Architecture Description Language, p.4, 2003.
DOI : 10.1007/978-3-540-40007-3_22

. Defour, Extra-functional contract support in components CLARA : un langage de conguration dedie a la description d'architectures d'applications temps reel, Proc. of International Symposium on Component-based Software Engineering (CBSE7)Deplanche and Durand RTS'99, Conference Real-Time and Embedded Systems, 1999.

[. Souza, W. Souza, and A. C. Wills, Objects, Components and Frameworks : The Catalysis Approach, 1998.

]. E. Durand, Description et vérication d'architectures d'application temps réel : CLARA et les réseaux de petri temporels, 1998.

. Ehrig, A transformationbased component framework for a generic integrated modeling technique, Proc of Integrated Design and Process Technology, 2002.

. Faure, Toward IEC 61499 Function Blocks diagrams verication, IEEE International Conference on Systems Man and Cybernetics, 2002.

]. L. Ferrarini and C. Veber, [Ferrarini and Veber Implementation approaches for the execution model of IEC 61499 applications, 2éme IEEE International Conference on Industrial Informatics. Germany. INDIN'04, 2004.

. Ferro, Tuning the Cost Function in a Genetic/Heuristic Approach to the Hard Real-Time Multitask-Multiprocessor Assignment Problem, Proceeding of the Third World Multiconference on Systemics Cybernetics and Informatics, 1999.

]. Filipe, Fundamentals of a Module Logic for Distributed Object Systems, Journal of Functioning and Logic Programming, issue.3, 2000.

. J. Filipe and . Filipe, A logic-based Formalization for Component Specification., Special Issue : TOOLS USA 2002 Proceedings, pp.231-248, 2002.
DOI : 10.5381/jot.2002.1.3.a13

]. Filipe, A Logic-Based Formalization for Component Specication, 2002.

. Fioukov, Evaluation of static properties for component-based architectures, Proceedings. 28th Euromicro Conference, 2002.
DOI : 10.1109/EURMIC.2002.1046130

]. S. Frenchgarey, J. R. Garey, and D. S. Johnson, Sequencing and Scheduling Computers and Intractability : A Guide to the Theory of NP-Completeness, 1979.

. Goessler, . G. Sifakis, J. Goessler, and . Sifakis, Composition for Component-Based Modeling . FMCO02, 2002.

S. Goessler, J. Goessler, and . Sifakis, Composition for Component-Based Modeling . FMCO02, 2002.

]. G. Goessler and J. Sifakis, Component-based construction of deadlock-free systems. FSTTCS03, 2003.

. Grandpierre, Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors, Proceedings of the seventh international workshop on Hardware/software codesign , CODES '99, 1999.
DOI : 10.1145/301177.301489

C. Grolleau, A. Grolleau, and . Choquet-geniet, O-line Computation of Real-Time Schedules using Petri nets, Discrete Event Dynamic Systems, vol.12, issue.3, pp.311-333, 2002.
DOI : 10.1023/A:1015673516542

W. Hagge, B. Hagge, and . Wagner, A New Function Block Modeling Language Based on Petri Nets for Automatic Code Generation, IEEE Transactions on Industrial Informatics, vol.1, issue.4, pp.226-237, 2005.
DOI : 10.1109/TII.2005.857614

R. Hamdaoui, P. Hamdaoui, and . Ramanathan, A Service Policy for Real-Time Customers with (m,k)-Firm Deadlines Proceedings of the Fault-Tolerant Computing Symposium [Hamdaoui and Ramanathan, 1995] M. Hamdaoui and P. Ramanathan. A dynamic priority assignement technique for streams with (m,k)-rm deadlines, IEEE Transactions on Computers, pp.196-205, 1994.

C. T. Heinman, W. T. Heinman, and . Councilhladik, Component based Software Engineering : Putting the pieces together Solving allocation problems of hard real-time systems with dynamic constraint programming, 14th International Conference on Real-time and Network Systems (RTNS06), 2001.
DOI : 10.1007/b136248

. Jifeng, Contract-Oriented Component Software Development, Technical Report, vol.276, 2003.

]. Jézéquel, Reifying the semantic domains of component contracts, 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, 2006.

N. Kasahara, S. Kasahara, and . Narita, Practical Multiprocessor Scheduling Algorithms for Ecient Parallel Processing, Bibliographie [Khalgui and Rebeuf, 2006] M. Khalgui and X. Rebeuf. A heuristic based method for automatic deployment of distributed component based applications, IES2006, p.1, 1984.

. Khalgui, A behavior model for iec 61499 function blocks, MOCA04. Denmark, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00100263

. Khalgui, Simonot-Lion. A contribution to the validation of complex real-time systems, Setit04. Tunisie, 2004.

. Khalgui, A schedulability analysis of an iec 61499 control application, FET 05. Mexico, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000492

. Khalgui, A schedulability condition of an iec 61499 control application with limited buers Component-based deployment of industrial control systems : an hybrid scheduling approach, OMER3. Germany ETFA06, Czech Rebeuf, and F. Simonot-Lion. A hybrid scheduling approach of centralized component based applications. In WFCS2006. Italy, 2005.

. Khalgui, A static scheduling generator for the deployment of a component based application, Book Chapter, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00113450

. Khalgui, A tolerant temporal validation of components based applications Adaptable opc-xml contracts taking into account network trac, INCOM 06. France ETFA05, Italy, 2006.

. Klein, A practioner's handbook for Real-Time analysis. Guide to Rate monotonic Analysis for Real-Time Systems, 1993.

[. K. , K. G. Zuberi, and S. K. , Non-preemptive scheduling of messages on controller area network for real-time control applications, Real-Time Technology and Applications Symposium, pp.240-249, 1995.

. Kramer, Constructing Distributed Systems in CONIC, IEEE TSE, vol.15, issue.6, pp.663-675, 1989.

]. P. Krutchen, The 4+1 View Model of Architecture, IEEE Software, pp.42-50, 1995.

A. K. Kwok, I. Kwok, . L. Ahmad-]-e, and . Lawler, Static scheduling algorithms for allocating directed task graphs to multiprocessors, Deterministic and Stochastic Scheduling. Recent Developments in Deterministic Sequencing and Scheduling : A Survey The Netherlands : Reidel, pp.35-74, 1982.
DOI : 10.1145/344588.344618

K. K. Lenstra, A. H. Lenstra, and . Kan, Complexity of Scheduling under Precedence Constraints, Operations Research, vol.26, issue.1, pp.23-35, 1978.
DOI : 10.1287/opre.26.1.22

W. Leung, J. Leung, and . Whitehead, On the complexity of xed-priority scheduling of periodic real-time tasks, In performance Evaluation, vol.2, p.237250, 1982.

]. R. Lewis, Modelling Control Systems using IEC61499. The institution of Electrical Engineers, 2002.

L. Liu, J. Liu, . Layland, . Jws, and . Liu, Scheduling Algorithms for Multiprogramming in a Hard Real-time Environment Real-time systems, Journal of the ACM, vol.20, issue.1, p.4661, 1973.

. Lobov, Methodology for modeling visual flowchart control programs using net condition/event systems formalism in distributed environments, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696), 2003.
DOI : 10.1109/ETFA.2003.1248718

V. Luckham, J. Luckham, and . Vera, An Event-based Architecture Denition Language, IEEE TSE, vol.21, issue.9, pp.717-734, 1995.

. Luckham, Specication and Analysis of System Architecture Using Rapide, IEEE TSE, vol.21, issue.4, pp.336-355, 1995.

. Luders, ]. F. Lau, K. K. Luders, and . Lau, Specication of Software Components, Building Reliable Component-Based Software Systems, pp.23-38, 2002.

C. Lui, C. Lui, and . Corroyer, Eectiveness of heuristics and simulated annealing for the scheduling of concurrent task. An empirical comparison, Proc. of PARLE'93, 5th Int. PARLE conference, pp.452-463, 1993.

[. M. Herlihy, J. E. Moss, and M. Herlihy, Transactional memory : Architectural support for lock-free data structures, Proceedings of the Twentieth Annual International Symposium on Computer Architecture, 1992.

[. M. Richard, C. Grolleau, M. Richard, P. Richard, and F. Cottet, Contraintes de précédences et ordonnancement mono-processeur. Real Time and Embedded Systems, pp.121-138, 2002.

. Magee, Specifying distributed software architectures, proceedings of the 5th European Software Engineering Conference (ESEC 95). Espagne, 1995.
DOI : 10.1007/3-540-60406-5_12

. Medvidovic, A language and environment for architecture-based software development and evolution, Proceedings of the 21st international conference on Software engineering, ICSE '99, 1999.
DOI : 10.1145/302405.302410

F. K. Mok, X. Mok, and . Feng, Towards Compositionality in Real-Time Ressource Partitioning Based on Regularity Bounds, Real-Time Systems Symposium, pp.129-138, 2001.

. Mok, Specication and Analysis of Real- Time Systems : Modechart Language and Toolset. in Formal Methods For Real-Time Computing, 1996.

]. M. Moriconi and R. A. Reimenschneider, Introduction to SADL 1.0 : A Language for Specifying Software Architecture Hierarchies, 1997.

. Moschoyiannis, Formalising Well-Behaved Components, Proceedings of Formal Aspects of Component Software FACS'03, pp.8-9, 2003.
DOI : 10.1142/9789812772831_0011

URL : http://epubs.surrey.ac.uk/738616/2/moschoyiannis-final.pdf

. Ommering, [network, 1993] CAN network. Road vehicles. interchange of digital information. controller area network (can) for high speed communication The KOALA component model for consumer electronics software, Microsoft ISO 11898, 1993.

]. R. Van-ommering, Building product populations with software components, Proceedings of the 24th international conference on Software engineering , ICSE '02, 2002.
DOI : 10.1145/581372.581373

. Panjaitan, Development of re-congurable Distributed Controllers in IEC 61499 based on Task Schedules described by UML diagrams or Gant charts, 3éme IEEE International Conference on Industrial Informatcs. Autralia, 2005.

]. T. Pattison, Programming Distributed Applications with COM+ and Microsoft Visual Basic 6, 2000.

. Peng, Pecos-project. www.pecos-project.org/publications.html Assignment and Scheduling Communicating Periodic Tasks in Distributed Real-Time Systems, IEEE Transactions on Software Engineering, vol.23, issue.12, 1997.

]. J. Peterson, Petri Net Theory and the Modeling of Systems, 1981.

]. K. Ramamritham, Allocation and scheduling of complex periodic tasks, Proceedings.,10th International Conference on Distributed Computing Systems, 1990.
DOI : 10.1109/ICDCS.1990.89256

]. F. Sandnes, A hybrid genetic algorithm applied to automatic parallel controller code generation, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996.
DOI : 10.1109/EMWRTS.1996.557799

M. Selvakumar, C. S. Selvakumar, and . Murthy, Static task allocation of concurrent programs for distributed computing systems with processor and resource heterogeneity, Parallel Computing, vol.20, issue.6, pp.835-851, 1994.
DOI : 10.1016/0167-8191(94)90119-8

A. B. Shukla and D. P. Shukla, A framework for mapping periodic real-time applications on multicomputers, IEEE Transactions on Parallel and Distributed Systems, vol.5, issue.7, 1994.
DOI : 10.1109/71.296323

]. J. Sifakis, A framework for component-based construction, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005.
DOI : 10.1109/SEFM.2005.3

G. M. Stanica, H. Stanica, and . Guéguen, Using timed automata for the verication of IEC 61499 applications, 2004.

. Stankovic, Deadline scheduling for real-time systems, Kluoner Academic Publishers, 1998.
DOI : 10.1007/978-1-4615-5535-3

. Stewart, Design of Dynamically Recongurable Real-Time Software Using Port-Based Objects, IEEE Transaction on Software Engineering, 1997.

]. C. Szyperski, Component Software : Beyond Object-Oriented Programming, 1998.

S. Takada, K. Takada, and . Sakamurathramboulidis, mu-itron for small-scale embedded systems Towards an implementation Model for FB-based Recongurable Distributed Control Applications Model Integrated Mechatronics -Towards a new Paradigm in the Development of Manufacturing Systems, 7th IEEE Int Symposium on Object-oriented Real-Time Distributed Computing. AutriaThramboulidis, 2005b] Kleanthis Thramboulidis. IEC 61499 in Factory Automation. Int. Conf. on Industrial Electronics, Technology and Automation (CISSE-IETA 05), pp.46-54, 1995.

. Tindell, Allocating hard real-time tasks: An NP-Hard problem made easy, Real-Time Systems, vol.33, issue.3, pp.145-165, 1992.
DOI : 10.1007/BF00365407

. Tindell, Analyzing real-time communications : Controller area network (can), Proc. Real-Time Systems Symposium, pp.259-263, 1994.
DOI : 10.1109/real.1994.342710

URL : http://www.dca.ufrn.br/~affonso/DCA_STR/trabalhos/rt-ref/rt-CAN communication/Analysing Real-Time Communications - Controller Area Network.pdf

. Tindell, Calculating controller area network (can) message response times, Control Engineering Practice, vol.3, issue.8, pp.1163-1169, 1995.
DOI : 10.1016/0967-0661(95)00112-8

]. K. Tindell and ]. W. Tracz, Allocating Real-Time Tasks lileanna : a parameterized programming language, Proceedings, Second International Workshop on Software Reuse. Italysourceforge.net/. UNICON, 2006. [Vestel, 1993] S. Vestel. Scheduling and Communicating in MetaH. Real-Time Systems SymposiumVestel, 1995] S. Vestel. MetaH Programmer's Manual, pp.194-200, 1993.

H. Vyatkin, H. Vyatkin, and . Hanisch, Formal-modelling and Verication in the Software Engineering Framework of IEC 61499 : a way to self-verifying systems, ETFA01. Nice, 2001.

. Vyatkin, OOONEIDA: an open, object-oriented knowledge economy for intelligent distributed automation, IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. Proceedings., 2005.
DOI : 10.1109/INDIN.2003.1300207

. Bibliographie, Western-Reserve-Controls. W2 series IEC 61499 Development Kit, 2006.

S. E. Woolsey, H. S. Woolsey, and . Swanson, Operations Research for Immediate Applications : A Quick and Dirty Manual, 1974.

. Xia, Allocating IEC function blocks for parallel real-time distributed control system, IEEE International Conference on Control Applications, pp.254-259, 2004.

]. J. Xu, Multiprocessor scheduling of processes with release times, deadlines, precedence, and exclusion relations, IEEE Transactions on Software Engineering, vol.19, issue.2, pp.139-154, 1993.
DOI : 10.1109/32.214831

Y. , G. Yang, and A. Gerasoulis, List scheduling with and without communication delays, Parallel Computing Journal, vol.19, pp.1321-1344, 1993.

. Zoilt, Executing real-time constraint Control Applications modeled in IEC 61499 with respect to Dynamic Reconguration, 3éme IEEE International Conference On Industrial Informatics. Australia. INDIN'05, 2005.