J. Jean-paul and O. Michel, Une approche multi-agents pour la gestion de la communication dans les réseaux de capteurs sans fil, Revue Technique et Science Informatique, Hermès sciences, 2005.

J. Jean-paul and O. Michel, DIAMOND: A physical multiagent systems codesign approach, International Workshop on Multi-Agent Robotic Systems (MARS), 2005.

J. Jean-paul, O. Michel, and L. André, An energy efficient multiagent middleware for physical complex system, Articificial Neural Networks and Intelligent Information Processing (ANNIIP), 2005.

J. Jean-paul and O. Michel, Designing Cooperative Embedded Systems Using A Multiagent Approach : The Diamond Method, IFIP Artificial Intelligence Applications and Innovations - IFIP/AIAI'2005, 2005.
DOI : 10.1007/0-387-29295-0_11

J. Jean-paul, O. Michel, and L. André, A decentralized self-organized approach for wireless sensor networks, 2004 IFIP Design Methods and Applications for Distributed Embedded Systems -IFIP/DIPES, 2004.

J. Jean-paul and O. Michel, Using organizational structures emergence for maintaining functional integrity in embedded systems networks, 2004 IFIP Artificial Intelligence Applications and Innovations -IFIP/AIAI, 2004.

J. Jean-paul and O. Michel, An adaptive multiagent infrastructure for self-organized physical embodied systems : An application to wireless communication management, Third IEEE In- Publications ternational Symposium on Advance Distributed Systems -ISADS'2003, 2003.

J. Jean-paul and O. Michel, Using Self-Organization for Functional Integrity Maintenance of Wireless Sensors Networks, ACM International Conference on Intelligent Agent Technology -IAT'2003, pp.535-539, 2003.

J. Jean-paul, O. Michel, and L. André, A Multiagent System for the instrumentation of an underground hydrographic system, IEEE International Symposium on Virtual and Intelligent Measurement Systems -VIMS'2002, pp.20-25, 2002.

J. Jean-paul and O. Michel, Un intergiciel par envoi de message économe en énergie basé sur une approche multi-agents, Journées Francophones Ubiquité et Mobilité , ACM digital library, 2004.

J. Jean-paul and O. Michel, Gestion adaptative de la communication dans les réseaux sans fil de systèmes physiques, Journées Francophones sur les Systèmes Multi-Agents, Hermès sciences, 2004.

J. Jean-paul, O. Michel, and L. André, Simulation du maintien d'intégrité fonctionnelle par système multi-agents pour un réseau de capteurs sans fil, Journées Francophones sur les Systèmes Multi-Agents, Hermès sciences, 2004.

J. Jean-paul, Vers un AGL multi-agents pour la création de systèmes complexes mixtes logiciels/matériels , Colloque de l'Agence Rhône-Alpes pour la Maîtrise des Technologies de la Mesure - ARATEM, 2004.

J. Jean-paul and E. Projet, Instrumentation non filaire de réseaux hydrographiques souterrains , Colloque de l'Agence Rhône-Alpes pour la Maîtrise des Technologies de la Mesure -ARA- TEM, 2003.

J. Jean-paul, Approche co-design pour la conception de systèmes complexes embarqués autoorganisés , Colloque de l'Agence Rhône-Alpes pour la Maîtrise des Technologies de la Mesure -ARA- TEM, p.28, 2002.

J. Bibliographie-]-abrial, The B Book -Assigning Programs to Meanings, 1996.

E. Adam, Modèle d'organisation multi-agent pour l'aide au travail coopératif dans les processus d'entreprise : application aux systèmes administratifs complexes, Thèse de doctorat, 2000.

A. , T. Adams, A. K. Thomas, and E. , The design of mixed hardware/software systems, 33rd Design Automation Conference, pp.515-520, 1996.

T. Aggelou, G. Aggelou, and R. Tafazolli, Relative distance micro-dicovery ad hoc routing (rdmar) protocol, 1999.

G. Agimont, Modélisation et Simulation des Organisations Mutli-agents, Thèse de doctorat, 1996.

W. W. Agresti, What are the new paradigms, editor, New Paradigms for Software Development, 1986.

M. Alissali, Introduction au Génie Logiciel, 1998.

. Allara, A case study in design space exploration: the Tosca environment applied to a telecommunication link controller, IEEE Design & Test of Computers, vol.17, issue.2, pp.60-72, 2000.
DOI : 10.1109/54.844335

. Antoniu, Building fault-tolerant consistency protocols for an adaptative grid data-sharing service, ACM Workshop on Adaptative Grid Middleware, pp.49-59, 2004.

. Arabshahi, Adaptive routing in wireless communication networks using swarm intelligence, conference of the 9th AIAA Int. Communications Satellite Systems Conference, pp.1-9, 2001.

W. Ashcroft, E. A. Ashcroft, and W. W. Wadge, Lucid, a nonprocedural language with iteration, Communications of the ACM, vol.20, issue.7, pp.519-526, 1977.
DOI : 10.1145/359636.359715

