, En effet, chaque composition de modules (service) est implémentée sous la forme d'un schéma, or il n'est pas possible, dans cette version de ContrAct, d'ordonnancer les schémas. De fait, les contraintes de précédence au sein d'une composition sont vérifiées mais pas celles entre les compositions. Par conséquent, nous avons modifié notre règle de projection pour nous adapter à la situation, Une limitation a été identifiée dans la projection des compositions sur le middleware ContrAct

V. Rigaud, Innovation and operation with robotized systems, J. F. Robot, vol.24, issue.6, pp.44-51, 2009.

J. Michel, M. Klages, F. J. Barriga, Y. Fouquet, S. Myriam et al., Victor 6000 : Design, Utilization and First Improvements, International Offshore and Polar Engineering Conference, vol.5, pp.7-14, 2003.

P. Sarradin, K. O. Leroy, H. Ondreas, M. Sibuet, M. Klages et al., Evaluation of the first year of scientific use of the French ROV Victor 6000, Proceedings of the 2002 International Symposium on Underwater Technology (Cat. No.02EX556, pp.11-16, 2002.

M. Caccia, M. Bibuli, R. Bono, G. Bruzzone, G. Bruzzone et al., Unmanned marine vehicles at CNR-ISSIA, The International Federation of Automatic Control, vol.17, pp.3070-3075, 2008.

H. Nakajoh, H. Osawa, T. Miyazaki, K. Hirata, T. Sawa et al., Development of work class ROV applied for submarine resource exploration in JAMSTEC, 2012.

T. Murashima, H. Nakajoh, H. Yoshida, J. N. Yamauchi, and H. Sezoko, 7.000m class ROV KAIKO7000, vol.2, pp.812-817, 2004.

A. M. Tahir and J. Iqbal, Underwater robotic vehicles: latest development, Sci.Int.(Lahore), vol.26, issue.3, pp.1111-1117, 2014.

J. Rife and S. M. Rock, A pilot-aid for ROV based tracking of gelatinous animals in the midwater, MTS/IEEE Oceans 2001. An Ocean Odyssey. Conference Proceedings, vol.2, pp.1137-1144, 2001.

T. Salgado-jimenez, J. L. Gonzalez-lopez, J. C. Pedraza-ortega, L. G. Garciavaldovinos, L. F. Martinez-soto et al., Design of ROVs for the Mexican power and oil industries, 2010 1st International Conference on Applied Robotics for the Power Industry, pp.1-8, 2010.

T. Salgado-jimenez, J. L. Gonzalez-lopez, L. F. Martinez-soto, E. Olguin-lopez, P. Resendiz-gonzalez et al., Deep water ROV design for the Mexican oil industry, OCEANS 2010, pp.1-6, 2010.

M. Jacobi and D. Karimanzira, Underwater pipeline and cable inspection using autonomous underwater vehicles, OCEANS 2013, pp.1-6, 2013.

S. Reed, J. Wood, and C. Haworth, The detection and disposal of IED devices within harbor regions using AUVs, smart ROVs and data processing/fusion technology, 2010 International WaterSide Security Conference, pp.1-7, 2010.

A. W. Stoner, C. H. Ryer, S. J. Parker, P. J. Auster, and W. W. Wakefield, Evaluating the role of fish behavior in surveys conducted with underwater vehicles, Can. J. Fish. Aquat. Sci, vol.65, issue.6, pp.1230-1243, 2008.

N. M. Bacheler, T. J. Paoli, and G. M. Schacht, Controls on Abundance and Distribution of Yellow Perch: Predator, Water Quality, and Density-Dependent Effects, Trans. Am. Fish. Soc, vol.140, issue.4, pp.989-1000, 2011.

S. L. Harter and A. W. David, Examination of proposed additional closed areas on the West Florida Shelf a report to the Gulf of Mexico Fishery Management Council, 2009.

, VICTOR 6000, flotte.ifremer.fr, 2010.

, TurtleCam, 2015.

N. Cruz and A. C. Matos, The MARES AUV, a modular autonomous robot for environment sampling, 2008.

D. G. Walker, Thesis for the degree of master of science in mechanical engineering at the massachusetts institute of technology under the supervision of F. Hover and Pr, J. Leonard, 2008.

. Mi and . Ma, New tool monitors effects of tidal, wave energy on marine habitat, 2015.

B. Rush, J. Joslin, B. Polagye, and A. Stewart, Development of an adaptable monitoring package for marine renewable energy projects, Marine Energy Technology Symposium, METS2014, 2014.

J. Joslin, E. Celkis, B. Polagye, and A. Stewart, Development of an adaptable monitoring package for marine renewable energy, OCEANS 2013, 2013.

H. Gosselin, Un robot montpelliérain pour explorer les fonds du lac Titicaca, Febr, vol.21004, issue.6, 2014.

M. L'hour and V. Creuze, The 2014 underwater archaeological mission on the shipwreck of the Lune, in the framework of the Corsaire Concept Project: scanning and sampling artefacts with robots, EUROCAST 2015 Conference-Workshop on Marine Sensors and Manipulators, 2015.

H. Salvayre, Le livre des eaux souterraines des Pyrénées catalanes, Canet en Roussillon, p.2849741051, 2010.

S. Mokhtari, Une mer d'eau douce sous les corbières, 2012.

, Font Estramar : une plongée extrême à-248 m, Spéléo Mag, vol.83, pp.8-13, 2013.

R. Pastor, Société spéléologique de Fontaine de Vaucluse

. Sorgonaute, Comité départemental de spéléologie de seine-maritime, 2009.

C. Emig, Modexa, 1985.

, Spélénaute, 1989.

G. Caramanna, Scientific Diving and ROV Techniques Applied to the Geomorphological and Hydrogeological Study of the World ' s Deepest Karst Sinkhole, 1994.

L. Kolovrat, Red Lake Finally Discovered Some Secrets, 2013.

, DEPTHX (DEep Phreatic THermal eXplorer)," www.stoneaerospace.com

M. Gary, N. Fairfield, W. C. Stone, D. Wettergreen, G. Kantor et al., 3D Mapping and Characterization of Sistema Zacatón from DEPTHX ( DEep Phreatic THermal eXplorer), KARST '08, pp.202-212, 2008.

R. Passama, ContrACT : une méthodologie de conception et de développement d ' architectures de contrôle de robots(Rapport LIRMM n°: RR-10025), 2010.

R. Passama and D. Andreu, ContrACT : A software environment for developing control architecture, CAR '11, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00599683

A. Lasbouygues, Exploration robotique de l'environnement aquatique : les modèles au coeur du contrôle, en Systèmes Automatiques et Microélectroniques, sous la direction de D. Andreu et de L. Lapierre, 2015.

, Nomenclature for Treating the Motion of a Submerged Body Through a Fluid, Technical and Research Bulletin, vol.1, issue.5, 1950.

T. I. Fossen, Guidance and Control of Ocean vehicles, p.9780471941132, 1994.

T. I. Fossen, Marine Control Systems : Guidance, Navigation and Control of Ships, Rigs and Underwater Vehicles, p.8292356002, 2002.

J. Avila, J. Adamowski, N. Maruyama, F. Takase, and M. Saito, Modeling and Identification of an Open-frame Underwater Vehicle: The Yaw Motion Dynamics, J. Intell. Robot. Syst, vol.66, issue.1-2, pp.37-56, 2012.

G. Indiveri, Thèse de doctorat en ingénierie électronique et informatique, sous la direction du Prof, Ing. R. Zoppoli, 1998.

K. H. Low, Modelling and parametric study of modular undulating fin rays for fish robots, Mech. Mach. Theory, vol.44, issue.3, pp.615-632, 2009.

X. Liang, J. Zhang, Y. Qin, and H. Yang, Dynamic Modeling and Computer Simulation for Autonomous Underwater Vehicles with Fins, J. Comput, vol.8, issue.4, pp.1058-1064, 2013.

P. Ridao, A. Tiano, A. El-fakdi, M. Carreras, and A. Zirilli, On the identification of non-linear models of unmanned underwater vehicles, Control Eng. Pract, vol.12, issue.12, pp.1483-1499, 2004.

R. Yang, B. Clement, A. Mansour, H. J. Li, M. Li et al., Modeling of a complex-shaped underwater vehicle, 2014 IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC), pp.36-41, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01008150

R. Yang, B. Clement, A. Mansour, H. J. Li, and M. Li, Invited Paper : Robust Control Application To Ciscrea Underwater Vehicle, OCEANS'15/MTS/IEEE, 2015.

J. Garus, Optimization of thrust allocation in the propulsion system of an underwater vehicle, Int. J. Appl. Math. Comput. Sci, vol.14, issue.4, pp.461-467, 2004.

G. H. Golub and C. F. Van-loan, Matrix Computations, Phys. Today, vol.10, issue.8, p.48, 1957.

R. A. Horn and C. R. Johnson, Matrix Analysis, vol.169, p.521386322, 1985.

T. A. Johansen and T. I. Fossen, Control allocation-A survey, Automatica, vol.49, issue.5, pp.1087-1103, 2013.

E. Omerdic and G. Roberts, Thruster fault diagnosis and accommodation for openframe underwater vehicles, Control Eng. Pract, vol.12, issue.12, pp.1575-1598, 2004.

M. Akmal, M. Yusoff, and M. R. Arshad, Active Fault Tolerant Control of a Remotely Operated Vehicle Propulsion System, Procedia Eng, vol.41, pp.622-628, 2012.

G. Indiveri and G. Parlangeli, On thruster allocation, fault detection and accommodation issues for underwater robotic vehicles, 2006.