P. J. Ashenden, The VHDL Cookbook, First Edition, 1990.

D. Baeijs, C. Baeijs, and Y. Demazeau, Les organisations dans les systèmes multi-agents, 5éme Journée Nationale du PRC-IA sur les Systèmes Multi-Agents, pp.35-46, 1996.

H. Ong, A java embedded micro-kernel infrastructure, conference of the 2002 joint ACM-ISCOPE conference on Java Grande, pp.224-224, 2002.

. Banavar, A Case for Message Oriented Middleware, DISC, pp.1-18, 1999.
DOI : 10.1007/3-540-48169-9_1

. Basagni, A distance routing effect algorithm for mobility (DREAM), Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking , MobiCom '98, pp.76-84, 1998.
DOI : 10.1145/288235.288254

K. Beck, Extreme programming: A humanistic discipline of software development, Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, pp.1-6, 1998.
DOI : 10.1007/BFb0053579

H. Belhadj, Overview on graphical entities for high-level description, IFIP Workshop on Logic and Architecture Synthesis, 1994.

. Berger, Towards a fipa approach for mobile ad hoc environments, Proceeding of the 8th International Conference on Intelligence in next generation Networks, 2003.

. Berlage, T. Genau-]-berlage, and A. Genau, A framework for shared applications with a replicated architecture, Proceedings of the 6th annual ACM symposium on User interface software and technology , UIST '93, pp.249-257, 1993.
DOI : 10.1145/168642.168668

. Bernon, ADELFE: A Methodology for Adaptive Multi-agent Systems Engineering, Engineering Societies in the Agents World III, Third International Workshop, pp.156-169, 2002.
DOI : 10.1007/3-540-39173-8_12

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

E. Berrebi, Méthodologie pour l'application industrielle de la synthèse comportementale, Thèse de doctorat, 1997.

. Berry, . Gonthier, G. Berry, and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V

URL : https://hal.archives-ouvertes.fr/inria-00075711

K. P. Birman, Replication and fault-tolerance in the isis system, In ACM Operating Systems Review, pp.79-85, 1985.

O. Birrel, N. Birrel, and M. Ould, A practical Handbook for Software Development, 1985.
DOI : 10.1017/CBO9780511624223

B. W. Boehm, Software Engineering, IEEE Transactions on Computers, vol.25, issue.12, pp.1226-1241, 1976.
DOI : 10.1109/TC.1976.1674590

B. W. Boehm, A spiral model of software development and enhancement, Computer, vol.21, issue.5, pp.61-72, 1988.
DOI : 10.1109/2.59

. Boissier, . Demazeau, O. Boissier, and Y. Demazeau, ASIC: An architechture for social and individual control and its application to computer vision, Distributed Software Agents and Applications, 6th European Workshop on Modelling Autonomous Agents -MAAMAW '94, pp.1-18, 1996.
DOI : 10.1007/3-540-61157-6_27

. Boissier, Caractéristiques des sytèmes et des applications, des Techniques Avancées Systèmes Multi-Agents (Série ARAGO), pp.25-54, 2004.

. Bollen, J. Heylighen-]-bollen, and F. Heylighen, Algorithms for the self-organisation of distributed, multi-user networks. possible application to the future world wide web, Cybernetics and Systems '96, pp.911-916, 1996.

. Bottoni, Consistency Checking and Visualization of OCL Constraints, The Unified Modeling Language, Advancing the Standard, Third International Conference, pp.294-308, 2000.
DOI : 10.1007/3-540-40011-7_21

A. Boughlam, Définition d'un modèle, notes de travail sadt, 1988.

. Brazier, Principles of componentbased design of intelligent agents, Data Knowledge Engineering, issue.1, pp.411-438, 2002.

. Bronevetsky, Application-level checkpointing for shared memory programs, Proceedings of the 11th International Conference on Architectural Support for Programming Langages and Operating Systems -ASPLOS'04, pp.235-247, 2004.

. Buchenrieder, HW/SW Co-Design With PRAMs Using CODES, 11th IFIP conference of the International Conference on Computer Hardware Description Languages and their Applications -CHDL '93, pp.32-65, 1993.
DOI : 10.1016/B978-0-444-81641-2.50010-1

. Buck, Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, International Journal in Computer Simulation, vol.4, issue.2, 1994.
DOI : 10.1016/B978-155860702-6/50048-X

. Calderoni, Construction expérimentale d'un modèle multi-agents, European Conference on Cognitive Science, pp.109-123, 1997.

. Calisti, An agent-based middleware for adaptative roaming in wireless networks, AAMAS 2004 Worshop on Agents for Ubiquitous Computing, 2004.

J. M. Call, Quality factors, Encyclopaedia of Software Engineering, pp.958-969, 1994.

. Calvez, Hardware/Software System Design Based on the MCSE Methodology, Current Issues in Electronic Modeling, vol.9, pp.1-36, 1997.
DOI : 10.1007/978-1-4615-6295-5_6