L. Fuqiang, X. Demin, G. Jian, and C. Rongxin, Fault tolerant control for an autonomous underwater vehicle to dock with thruster redundancy, Chinese Control Conference (CCC), pp.6186-6190, 2013.

M. Chyba, T. Haberkorn, R. N. Smith, S. K. Choi, G. Mariani et al., Efficient Control of an Autonomous Underwater Vehicle while accounting for Thruster Failure, International Conference on Computer Applications and Information Technology in the Maritime Industries, COMPIT '08, 2008.

W. M. Bessa, M. S. Dutra, and E. Kreuzer, Dynamic Positioning of Underwater Robotic Vehicles with Thruster Dynamics Compensation, Int. J. Adv. Robot. Syst, vol.10, p.1, 2013.

D. R. Yoerger, J. G. Cooke, and J. E. Slotine, The influence of thruster dynamics on underwater vehicle behavior and their incorporation into control system design, IEEE J. Ocean. Eng, vol.15, issue.3, pp.167-178, 1990.

L. Pivano, Thrust Estimation and Control of Marine Propellers in Four-Quadrant Operations, p.9788247162583, 2008.

J. Kim, H. Woong, H. Shon, W. K. Lee, and . Chung, Preliminary thruster control experiments for underwater vehicle positioning, International Conference on Robotics and Automation, 2006. ICRA '06, pp.3233-3237, 2006.

N. Mansard, Thèse de doctorat en Informatique, sous la direction de F. Chaumette, 2006.

A. Hanai, H. T. Choi, S. K. Choi, and J. Yuh, Minimum energy based fine motion control of underwater robots in the presence of thruster nonlinearity, International Conference on Intelligent Robots and Systems,IROS '03, vol.1, pp.559-564, 2003.

A. Hanai, K. Rosa, S. K. Choi, and J. Yuh, Experimental analysis and implementation of redundant thrusters for underwater robots, International Conference on Intelligent Robots and Systems, IROS '04, vol.2, pp.1109-1114, 2004.

W. M. Bessa and M. ,

E. Dutra and . Kreuzer, Thruster dynamics compensation for the positioning of underwater robotic vehicles through a fuzzy sliding mode based approach, ABCM Symposium in Mechatronics, vol.2, pp.605-612, 1990.

W. Khalil, E. Dombre, and M. Nagurka, Modeling, Identification and Control of Robots, Appl. Mech. Rev, vol.56, issue.3, p.37, 2003.

F. Flacco, A. De-luca, and O. Khatib, Motion control of redundant robots under joint constraints: Saturation in the Null Space, International Conference on Robotics and Automation, ICRA '12, pp.285-292, 2012.

Y. Nakamura, H. Hanafusa, and T. Yoshikawa, Task-Priority Based Redundancy Control of Robot Manipulators, Int. J. Rob. Res, vol.6, issue.2, pp.3-15, 1987.

L. Lapierre, Etude et réalisation de la commande hybride Position/Force d'un robot sous-marin équipé d'un bras manipulateur, 1999.

A. Liégeois, Automatic Supervisory Control of the Configuration and Behavior of Multibody Mechanisms, IEEE Trans. Syst. Man. Cybern, vol.7, issue.12, pp.868-871, 1977.

D. S. Watkins, Fundamentals of Matrix Computations, p.9780471249719, 2002.

R. Passama, D. Andreu, D. Crestani, and K. Godary-dejean, Architectures de controle pour la robotique-Approches et tendances, Tech. l'ingénieur, vol.7791, p.21, 2014.
URL : https://hal.archives-ouvertes.fr/lirmm-02015617

R. Passama, C. Dony, T. Libourel, and D. Andreu, Apports d'une approche à composants pour les architectures de contrôle de robots, Conférence Francophone sur les Architectures Logicielles, CAL'06, 2006.

R. Passama, Thèse de doctorat en Informatique et Robotique , sous la direction de, 2006.

A. G. Raymond, SOA : Architecture Logique : Principes, structures et bonnes pratiques, 2011.

Y. Chen and W. Tsai, Distributed Service-Oriented Software Development, p.9780757552731, 2008.

S. Latha and T. Jem, An Overview of Service-oriented Architecture, Web Services and Grid Computing, HP, 2005.

R. J. High, S. Kinder, and S. Graham, IBM's SOA Foundation, An Architectural Introduction and Overview, 2005.

Y. Chen, A. Sabnis, and M. Garcia-acosta, Design and Performance Evaluation of a Service-Oriented Robotics Application, 29th IEEE International Conference on Distributed Computing Systems Workshops, pp.292-299, 2009.

V. M. Trifa, C. M. Cianci, and D. Guinard, Dynamic Control of a Robotic Swarm using a Service-Oriented Architecture, International Symposium on Artificial Life and Robotics, AROB '08, pp.1-4, 2008.

T. H. Yang and W. P. Lee, A service-oriented framework for the development of home robots, Int. J. Adv. Robot. Syst, vol.10, 2013.

Y. Chen, A. Sabnis, and M. Garcia-acosta, Design and Performance Evaluation of a Service-Oriented Robotics Application, International Conference on Distributed Computing Systems Workshops, ICDCSW '09, pp.292-299, 2009.
DOI : 10.1109/icdcsw.2009.50

R. Zapata, P. Lépinay, and P. Thompson, Reactive behaviors of fast mobile robots, J. Robot. Syst, vol.11, issue.1, pp.13-20, 1994.
DOI : 10.1002/rob.4620110104
URL : https://hal.archives-ouvertes.fr/lirmm-00105339

A. El-jalaoui, Gestion Contextuelle de Tâches pour le contrôle d'un véhicule sous-marin autonome, Jouvencel et D. Andreu, 2007.

A. R. Passama, Rapport LIRMM n°: RR-10026 : Environnement de développement ContrACT, 2010.

A. Lasbouygues, B. Ropars, R. Passama, D. Andreu, and L. Lapierre, Atoms Based Control of Mobile Robots with Hardware-In-the-Loop validation, International Conference on Intelligent Robots and Systems , IROS '15, 2015.
URL : https://hal.archives-ouvertes.fr/lirmm-01310983

!. %&'!(-;-&*+#*)*+!$,

!. , #!1)!(3.%1),&+6!.#!1)!$1)+#83

%. 681#<&3*!-'% and !. +#0,

%. +&8&,

&. ,

*. 0#73& and !. ,

. %#2!-61#0+,3*&;%#!,

%. , *, vol.83

*. and !. 0#++#!-f!$31@7)1#*0#!g!-#*!, /)++)0:)*+! H! )$$3,+#,! .#! 1/)4'+,)0+&3*!

. %#!'#!'3&+!)%!*&7#)%!.#!, , p.3

. %#!)7#0!1/#<$,#''&3*!.#!,

%. ,

&. 7&0#'2!-$3%7)*+!-j+ and #. ,

. %&!-)$$3 and . +#!-%*!,

%. ,

*. 60#''&+6!.#!.67#13$$#, !. , and #. , !1)!03*0#$+&3*2!1)!,6)1&'), p.5

N. @2!%*.#,o)+# and !. 343+'!, , vol.1

, #0:)*&0)12! #1#0+,3*&0)1! 3,! '38+O),#!, p.1

!. O&+, !)*!)4'+,)0+&3*!38!+:#!03*+,31!),0:&+#0+%,#2!

*. and #. ''&3*!-38!-+:#!-7#, +&1&+@! 1&*L#.! +3! +:#! )0+%)+&3*! '@'+#

!. , #. , #. +a!p:&'!%*.#, and . 1&*#'!)*3+, (&0)1! )'$#0+! )'! )! 0#*+, p.3