. Campo, Service discovery in pervasive multiagent systems, AAMAS2002 -conference of the Workshop on Ubiquitous Agents on embedded, wearable, and mobile devices, 2002.

V. Camps, Vers une théorie de l'auto-organisation dans les systèmes multi-agents basée sur la coopération: application à la recherche d'information dans un système d'information répartie [Camps, 1998] Camps Application of a self-organizing method based on cooperation to information retrieval [Camps and Gleizes, 1995] Camps Principes et évaluation d'une méthode d'auto-organisation Wisdom of the Body, Thèse de doctorat 13th European Conference on Artificial Intelligence Actes des 3émes Journées du GDR-PRC IA/SMA, pp.313-314, 1932.

B. Carabelea, C. Carabelea, and O. Boissier, Multi-agent platforms on smart devices : Dream or reality?, conference of the Smart Objects Conference, 2004.
URL : https://hal.archives-ouvertes.fr/emse-00758415

. Carabelea, Benefits and Requirements of Using Multi-agent Systems on Smart Devices, Euro-Par, volume LNCS n°2790, pp.1091-1098, 2003.
DOI : 10.1007/978-3-540-45209-6_147

URL : https://hal.archives-ouvertes.fr/emse-00745152

. Carreras, From lotos to vhdl, Series Current Issues in Electronic Modelling, 1995.

. Caspi, Lustre: A declarative language for programming synchronous systems, Symposium on Principles of Programming Languages, pp.178-188, 1987.

. Castor, Towards requirement traceability in tropos, Workshop em Engenharia de Requisitos, pp.189-200, 2004.

. Cerri, . Loia, S. A. Cerri, and V. Loia, A concurrent, distributed architecture for diagnostic reasoning, User Modeling and User-Adapted Interaction, vol.7, issue.2, pp.69-105, 1997.
DOI : 10.1023/A:1008263915043

D. Chen and V. Talwar, Extending Java Virtual Machines for networked embedded devices, Research Disclosure, vol.475, pp.475-076, 2003.

C. , G. Chen, T. Gerla, and M. , Global state routing: A new routing scheme for ad-hoc wireless networks, conference of IEEE International Conference on Communications - ICC'98, 1998.

. Chiang, Routing in clustered multihop, mobile wireless networks, conference of IEEE Singapore International Conference on Networks, pp.197-211, 1997.

L. Chiozzotto and B. Lenail, Java et l'informatique industrielle, Jautomatise, issue.5, 1998.

. Choudhury, Topology discovery in ad-hoc wireless networks using mobile agents, conference of the 2nd ACM International Workshop on Mobile Agents for Telecommunication Applications, pp.1-16, 2000.

. Clausen, Optimized link state routing protocol, IEEE International Multitopic Conference, 2001.
DOI : 10.17487/rfc3626

URL : https://hal.archives-ouvertes.fr/inria-00471712

K. Clohessy, Virtual machine technology: Managing complexity and providing protability for embedded systems, Dedicaced Systems Magazine, issue.5, pp.58-60, 2001.

A. Collinot and A. Drogoul, Using the cassiopeia method to design a robot soccer team, Applied Artificial Intelligence, vol.29, issue.2-3, pp.127-147, 1998.
DOI : 10.1080/088395198117794

. Cook, Decision-theoretic cooperative sensor planning, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.18, issue.10, pp.1013-1023, 1996.
DOI : 10.1109/34.541410

. Cormen, Introduction à l'algorithmique : Cours et exercices LabVIEW : Programmation et applications, Dunod, 2001.

. Das, Routing in ad hoc networks using a spine, Proceedings of Sixth International Conference on Computer Communications and Networks, pp.34-41, 1997.
DOI : 10.1109/ICCCN.1997.623288

M. De, Co-design of dsp systems, NATO ASI Hardware/Software Co-Design, 1995.

G. Micheli-]-de-micheli, Hardware/Software Co-Design, 1995.
DOI : 10.1007/978-94-009-0187-2

. Deloach, MULTIAGENT SYSTEMS ENGINEERING, International Journal of Software Engineering and Knowledge Engineering, vol.11, issue.03, pp.231-258, 2001.
DOI : 10.1142/S0218194001000542

Y. Demazeau, La plate-forme paco et ses applications, Actes des 2émes Journées du GDR-PRC IA/SMA, 1993.

Y. Demazeau, From interactions to collective behavior in agent-based systems, European Conference on Cognitive Science, 1995.

C. Demazeau, Y. Demazeau, and A. R. Costa, Populations and organisations in open multi-agent systems, 1st Symposium on Parallel and Distributed AI, 1996.

. Défago, Semi-passive replication, Proceedings Seventeenth IEEE Symposium on Reliable Distributed Systems (Cat. No.98CB36281), p.43, 1998.
DOI : 10.1109/RELDIS.1998.740473

. Diaz, Communication de groupe dans les applications multimédia coopératives : une synthèse, NOTERE'98 -Colloque International sur les NOuvelles TEchnologies de la REpartition, 1998.

K. Donnadieu, G. Donnadieu, and M. Karsky, La systémique, 2002.

A. Drogoul, De la Simulation Multi-agents à la Résolution Collective de Problèmes, Thèse de doctorat, 1993.

. Dube, Signal stability-based adaptive routing (SSA) for ad hoc mobile networks, conference of IEEE Personal Communications, pp.36-45, 1997.
DOI : 10.1109/98.575990

D. Durand, La systémique. Que sais-je?, 1998.

]. E. Sternheim, R. Sternheim, and Y. T. Singh, Digital Design With Verilog Hdl, 1993.

. Eker, Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829

. Ernst, Hardware-software cosynthesis for microcontrollers, IEEE Design and Test of Computers, pp.64-75, 1993.

J. Ferber, Les Systèmes Multi-Agents : vers une intelligence collective, 1995.

G. Ferber, J. Ferber, and O. Gutknecht, A meta-model for the analysis and design of organizations in multi-agent systems, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160), pp.3-7, 1998.
DOI : 10.1109/ICMAS.1998.699041

. Fipa, FIPA ACL Message Representation in Bit-Efficient Specification, Specification number SC00069, 2002.

. Fipa, FIPA Agent Message Transport Envelope Representation, Specification number SC00088, 2002.

. Foisel, De l'organisation d'une société à sa ré-orgranisation, Journée Systèmes Multi-Agents, pp.121-128, 1996.

N. Foukia and S. Hassas, Towards self-organizing computer networks: A complex system perspective, Engineering Self-Organising Applications, pp.77-83, 2003.

M. Fox, An Organizational View of Distributed Systems, IEEE Transactions on Systems, Man, and Cybernetics, vol.11, issue.1, pp.70-80, 1981.
DOI : 10.1109/TSMC.1981.4308580

G. Franklin, S. Franklin, and A. C. Graesser, Is It an agent, or just a program?: A taxonomy for autonomous agents, conference of the Third International Workshop on Agent Theories, Architectures and Languages (ATAL'96), pp.21-35, 1996.
DOI : 10.1007/BFb0013570

. Gajski, System-level exploration with SpecSyn, Proceedings of the 35th annual conference on Design automation conference , DAC '98, pp.812-817, 1998.
DOI : 10.1145/277044.277252

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Garro, Modeling-notation source: Gaia, 2003.

L. Gasser, An overview of dai, Distributed Artificial Intelligence : Theory and Praxis, 1992.

T. Gerla, M. Gerla, J. T. Tsai, and -. , Multicluster, mobile, multimedia radio network, Wireless Networks, vol.75, issue.3, pp.255-265, 1995.
DOI : 10.1007/BF01200845

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

. Glunz, Integrating SDL and VHDL for System-Level Hardware Design, conference of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, pp.32-187, 1993.
DOI : 10.1016/B978-0-444-81641-2.50021-6

. Goldberg, The design and implementation of a fault-tolerant cluster manager The nicola mark ii / a new rescue radio for france, The CREG Journal, pp.3-6, 1999.

R. Gray, Soldiers, agents and wireless networks: A report on a military application, conference of the Fifth International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agents, 2000.

. Grode, Hardware resource allocation for hardware/software partitioning in the LYCOS system, Proceedings Design, Automation and Test in Europe, pp.22-27, 1998.
DOI : 10.1109/DATE.1998.655832

M. Groupe and M. Groupe, Auto-organisation := évolution de structure(s), PRC-GDR Intelligence artificielle, pp.139-152, 1996.

F. Guichard, La réorganisation dynamique dans les systèmes multi-agents, 1996.

. Guillemet, Mise en oeuvre d'une approche componentielle pour la conception d'agents, Septièmes Journées Francophones sur l'Intelligence Artificielle Distribuée et les Systèmes Multi-Agents (JFIADSMA'99), pp.53-65, 1999.

D. Gupta, R. Gupta, D. Micheli, and G. , Hardware-software cosynthesis for digital systems, IEEE Design and Test of Computers, pp.29-41, 1993.

S. Haegg, A sentinel approach to fault handling in multi-agent systems, conference of the 2nd Australian Workshop on Distibuted Artificial Intelligence, volume LCNS n°1286, pp.181-195, 1997.

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

L. Helin, H. Helin, and M. Laukkanen, Performance analysis of software agent communication in slow wireless networks, Proceedings. Eleventh International Conference on Computer Communications and Networks, pp.354-361, 2002.
DOI : 10.1109/ICCCN.2002.1043091

. Herlea, Specification of Bahavioural Requirements within Compositional Multi-agent System Design, conference of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, volume LNCS n°1647, pp.8-27, 1999.
DOI : 10.1007/3-540-48437-X_2

F. Heylighen, The science of self-organization and adaptivity, Computational and Mathematical Theory of Organizations, pp.253-280, 1999.

C. A. Hoare, Communicationg Sequential Processes, 2004.

. Huang, Construction and soccer dynamics analysis for an integrated multi-agent soccer robot system, Natl. Sci. Counc. ROC(A), pp.84-93, 2001.

. Hübner, A model for the structural , functional, and deontic specification of organizations in multiagent systems, 16th Brazilian Symposium on Artificial Intelligence, pp.118-128, 2002.

. Iglesias, A Survey of Agent-Oriented Methodologies, conference of ATAL 98 -Workshop on Agent Theories, Architectures, and Languages, volume LNAI 1555, pp.163-176, 1998.
DOI : 10.1007/3-540-49057-4_21

. Ishida, An organizational approach to adaptive production systems, Proceedings of the Eighth National Conference on Artificial Intelligence, pp.52-58, 1990.

/. Iso and . Iec, LOTOS -A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Organization for Standardization -Information Processing Systems -Open Systems Interconnection, 1988.

. Iwata, Scalable routing strategies for ad hoc wireless networks, IEEE Journal on Selected Areas in Communications, pp.1369-1379, 1999.
DOI : 10.1109/49.779920

. Jackson, . Simpson, K. Jackson, and H. Simpson, Mascot -a modular approach to software construction, operation and test, RRE Tech. Note, 1975.

M. R. Jean, Emergence et sma, Journées Francophones sur l'Intelligence Artificielle Distribuée et Systèmes Multi-Agents (JFIADSMA'97), pp.323-342, 1997.

. Jiang, Cluster based routing protocol, 1999.

. Jiang, Cluster based routing protocol (cbrp) functional specification, 1998.

[. , L. , M. Lu, and I. , A peer-to-peer zone-based two-level link state routing for mobile ad hoc networks, IEEE Journal on Selected Areas in Communications, pp.1415-1425, 1999.

. Johnson, . Maltz, D. Johnson, and D. Maltz, Dynamic Source Routing in Ad Hoc Wireless Networks, Mobile Computing, pp.153-181, 1996.
DOI : 10.1007/978-0-585-29603-6_5

S. Jones, G. Sheeran, and M. , Circuit design in ruby. Formal Methods for VLSI Design, 1990.

P. Kadionik, Cours de l'option Systèmes Embarqués, 2004.

A. Kalavade, System-level codesign of mixed hardware-software systems, 1995.

. Kalavade, . Lee, A. Kalavade, and E. A. Lee, A hardware-software codesign methodology for dsp application, IEEE design and Test of Computers, pp.16-28, 1993.

M. Kendall, E. Kendall, and M. Malkoun, Design Patterns for the Development of Multi-Agents Systems, Multi-Agents Systems : Methodologies and Applications, conference of Second Australian Workshop on DAI, volume LNAI 1286, pp.17-32, 1997.

. Kinny, A methodology and modelling technique for systems of BDI agents, conference of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, volume LNCS n°1038, pp.56-71, 1996.
DOI : 10.1007/BFb0031846

. Kleinrock, . Stevens, L. Kleinrock, K. Stevens, and H. Knublauch, Fisheye: A lenslike computer display transformation Extreme programming of multi-agent systems, Proceeding of Autonomous Agent and Multi-Agent System, pp.704-711, 1971.

. Ko, . Vaidya, Y. Ko, and N. Vaidya, Location-aided routing (LAR) in mobile ad hoc networks, Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking , MobiCom '98, pp.66-75, 1998.
DOI : 10.1145/288235.288252

C. Kolski, Interfaces Homme-Machine, application aux systèmes industriels complexes (2éme édition revue et corrigée) Hermes, 1997.

. Koning, Quelques perspectives d'utilisation des langages et protocoles d'interaction dans le contexte des télecommunications, JFIADSMA'95 -3émes Journées Francophone d'Intelligence Artificielle Distribuée et Systèmes Multi-Agents SADE : un Système Réflexif de Surveillance à Base de Connaissances Thèse de doctorat, 1993.

P. Kruchten, P. Kroll, K. Ku, D. Micheli, and G. , Guide pratique du RUP Hardwarec -a language for hardware design version -2.0, 1990.

S. Kumar, The Codesign of Embedded Systems: A Unified Hardware Software Representation, 2002.
DOI : 10.1007/978-1-4613-1293-2

. Kumar, A framework for hardware/software codesign, IEEE Computer, pp.39-45, 1993.
DOI : 10.1109/2.247650

A. Lagreze, Cours d'architectures embarquées -VHDL, 2003.

B. Langley, Discovery of infrastructure in multi-agent systems, Proceedings of the second international joint conference on Autonomous agents and multiagent systems , AAMAS '03, 2003.
DOI : 10.1145/860575.860788

P. Larvet, Analyse des systèmes : de l'approche fonctionnelle à l'approche objet, 1994.

. Laurgeau, Outils pour le prototypage des systèmes embarqués temps réel, Revue Jautomatise, vol.21, pp.58-62, 2002.

J. Moigne-]-le-moigne and E. Strugeon, La modélisation des systèmes complexes. Dunod. [Le Strugeon Une méthodologie d'auto-adaptation d'un système multiagents cognitifs, Thèse de doctorat, 1990.

S. Le, Proposition d'organisation dynamique d'un groupe d'agents en fonction de la tâche An explorative model for federated trading in distributed computing environments, Actes des 1ére Journées Francophones Intelligence Artificielle Distribuée et Systèmes Multi-Agents -JFIADSMA conference of the International Conference on Open Ditributed Processing, 1993.

F. Legras, Écoute flottante et communications locales pour la formation de groupes, Journées Francophones sur les Systèmes Multi-Agents, pp.31-43, 2002.

T. Lemlouma, Le routage dans les réseaux ad-hoc, Mémoire de maîtrise, 2000.

C. Lenay and J. Lind, Emergence et sma Interative Software Engineering for multiagent systems: The MASSIVE Method, Actes des Journées Francophones Intelligence Artificielle Distribuée et Systèmes Multi-Agents -JFIADSMA, pp.265-272, 1996.

T. Malone, Modeling Coordination in Organizations and Markets, Management science, pp.1317-1332, 1987.
DOI : 10.1287/mnsc.33.10.1317

. Mamei, . Zambonelli, M. Mamei, and F. Zambonelli, Self-Organization in Multi Agent Systems: A Middleware Approach, AAMAS 2003 Workshop on Engineering Self-Organising Systems, pp.233-248, 2003.
DOI : 10.1007/978-3-540-24701-2_16

M. Marca, D. A. Marca, and C. L. Mcgowan, Sadt: Structured Analysis and Design Techniques, 1987.

. Marcelpoil, La sociologie cellulaire: modéliser et simuler une 'société' cellulaire pour étudier le vivant, Intellectica, 1994.

P. Marcenac, Emergence of behaviors in natural phenomena agent-simulation, In Complexity International Review, vol.3, 1996.

P. Marcenac, Modélisation et Simulation par agents -Application aux systèmes complexes (HDR), 1997.

P. Marcenac, The multiagent approach : Complex simulations that spew realistic behaviors require independent acting variables, IEEE-Potentials, pp.19-23, 1997.

J. Simon and H. , Organizations, 1958.

A. T. Mcneile, Jackson system development (jsd), Information Systems Design Methodologies: Improving the Practice, pp.225-246, 1986.

. Meurisse, . Briot, T. Meurisse, and J. Briot, Une approche à base de composants pour la conception d'agents. Revue Technique et Science Informatiques (TSI), Numéro Spécial "Réutilisation, pp.583-602, 2001.
URL : https://hal.archives-ouvertes.fr/hal-01184935

. Milanosic, Routing and security in mobile ad hoc networks, Computer, vol.37, issue.2, pp.61-65, 2004.
DOI : 10.1109/MC.2004.1266297

R. Milner, Lectures on a calculus for communicating systems, Seminar on Concurrency, pp.197-220, 1984.
DOI : 10.1007/3-540-15670-4_10

R. Milner, Communicating and mobile systems: the pi-calculus, 1999.

. Minar, Cooperating mobile agents for dynamic network routing. Springer-Verlag. in Software Agents for Future Communications Systems Vers une méthodologie de conception de systèmes multi-agents de réolution de probléme par émergence, Structure et Dynamique des Organisations. Organisation. [Müller and Van Dyke Parunak JFIAD- SMA -Journée Francophones IAD et SMA, Pont-à-Mousson, 1982.
DOI : 10.1007/978-3-642-58418-3_12

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

P. Moreno, S. Moreno, and E. Peulot, Le gemma: Modes de marches et d'arrêts , GRAFCET de coordination des tâches, 1997.

. Moulin, B. Brassard-]-moulin, and M. Brassard, A scenario-based design method and an environment for the development of multiagent systems, First Australian Workshop on Distributed Artificial Intelligence: Architecture and Modelling, volume LNCS n°1087, pp.216-232, 1995.
DOI : 10.1007/3-540-61314-5_32

G. Murthy, S. Murthy, and J. Garcia-luna-aceves, A routing protocol for packet radio networks, Proceedings of the 1st annual international conference on Mobile computing and networking , MobiCom '95, pp.86-95, 1995.
DOI : 10.1145/215530.215560

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

. Mylopoulos, UML for Agent-Oriented Software Development: The Tropos Proposal, conference of the 4th International Conference on the Unified Modeling Language, Modeling Languages, Concepts, and Tools, volume LNCS n°2185, pp.422-441, 2001.
DOI : 10.1007/3-540-45441-1_31

. Narayan, System specification with the SpecCharts language, IEEE Design & Test of Computers, vol.9, issue.4, pp.6-13, 1992.
DOI : 10.1109/54.173326

D. J. Newman, Embedded Java controllers, Circuit Cellar, vol.166, pp.16-21, 2004.

. Ni, The broadcast storm problem in a mobile ad hoc network, Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking , MobiCom '99, pp.151-162, 1999.
DOI : 10.1145/313451.313525

. Niang, AAA and SynDEx-Ic: A Methodology and a Software Framework for the Implementation of Real-Time Applications onto Reconfigurable Circuits, conference of the 14th International Conference in Field Programmable Logic and Application, pp.1119-1123, 2004.
DOI : 10.1007/978-3-540-30117-2_143

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

. Occello, MASK : An AEIO Toolbox to Develop Multi-Agent Systems, IOS Series on Frontiers in AI and Applications, 2002.

Y. Demazeau, Modelling decision making systems using agents for cooperation in a real time constraints, 3rd IFAC Symposium on Intelligent Autonomous Vehicles, pp.51-56, 1998.

. Occello, Conception de systèmes multiagents : quelques éléments de réflexion méthodologique, Technique et science informatiques, pp.233-263, 2001.

. Olukotun, A softwarehardware cosynthesis approach to digital system simulation, Technique et science informatiques, pp.48-58, 1994.

W. Padgham, L. Padgham, and M. Winikoff, Prometheus, Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 1, AAMAS '02, pp.174-185, 2002.
DOI : 10.1145/544741.544749

. Park, . Corson, V. Park, and M. Corson, A highly adaptative distributed routing algorithm for mobile wireless networks, Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies INFOCOMM'97, pp.1405-1413, 1997.

R. Perkins, C. Perkins, and E. Royer, Ad-hoc on-demand distance vector routing, conference of the 2nd IEEE Workshop on Mobile Computing Systems and Applicqtions, pp.90-100, 1999.

. Petriu, Intelligent robotic sensor agents for enviroment monitoring, conference of the International Symposium on Virtual and Intelligent Measurement Systems, pp.14-19, 2002.

G. Picard, Méthodologie de développement de systèmes multi-agents adaptatifs et conception de logiciels à fonctionnalité émergente, Thèse de doctorat, 2004.

C. Pinet, Processus d'ingénierie du logiciel -Méthode et qualité, 2002.

G. Piquemal-baluard, C. Piquemal-baluard, P. Glize, and J. Pitrat, Des aptitudes non cognivistes d'agents pour l'auto-organisation Métaconnaissance, futur de l'intelligence artificielle Vers une taxinomie de vocabulaire pour les systèmes multi-agents, Journée Systèmes Multi-Agents PRC-GDR'92 -Actes de la Journée Système Multi-Agents, pp.129-138, 1990.

S. Pleisch, S. Pleisch, and A. Schiper, Approaches to fault-tolerant mobile agent execution, 2001.

D. Pountain, A tutorial introduction to occam programming, Blackwell Scientific Publications, 1987.

G. Pujolle and R. A. Quinnell, Les Réseaux, 3éme édition mise à jour, Eyrolles. [Quinnell, 2000.

G. Rao, A. Rao, and M. Georgeff, Bdi agents : from theory to practice, conference of 1st International Conference on Multi-Agent Systems ICMAS, pp.312-319, 1995.

. Ratsimor, Allia, Proceedings of the 2nd international workshop on Mobile commerce , WMC '02, 2002.
DOI : 10.1145/570705.570707

. Rethman, N. Wilsey-]-rethman, and P. Wilsey, Rapid: A tool for hardware/software tradeoff analysis, conference of IFIP Conference on Hardware Description Languages, 1993.

M. Rodriguez, Modélisation d'un agent autonome: Approche constructiviste de l'architecture de contrôle et de la représentation de connaissances, Thèse de doctorat, 1994.

R. , N. Russell, S. Norvig, and P. , Artificial Intelligence : a Modern Approach, 1995.

P. Sansores, C. Sansores, and J. Pavón, An agent architecture for wireless computing, International Workshop on Practical Applications of Agents and Multiagent Systems, 2003.

. Schroeder, A deliberative and reactive diagnosis agent based on logic programming, Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence, pp.436-437, 1996.
DOI : 10.1109/TAI.1996.560771

E. Sedmak, R. M. Sedmak, and J. Evans, A hierarchical, desgin-for-testability (dft) methodology for the rapid prototyping of application-specific signal processors (rassp), conference IEEE International Test Conference, pp.319-327, 1995.

Z. Shah, C. Shah, and A. Zelikovsky, Reactive connected dominating set for dynamic source routing, 2004.

. Shapiro, The icecube approach to the reconciliation of divergent replicas, 2001.
URL : https://hal.archives-ouvertes.fr/hal-01248215

. Sichman, A social reasoning mechanism based on dependence networks Sciences des systèmes, science de l'artificiel. Dunod Automation revolutionizes embedded systems diagnostics, conference of 1st National Symposium on Parallel and Distributed Artificial Intelligence (PDAI), pp.111-11628, 1991.

R. G. Smith, The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver, IEEE transactions on computers, volume C-39 n12, pp.1104-1113, 1980.
DOI : 10.1109/TC.1980.1675516

. So, . Durfee, Y. So, and E. Durfee, An organizational self-design model for organizational change, Working Notes of the AAAI-93 Workshop on Artificial Intelligence and Theories of roups and Organizations, 1993.

. So, . Durfee, Y. So, and E. Durfee, Designing tree-structured organizations for computational agents, Computational and Mathematical Organization Theory, pp.219-246, 1996.
DOI : 10.1007/BF00127275

URL : http://deepblue.lib.umich.edu/bitstream/2027.42/44720/1/10588_2004_Article_BF00127275.pdf

Y. Sorel, Syndex v4.2 user guide, 1994.

J. Spivey, Understanding z : A specification language and its formal semantics, In Cambridge Tracts in Theoretical Computer Science, vol.3, 1988.

L. Steels, Cooperation between distributed agents through self-organisation, IEEE International Workshop on Intelligent Robots and Systems, Towards a New Frontier of Applications, 1990.
DOI : 10.1109/IROS.1990.262534

E. Stoy, A Petri Net Based Unified Representation for Hw/Sw codesign J2me building blocks for mobile devices -white paper on kvm and the connected, 1995.

. Talpin, Hard Real-Time Implementation of Embedded Software in JAVA, Lecture Notes in Computer Science, vol.2952, pp.33-47, 2004.
DOI : 10.1007/978-3-540-24639-8_4

URL : https://hal.archives-ouvertes.fr/inria-00071564

. Terry, Managing update conflicts in Bayou, a weakly connected replicated storage system, the Fifteenth ACM Symposium on Operating System Principles, pp.172-183, 1995.
DOI : 10.1145/224057.224070

. Theißinger, CASTLE: an interactive environment for HW-SW co-design, Third International Workshop on Hardware/Software Codesign, pp.203-209, 1994.
DOI : 10.1109/HSC.1994.336705

. Thomas, The system architect's workbench, conference of the 25th ACM/IEEE Conference on Design Automation, pp.337-343, 1988.

C. Toh, Associativity based routing for ad hoc mobile networks, Wireless Personnal Communications Journal, 1997.

C. Tripakis, S. Tripakis, and C. Courcoubetis, Extending promela and spin for real time, Second International Workshop, TACAS '96, pp.329-348, 1996.
DOI : 10.1007/3-540-61042-1_53

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

K. Turner, Using Formal Description Techniques ? An Introduction to Estelle, LOTOS and SDL, 1992.

A. Tveit, A survey of agent-oriented software engineering, NTNU Computer Science Graduate Student Conference, 2001.

F. Vahid and T. Givargis, Embedded System Design: A Unified Hardware/Software Introduction, 2002.

C. A. Valderrama, Prototype virtuel pour la génération des architectures mixtes logicielles/matérielles, Thèse de doctorat, Institut National Polytechnique de Grenoble A practitioners? review of industrial agent applications, Autonomous Agents and Multi-Agent Systems, vol.3, issue.4, pp.389-407, 1998.

L. Vercouter, Conception et mise en oeuvre de systèmes multi-agents ouverts et distribués, Thèse de doctorat, 2000.

L. Vercouter, L. Bertalanffy, and P. T. Ward, Mast : Un modèle de composant pour la conception de sma, Journées Multi-Agents et Composants Structured Development for Real-Time Systems: Introduction and Tools. Yourdon, 1932.

. Wasserman, A RAPID/USE tutorial, Medical Information Science, 1985.

C. Watkins, Learning from delayed reward, 1989.

M. Weiser, Some computer science issues in ubiquitous computing, ACM, pp.75-84, 1993.

G. Weiss and W. Wolf, Multiagent systems and distributed artificial intelligence Multiagent systems : A modern approach to Distributed Artificial Intelligence Hardware/software codesign of embedded systems, pp.967-989, 1994.

J. Wooldridge, M. Wooldridge, and N. Jennings, Intelligent agents: theory and practice, The Knowledge Engineering Review, vol.10, issue.02, 1995.
DOI : 10.1017/S0269888900008122

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

. Wooldridge, The gaia methodology for agent-oriented analysis and design, Autonomous Agents and Multi-Agent Systems, pp.285-312, 2000.

. Wytrebwicz, . Budkowski, S. Wytrebwicz, and S. Budkowski, Communication Protocols Implemented in Hardware: VHDL Generation From Estelle, Current Issue in Electronic Modelling, pp.77-98, 1995.
DOI : 10.1007/978-1-4615-2303-1_4

X. Xu, K. Xu, and L. Xin, Novel 32bit embedded reduced-instruction-set-computer with Java extension. Mini-Micro Systems, pp.90-95, 2005.

R. T. Yeh, An alternate paradigm for software evolution, Modern Software Engineering: Foundations and Perspectives, 1990.

. Yiyu, 10.4- 4: A Java processor for mobile devices, IEEE International Conference on Consumer Electronics, pp.437-438, 2005.

. Zhang, Distributed problem solving in sensor networks, Proceedings of the first international joint conference on Autonomous agents and multiagent systems part 2, AAMAS '02, pp.15-19, 2002.
DOI : 10.1145/544862.544971

J. Zimmermann, Design and implementation of darx, 1999.

.. Cycle-de-vie, 66 diagramme de cas d'utilisation, p.227

.. De-séquences, 226 entité/relation, pp.72-74

B. Recueil-des, 69 situation, p.89