.. Conception-d-'une-boucle-générique, 51 3.2.1 Définition de la classe de systèmes considérés, p.55

C. Semi-automatique-d-'une-boucle-générique and .. , 60 3.2.3.1 Génération de la couche d'abstraction, p.60

I. .. Mise-en-oeuvre-du-système-de-détection-de-pannes, 63 3.4.2.1 Ressources de calcul ou d'entrée/sortie avec une, p.64

.. Conception-d-'une-boucle-de-déploiement, 67 4.1.1 Spécificité d'une boucle de déploiement, p.69

.. Conception-d-'une-boucle-applicative, 87 4.2.1 Spécificité d'une boucle applicative de bâtiments intelligents, p.88

. Ce-chapitre-présente, dans un premier temps, une vue d'ensemble du support intergiciel, SICODAF, proposé dans cette thèse. Ensuite, il décrit la conception, à l'aide de SICODAF, d'une boucle autonomique générique, pour la mise en oeuvre de systèmes adaptatifs fiables. Enfin, ce chapitre montre comment SICODAF permet la reconfiguration d

. Dans-le-cas-d-'une-boucle-applicative and . Dans-le-contexte-du-bâtiment-intelligent,-le-développeur-fournit-un-modèle-de-l-'environnement-et-définit-les-objectifs, Le modèle de l'environnement spécifie pour chaque type d'actionneurs (p. ex., lampe, fenêtre) ses états, ses transitions et ses effets sur les paramètres de l'environnement (p. ex., luminosité , bruit), sous la forme d'un système de transitions. Les objectifs sont définis en spécifiant les valeurs que les paramètres de l'environnement doivent prendre

C. De-boucles-coordonnées and .. , 100 5.4.2 Conception d'un coordinateur basé sur des règles, p.104

C. De-boucles-hiérarchiques and .. , 105 5.5.1 Conception à l'aide du langage de règles 106 5.5.2 Conception à l'aide de la théorie du contrôle discret, p.107

. Ce-chapitre-présente-la-conception, aide du support intergiciel proposé, de boucles multiples, pouvant être des boucles de déploiement ou des boucles applicatives . Il présente d'abord les motivations et avantages des boucles multiples. Ensuite, il présente trois modes de composition de boucles : parallèle, coordonné et hiérarchique . Enfin, il présente la conception de boucles composées selon chaque mode

.. Implémentation-de-boucles-de-déploiement, 114 6.1.2.1 Implémentation de la couche d'abstraction, p.116

.. Implémentation-de-boucles-applicatives, 117 6.1.3.1 Générateur de couches d'abstraction

C. Études-de, 118 6.2.1 Déploiement d'un système de traitement de données, p.123

.. Conception-d-'une-pièce-de-bureau-intelligente, 125 6.2.2.1 Description des capteurs et des actionneurs, 125 6.2.2.2 Description des objectifs, p.127

}. Obj, S e n s o r s " ] . r d ( i d , i _ p r e s _ i d

. Obj, S e n s o r s " ] . r d ( i d , i_temp_id_val) & [ Obj , " S e n s o r s

. Obj, S e n s o r s " ] . r d ( i d , e_temp_id_val) & [ Obj , " S e n s o r s

. Obj, S e n s o r s " ] . r d ( i d , e_lum_id_val) & [ Obj , " S e n s o r s

. Obj, r d ( i d , e _ p o l l e n _ i d _ v a l ) & [ Obj , " S e n s o r s

P. I-e-c-e, r d ( r e u n i o n , c o n f i d , e n t r e 2 R e u n i o n s ) & INLINE_COMPUTE: e n t r e e s =

}. Alex, M. Kumar, and B. Shirazi, MidFusion: An adaptive middleware for information fusion in sensor network applications, Information Fusion, vol.9, issue.3, pp.332-343, 2008.
DOI : 10.1016/j.inffus.2005.05.007

R. Alur, T. A. Henzinger, and F. Mang, Modularity in model checking, International Conference on Computer Aided Verification, pp.521-525, 1998.
DOI : 10.1007/bfb0028774

F. Alvares, E. Rutten, and L. Seinturier, A domain-specific language for the control of self-adaptive component-based architecture, Journal of Systems and Software, vol.130, p.2017
DOI : 10.1016/j.jss.2017.01.030
URL : https://hal.archives-ouvertes.fr/hal-01450517

C. Andre and F. Boulanger, Software implementation of synchronous programs, Proceedings Second International Conference on Application of Concurrency to System Design, pp.133-142, 2001.
DOI : 10.1109/CSD.2001.981771
URL : http://www.i3s.unice.fr/~andre/CA Publis/ICACSD/icacsd.pdf

P. Arcaini, E. Riccobene, and P. Scandurra, Modeling and analyzing mapek feedback loops for self-adaptation, Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.13-23
DOI : 10.1109/seams.2015.10

D. Arregui, F. Pacull, and J. Willamowski, Rule-Based Transactional Object Migration over a Reflective Middleware, IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, pp.179-196, 2001.
DOI : 10.1007/3-540-45518-3_10
URL : http://citeseerx.ist.psu.edu/viewdoc/;jsessionid=DAB4E80DB38F60C330191DBA75410B8C

L. Atzori, A. Iera, and G. Morabito, The Internet of Things: A survey, Computer Networks, vol.54, issue.15, pp.2787-2805, 2010.
DOI : 10.1016/j.comnet.2010.05.010

J. Augusto, A new architecture for smart homes based on adb and temporal reasoning In Toward A Human-Friendly Assistive Environment : ICOST', 2nd International Conference on Smart Home and Health Telematics, 2004.

J. C. Augusto and M. J. Hornos, Using simulation and verification to inform the development of intelligent environments, Intelligent Environments (Workshops), pp.413-424

J. C. Augusto and M. J. Hornos, Software simulation and verification to increase the reliability of intelligent environments Advances in Engineering Software, pp.18-34

A. Avizienis, J. C. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE transactions on dependable and secure computing, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2

C. Baier, J. P. Katoen, and K. G. Larsen, Principles of model checking, 2008.

J. Barbosa, F. Dillenburg, and G. Lermen, Towards a programming model for context-aware applications, Computer Languages, Systems & Structures, vol.38, issue.3, pp.199-213
DOI : 10.1016/j.cl.2012.04.001

T. Batista, A. Joolia, and G. Coulson, Managing Dynamic Reconfiguration in Component-Based Systems, Software Architecture, pp.439-480, 2005.
DOI : 10.1007/11494713_1
URL : http://www.comp.lancs.ac.uk/computing/users/geoff/Publications/EWSA05.pdf

P. A. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency control and recovery in database systems, pp.26-36, 1987.

L. Bettini, Implementing domain-specific languages with Xtext and Xtend, pp.2016-116

G. Bolch, S. Greiner, H. De-meer, and K. S. Trivedi, Queueing networks and Markov chains : modeling and performance evaluation with computer science applications, 2006.
DOI : 10.1002/0471791571

T. Bouhadiba, Q. Sabah, G. Delaval, and E. Rutten, Synchronous control of reconfiguration in fractal component-based systems, Proceedings of the ninth ACM international conference on Embedded software, EMSOFT '11, pp.309-318
DOI : 10.1145/2038642.2038690
URL : https://hal.archives-ouvertes.fr/inria-00596883

L. Broto, D. Hagimont, and P. Stolf, Autonomic management policy specification in Tune, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.1658-1663, 2008.
DOI : 10.1145/1363686.1364080

G. Cabri, L. Leonardi, and F. Zambonelli, MARS: a programmable coordination architecture for mobile agents, IEEE Internet Computing, vol.4, issue.4, pp.26-35, 2000.
DOI : 10.1109/4236.865084

R. Calinescu, L. Grunske, and M. Kwiatkowska, Dynamic QoS Management and Optimization in Service-Based Systems, IEEE Transactions on Software Engineering, vol.37, issue.3, pp.387-409, 2011.
DOI : 10.1109/TSE.2010.92

J. Cano, G. Delaval, and E. Rutten, Coordination of ECA Rules by Verification and Control, International Conference on Coordination Languages and Models, pp.33-48
DOI : 10.1007/978-3-662-43376-8_3
URL : https://hal.archives-ouvertes.fr/hal-01006186

V. Cardellini, E. Casalicchio, and V. Grassi, MOSES: A Framework for QoS Driven Runtime Adaptation of Service-Oriented Systems, IEEE Transactions on Software Engineering, vol.38, issue.5, pp.1138-1159
DOI : 10.1109/TSE.2011.68

N. Carriero and D. Gelernter, Linda in context, Communications of the ACM, vol.32, issue.4, pp.444-458, 1989.
DOI : 10.1145/63334.63337

C. G. Cassandras and S. Lafortune, Introduction to discrete event systems, 2009.

G. Castelli, M. Mamei, A. Rosi, and F. Zambonelli, Engineering Pervasive Service Ecosystems, ACM Transactions on Autonomous and Adaptive Systems, vol.10, issue.1, pp.2015-2037
DOI : 10.1108/17427371111172997

B. H. Cheng, R. De-lemos, and H. Giese, Software Engineering for Self-Adaptive Systems: A Research Roadmap, Software engineering for selfadaptive systems, pp.1-26, 2009.
DOI : 10.1007/s11219-007-9017-4

T. Cooper, Rule-based programming under OPS5, 1988.

F. Corno and M. Sanaullah, Modeling and formal verification of smart environments, Security and Communication Networks, vol.85, issue.2, pp.1582-1598
DOI : 10.1007/978-1-4612-0931-7

J. Coutaz, A. Demeure, S. Caffiau, and J. L. Crowley, Early lessons from the development of SPOK, an end-user development environment for smart homes, Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing Adjunct Publication, UbiComp '14 Adjunct, pp.895-902
DOI : 10.1145/2638728.2641559
URL : https://hal.archives-ouvertes.fr/hal-01492556

E. Curry, Adaptive and reflective middleware Middleware for Communications, pp.29-52, 2004.

P. C. David and T. Ledoux, An aspect-oriented approach for developing selfadaptive fractal components, Software Composition, pp.82-97, 2006.
DOI : 10.1007/11821946_6
URL : https://hal.archives-ouvertes.fr/hal-00457130

A. Dearle, G. Kirby, and A. Mccarthy, A middleware framework for constraint-based deployment and autonomic management of distributed applications . arXiv preprint arXiv :1006, 2010.

G. Delaval, S. M. Gueye, and E. Rutten, Distributed Execution of Modular Discrete Controllers for Data Center Management, Proc. of the 5th IFAC international workshop on Dependable Control of Discrete Systems, DCDS'15, p.2015
DOI : 10.1016/j.ifacol.2015.06.485
URL : https://hal.archives-ouvertes.fr/hal-01161509

G. Delaval, S. M. Gueye, E. Rutten, and N. Palma, Modular coordination of multiple autonomic managers, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, pp.3-12
DOI : 10.1145/2602458.2602465
URL : https://hal.archives-ouvertes.fr/hal-01006106

G. Delaval, É. Rutten, and H. Marchand, Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic Systems, pp.385-418, 2013.
DOI : 10.1007/s10626-013-0163-5
URL : https://hal.archives-ouvertes.fr/hal-00863286

A. Dey, T. Sohn, S. Streng, and J. Kodama, icap : Interactive prototyping of context-aware applications. Pervasive Computing, pp.254-271, 2006.

J. Dubus and P. Merle, Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems, MoDELS Workshops, pp.242-251, 2006.
DOI : 10.1007/978-3-540-69489-2_30
URL : https://hal.archives-ouvertes.fr/hal-00177068

L. F. Ducreux, C. Guyon-gardeux, and S. Lesecq, Resource-based middleware in the context of heterogeneous building automation systems, IECON 2012, 38th Annual Conference on IEEE Industrial Electronics Society, pp.4847-4852, 2012.
DOI : 10.1109/IECON.2012.6388996

E. Dumitrescu, A. Girault, H. Marchand, and É. Rutten, Multicriteria optimal reconfiguration of fault-tolerant real-time tasks, Workshop on Discrete Event Systems, WODES'10, pp.366-373
DOI : 10.3182/20100830-3-DE-4013.00059
URL : https://hal.archives-ouvertes.fr/inria-00510019

W. Emmerich, Software engineering and middleware, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.117-129
DOI : 10.1145/336512.336542

P. T. Eugster, P. A. Felber, R. Guerraoui, and A. M. Kermarrec, The many faces of publish/subscribe, ACM Computing Surveys, vol.35, issue.2, pp.114-131, 2003.
DOI : 10.1145/857076.857078

X. Fei and E. Magill, Rule Execution and Event Distribution Middleware for PROSEN-WSN, 2008 Second International Conference on Sensor Technologies and Applications (sensorcomm 2008), pp.580-585, 2008.
DOI : 10.1109/SENSORCOMM.2008.127

A. Filieri, H. Hoffmann, and M. Maggio, Automated design of self-adaptive software with control-theoretical formal guarantees, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.299-310
DOI : 10.1145/2568225.2568272

C. L. Fok, G. C. Roman, and C. Lu, Agilla, ACM Transactions on Autonomous and Adaptive Systems, vol.4, issue.3, p.16, 2009.
DOI : 10.1145/1552297.1552299

M. García-herranz, P. A. Haya, and X. Alamán, Towards a ubiquitous enduser programming system for smart spaces, J. UCS, vol.16, issue.12, pp.1633-1649

D. Garlan, S. W. Cheng, and A. C. Huang, Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, pp.46-54, 2004.
DOI : 10.1109/MC.2004.175

K. Geihs, P. Barone, and F. Eliassen, A comprehensive solution for application-level adaptation. Software : Practice and Experience, pp.385-422, 2009.
DOI : 10.1002/spe.900

A. Girault and É. Rutten, Automating the addition of fault tolerance with discrete controller synthesis. Formal Methods in System Design, pp.190-225, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00748687

O. Grumberg and D. E. Long, Model checking and modular verification, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.843-871, 1994.
DOI : 10.1145/177492.177725
URL : http://www.cs.technion.ac.il/users/orna/modular.ps

T. Gu, H. K. Pung, and D. Q. Zhang, A service???oriented middleware for building context???aware services, Journal of Network and Computer Applications, vol.28, issue.1, pp.1-18, 2005.
DOI : 10.1016/j.jnca.2004.06.002

M. Güdemann, F. Ortmeier, and W. Reif, Formal Modeling and Verification of Systems with Self-x Properties, ATC, pp.38-47, 2006.
DOI : 10.1007/11839569_4

S. Guillet, B. Bouchard, and A. Bouzouane, Correct by Construction Security Approach to Design Fault Tolerant Smart Homes for Disabled People, Procedia Computer Science, vol.21, issue.32, pp.257-264, 2013.
DOI : 10.1016/j.procs.2013.09.034
URL : https://doi.org/10.1016/j.procs.2013.09.034

D. Guinard, V. Trifa, and S. Karnouskos, Interacting with the SOA-Based Internet of Things: Discovery, Query, Selection, and On-Demand Provisioning of Web Services, IEEE Transactions on Services Computing, vol.3, issue.3, pp.223-235
DOI : 10.1109/TSC.2010.3

T. Hasiotis, G. Alyfantis, and V. Tsetsos, Sensation: a middleware integration platform for pervasive applications in wireless sensor networks, Proceeedings of the Second European Workshop on Wireless Sensor Networks, 2005., pp.366-377, 2005.
DOI : 10.1109/EWSN.2005.1462028

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Automata theory, languages, and computation. International Edition, pp.26-31, 2006.
DOI : 10.1145/568438.568455

M. U. Iftikhar and D. Weyns, A case study on formal verification of selfadaptive behaviors in a decentralized system. arXiv preprint arXiv :1208, pp.2012-2044

K. Jensen, Coloured petri nets In Petri nets : central models and their properties, pp.248-299, 1987.

C. Julien and G. C. Roman, EgoSpaces: facilitating rapid development of context-aware mobile applications, IEEE Transactions on Software Engineering, vol.32, issue.5, pp.281-298, 2006.
DOI : 10.1109/TSE.2006.47

J. Keeney and V. Cahill, Chisel: a policy-driven, context-aware, dynamic adaptation framework, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks, pp.3-14, 2003.
DOI : 10.1109/POLICY.2003.1206953
URL : http://www.cs.tcd.ie/publications/tech-reports/./reports.03/TCD-CS-2003-19.pdf

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

J. O. Kephart and R. Das, Achieving Self-Management via Utility Functions, IEEE Internet Computing, vol.11, issue.1, 2007.
DOI : 10.1109/MIC.2007.2

N. Khakpour, S. Jalili, and C. Talcott, Formal modeling of evolving self-adaptive systems, Science of Computer Programming, vol.78, issue.1, pp.3-26, 2012.
DOI : 10.1016/j.scico.2011.09.004
URL : https://doi.org/10.1016/j.scico.2011.09.004

N. Khakpour, R. Khosravi, M. Sirjani, and S. Jalili, Formal analysis of policybased self-adaptive systems, Proceedings of the 2010 ACM Symposium on Applied Computing, pp.2536-2543
DOI : 10.1145/1774088.1774613

D. Kolokotsa, A. Pouliezos, G. Stavrakakis, and C. Lazos, Predictive control techniques for energy and indoor environmental quality management in buildings, Building and Environment, vol.44, issue.9, pp.1850-1863, 2009.
DOI : 10.1016/j.buildenv.2008.12.007

C. Krupitzer, F. M. Roth, and S. Vansyckel, A survey on engineering approaches for self-adaptive systems, Pervasive and Mobile Computing, vol.17, pp.184-206
DOI : 10.1016/j.pmcj.2014.09.009

M. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of Probabilistic Real-Time Systems, Computer aided verification, pp.585-591
DOI : 10.1007/3-540-45657-0_17
URL : https://hal.archives-ouvertes.fr/hal-00648035

I. Lanese, A. Bucchiarone, and F. Montesi, A Framework for Rule-Based Dynamic Adaptation, Trustworthly Global Computing, vol.17, issue.4, pp.284-300, 2010.
DOI : 10.1109/FOSE.2007.21

T. , L. Guilly, M. K. Nielsen, and T. Pedersen, User constraints for reliable user-defined smart home scenarios, Journal of Reliable Intelligent Environments, vol.2, issue.2, pp.75-91

T. , L. Guilly, J. H. Smedegård, T. Pedersen, and A. Skou, To do and not to do : constrained scenarios for safe smart house, Intelligent Environments (IE), 2015 International Conference on, pp.17-24
DOI : 10.1109/ie.2015.11

J. Lee, L. Garduño, E. Walker, and W. Burleson, A tangible programming tool for creation of context-aware applications, Proceedings of the 2013 ACM international joint conference on Pervasive and ubiquitous computing, UbiComp '13, pp.391-400
DOI : 10.1145/2493432.2493483

P. Levis and D. Culler, Mat??, ACM SIGPLAN Notices, vol.37, issue.10, pp.85-95, 2002.
DOI : 10.1145/605432.605407

C. M. Liang and B. F. Karlsson, SIFT, Proceedings of the 14th International Conference on Information Processing in Sensor Networks, IPSN '15, pp.298-309, 2015.
DOI : 10.1145/1182807.1182822

T. Liu and M. Martonosi, Impala : A middleware system for managing autonomic , parallel sensor systems, Proceedings of the Ninth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '03, pp.107-118, 2003.

Y. Liu, X. Zhang, and Y. Liu, Towards formal modelling and verification of pervasive computing systems, In Transactions on Computational Collective Intelligence XVI, pp.62-91
DOI : 10.1007/978-3-662-44871-7_3

M. Louvel and F. Pacull, LINC: A Compact Yet Powerful Coordination Environment, International Conference on Coordination Languages and Models, pp.83-98, 2014.
DOI : 10.1007/978-3-662-43376-8_6
URL : https://hal.archives-ouvertes.fr/hal-01274824

M. Louvel, F. Pacull, and M. I. Vergara-gallego, Coordination Scheme Editor for building management systems, IECON 2016, 42nd Annual Conference of the IEEE Industrial Electronics Society, pp.7052-7057
DOI : 10.1109/IECON.2016.7793354
URL : https://hal.archives-ouvertes.fr/cea-01480847

S. R. Madden, M. J. Franklin, J. M. Hellerstein, and W. Hong, TinyDB: an acquisitional query processing system for sensor networks, ACM Transactions on Database Systems, vol.30, issue.1, pp.122-173, 2005.
DOI : 10.1145/1061318.1061322
URL : http://www.ece.northwestern.edu/~peters/references/TinyDBMadden05.pdf

E. Magill and J. Blum, Exploring conflicts in rule-based sensor networks, Pervasive and Mobile Computing, vol.27, pp.133-154
DOI : 10.1016/j.pmcj.2015.08.005
URL : https://doi.org/10.1016/j.pmcj.2015.08.005

L. Mainetti, V. Mighali, L. Patrono, and P. Rametta, A novel rule-based semantic architecture for IoT building automation systems, 2015 23rd International Conference on Software, Telecommunications and Computer Networks (SoftCOM), pp.124-131
DOI : 10.1109/SOFTCOM.2015.7314063

M. Mamei and F. Zambonelli, Programming pervasive and mobile computing applications, ACM Transactions on Software Engineering and Methodology, vol.18, issue.4, p.15, 2009.
DOI : 10.1145/1538942.1538945

P. J. Marrón, A. Lachenmann, and D. Minder, Tinycubus: a flexible and adaptive framework for sensor networks, Proceeedings of the Second European Workshop on Wireless Sensor Networks, 2005., pp.278-289, 2005.
DOI : 10.1109/EWSN.2005.1462020

C. Maternaghan and K. J. Turner, Programming home care In Pervasive Computing Technologies for Healthcare (PervasiveHealth), 5th International Conference on, pp.485-491, 2011.

C. Maternaghan and K. J. Turner, Policy conflicts in home automation, Computer Networks, vol.57, issue.12, pp.2429-2441, 2013.
DOI : 10.1016/j.comnet.2013.02.026
URL : http://www.cs.stir.ac.uk/~kjt/research/pdf/home-conf.pdf

M. E. Matougui and S. Leriche, A middleware architecture for autonomic software deployment, ICSNC'12 : The Seventh International Conference on Systems and Networks Communications, pp.13-20
URL : https://hal.archives-ouvertes.fr/hal-00755352

D. Menasce, H. Gomaa, and J. Sousa, SASSY: A Framework for Self-Architecting Service-Oriented Systems, IEEE Software, vol.28, issue.6, pp.78-85, 2011.
DOI : 10.1109/MS.2011.22

O. Mokrenko, S. Lesecq, and L. W. , Dynamic power management in a wireless sensor network using predictive control, IECON 2014, 40th Annual Conference of the IEEE Industrial Electronics Society, pp.4756-4761
DOI : 10.1109/IECON.2014.7049220
URL : https://hal.archives-ouvertes.fr/hal-01089234

G. A. Moreno, J. Cámara, D. Garlan, and B. Schmerl, Proactive selfadaptation under uncertainty : a probabilistic model checking approach, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, pp.1-12
DOI : 10.1145/2786805.2786853

S. Munir and J. A. Stankovic, DepSys: Dependency aware integration of cyber-physical systems for smart homes, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), pp.127-138
DOI : 10.1109/ICCPS.2014.6843717

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, vol.77, issue.4, pp.541-580, 1989.
DOI : 10.1109/5.24143

A. L. Murphy, G. P. Picco, and G. C. Roman, LIME, ACM Transactions on Software Engineering and Methodology, vol.15, issue.3, pp.279-328, 2006.
DOI : 10.1145/1151695.1151698

A. A. Nacci, B. Balaji, and P. Spoletini, BuildingRules, Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, UbiComp '15, pp.381-384, 2015.
DOI : 10.1145/2528282.2528304

M. Nakamura, K. Ikegami, and S. Matsumoto, Considering impacts and requirements for better understanding of environment interactions in home network services, Computer Networks, vol.57, issue.12, pp.2442-2453
DOI : 10.1016/j.comnet.2013.02.024

A. Omicini and F. Zambonelli, Tucson : a coordination model for mobile information agents, Proceedings of the 1st Workshop on Innovative Internet Information Systems, 1998.
DOI : 10.1108/10662249810241266

P. Oreizy, M. M. Gorlick, and R. N. Taylor, An architecture-based approach to self-adaptive software, IEEE Intelligent Systems and Their Applications, pp.54-62, 1999.
DOI : 10.1109/5254.769885

F. Pacull, L. F. Ducreux, and S. Thior, Self-organisation for Building Automation Systems: Middleware LINC as an Integration Tool, IECON 2013, 39th Annual Conference of the IEEE Industrial Electronics Society, pp.7726-7732
DOI : 10.1109/IECON.2013.6700421

P. Patel, S. Jardosh, S. Chaudhary, and P. Ranjan, Context Aware Middleware Architecture for Wireless Sensor Network, 2009 IEEE International Conference on Services Computing, pp.532-535, 2009.
DOI : 10.1109/SCC.2009.49

T. Patikirikorala, A. Colman, J. Han, and L. Wang, A systematic survey on the design of self-adaptive software systems using control engineering approaches, 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.33-42
DOI : 10.1109/SEAMS.2012.6224389

T. Pedersen and T. L. Guilly, A Method for Model Checking Feature Interactions, Proceedings of the 10th International Conference on Software Engineering and Applications, pp.1-10
DOI : 10.5220/0005516402190228

P. R. Pietzuch and J. M. Bacon, Hermes: a distributed event-based middleware architecture, Proceedings 22nd International Conference on Distributed Computing Systems Workshops, pp.611-618, 2002.
DOI : 10.1109/ICDCSW.2002.1030837

. Plugwise, Plugwise circle. https://www.plugwise.com

D. Preuveneers and Y. Berbers, Consistency in context-aware behavior : a model checking approach, Workshop Proceedings of the 8th International Conference on Intelligent Environments, pp.401-412, 2012.

D. Preuveneers and W. Joosen, Semantic analysis and verification of context-driven adaptive applications in intelligent environments, Journal of Reliable Intelligent Environments, vol.23, issue.2, pp.53-73, 2016.
DOI : 10.1016/j.jss.2006.04.004

M. A. Razzaque, M. Milojevic-jevric, A. Palade, and S. Clarke, Middleware for Internet of Things: A Survey, IEEE Internet of Things Journal, vol.3, issue.1, pp.70-95
DOI : 10.1109/JIOT.2015.2498900

R. Rouvoy, P. Barone, and Y. Ding, MUSIC, Proceedings of the 1st workshop on Mobile middleware embracing the personal communication device, MobMid '08, pp.164-182, 2009.
DOI : 10.1145/1462689.1462697

S. M. Sadjadi and P. K. Mckinley, A survey of adaptive middleware. Michigan State University Report MSU-CSE-03-35, 2003.

M. Salehie and L. Tahvildari, Towards a goal-driven approach to action selection in self-adaptive software. Software : Practice and Experience, pp.211-233

R. Seiger, S. Huber, P. Heisig, and U. Assmann, Enabling Self-adaptive Workflows for Cyber-physical Systems, International Workshop on Business Process Modeling, Development and Support, pp.3-17
DOI : 10.1109/SCC.2011.24

R. Seiger, S. Huber, and T. Schlegel, Toward an execution system for selfhealing workflows in cyber-physical systems, Software & Systems Modeling, pp.1-22
DOI : 10.1007/s10270-016-0551-z

M. Serna, C. J. Sreenan, and S. Fedor, A visual programming framework for wireless sensor networks in smart home applications, 2015 IEEE Tenth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), pp.1-6
DOI : 10.1109/ISSNIP.2015.7106946

C. S. Shankar, A. Ranganathan, and R. Campbell, An eca-p policy-based framework for managing ubiquitous computing environments, Mobile and Ubiquitous Systems : Networking and Services, 2005. MobiQuitous 2005. The Bibliographie Second Annual International Conference on, pp.33-42, 2005.

S. Shevtsov, M. Berekmeri, D. Weyns, and M. Maggio, Control-Theoretical Software Adaptation: A Systematic Literature Review, IEEE Transactions on Software Engineering, p.2017
DOI : 10.1109/TSE.2017.2704579

S. Shevtsov and D. Weyns, Keep it SIMPLEX: satisfying multiple goals with guarantees in control-based self-adaptive systems, Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, pp.229-241, 2016.
DOI : 10.1109/ICCAD.2015.7372573

J. Singh, J. Bacon, and D. Eyers, Policy enforcement within emerging distributed, event-based systems, Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, DEBS '14, pp.246-255
DOI : 10.1145/2611286.2611310

T. Sivaharan, G. Blair, and G. Coulson, GREEN: A Configurable and Re-configurable Publish-Subscribe Middleware for Pervasive Computing, On the Move to Meaningful Internet Systems 2005 : CoopIS, DOA, and ODBASE, pp.732-749, 2005.
DOI : 10.1007/11575771_46
URL : http://www.comp.lancs.ac.uk/computing/users/geoff/Publications/DOA05TS.pdf

T. Sohn and A. Dey, iCAP, CHI '03 extended abstracts on Human factors in computing systems , CHI '03, pp.974-975, 2003.
DOI : 10.1145/765891.766102

T. G. Stavropoulos, E. S. Rigas, and E. Kontopoulos, A Multi-agent Coordination Framework for Smart Building Energy Management, 2014 25th International Workshop on Database and Expert Systems Applications, pp.126-130
DOI : 10.1109/DEXA.2014.39

T. G. Stavropoulosfeca-p, E. Kontopoulos, and N. Bassiliades, Rule-based approaches for energy savings in an ambient intelligence environment, Pervasive and Mobile Computing, vol.19, pp.1-23
DOI : 10.1016/j.pmcj.2014.05.001

Y. Sun, X. Wang, H. Luo, and X. Li, Conflict Detection Scheme Based on Formal Rule Model for Smart Building Systems, IEEE Transactions on Human-Machine Systems, vol.45, issue.2, pp.215-227
DOI : 10.1109/THMS.2014.2364613

A. N. Sylla, M. Louvel, and F. Pacull, Coordination rules generation from coloured Petri net models, Proceedings of the Int. Workshop on Petri Nets and Software Engineering (PNSE'15), pp.325-326

A. N. Sylla, M. Louvel, and É. Rutten, Combining Transactional and Behavioural Reliability in Adaptive Middleware, Proceedings of the 15th International Workshop on Adaptive and Reflective Middleware, ARM 2016, p.2016
DOI : 10.1016/j.eswa.2013.01.061
URL : https://hal.archives-ouvertes.fr/hal-01416799

A. N. Sylla, M. Louvel, E. Rutten, and G. Delaval, Design Framework for Reliable Multiple Autonomic Loops in Smart Environments, 2017 International Conference on Cloud and Autonomic Computing (ICCAC), pp.131-142
DOI : 10.1109/ICCAC.2017.20
URL : https://hal.archives-ouvertes.fr/cea-01570026

K. Terfloth, G. Wittenburg, and J. Schiller, FACTS ??? A Rule-based Middleware Architecture for Wireless Sensor Networks, 2006 1st International Conference on Communication Systems Software & Middleware, pp.1-8, 2006.
DOI : 10.1109/COMSWA.2006.1665162

B. Ur, E. Mcmanus, M. P. , Y. Ho, and M. L. Littman, Practical triggeraction programming in the smart home, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp.803-812

D. Valério, J. Da, and C. , Tuning of fractional PID controllers with Ziegler???Nichols-type rules, Signal Processing, vol.86, issue.10, pp.2771-2784, 2006.
DOI : 10.1016/j.sigpro.2006.02.020

C. Vannucchi, M. Diamanti, and G. Mazzante, Symbolic verification of event???condition???action rules in intelligent environments, Journal of Reliable Intelligent Environments, vol.45, issue.2, pp.1-14
DOI : 10.1109/COASE.2008.4626431

M. I. Vergara-gallego, O. Mokrenko, and M. Louvel, Implementation of an energy management control strategy for wsns using the linc middleware, Proceedings of the 2016 International Conference on Embedded Wireless Systems and Networks, pp.53-58
URL : https://hal.archives-ouvertes.fr/cea-01480849

P. Vromant, D. Weyns, S. Malek, and J. Andersson, On interacting control loops in self-adaptive systems, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, pp.202-207
DOI : 10.1145/1988008.1988037
URL : http://homepage.lnu.se/staff/daweaa/papers/2011SEAMS.pdf

E. J. Wei and A. T. Chan, CAMPUS: A middleware for automated context-aware adaptation decision making at run time, Pervasive and Mobile Computing, vol.9, issue.1, pp.35-56
DOI : 10.1016/j.pmcj.2011.10.002

D. Weyns, B. Schmerl, and V. Grassi, On Patterns for Decentralized Control in Self-Adaptive Systems, Software Engineering for Self-Adaptive Systems II, pp.76-107
DOI : 10.1145/1808984.1808994

Y. Yu, L. J. Rittle, V. Bhandari, and J. B. Lebrun, Supporting concurrent applications in wireless sensor networks, Proceedings of the 4th international conference on Embedded networked sensor systems , SenSys '06, pp.139-152, 2006.
DOI : 10.1145/1182807.1182822

M. Zhao and G. Privat, Discrete control for the internet of things and smart environments, Presented as part of the 8th International Workshop on Feedback Computing, pp.31-32, 2013.

Y. Zheng, A. T. Chan, and G. Ngai, Mcl : a mobigate coordination language for highly adaptive and reconfigurable mobile middleware. Software : Practice and Experience, pp.1355-1380, 2006.
DOI : 10.1002/spe.757

. Zigbee, Cité en pages 18, 49 et 88.) Publications liées à la thèse ? A. N. Sylla, M. Louvel, et F. Pacull. Coordination Rules Generation from Coloured Petri Net Models, zigbee.org, pp.325-326, 2015.

?. A. Sylla, M. Louvel, F. Pacull, and E. Rutten, Génération de règles de coordination à partir de réseaux de Pétri colorés, 10è Colloque Francophone sur la Modélisation des Systèmes Réactifs, p.15, 2015.

?. A. Sylla, M. Louvel, and E. Rutten, Combining Transactional and Behavioural Reliability in Adaptive Middleware, Proceedings of the 15th International Workshop on Adaptive and Reflective Middleware, ARM 2016, p.5, 2016.
DOI : 10.1016/j.eswa.2013.01.061
URL : https://hal.archives-ouvertes.fr/hal-01416799

?. A. Sylla, M. Louvel, E. Rutten, and G. Delaval, Design Framework for Reliable Multiple Autonomic Loops in Smart Environments, 2017 International Conference on Cloud and Autonomic Computing (ICCAC), pp.131-142, 2017.
DOI : 10.1109/ICCAC.2017.20
URL : https://hal.archives-ouvertes.fr/cea-01570026

?. M. Louvel, F. Pacull, E. Rutten, and A. N. Sylla, Development Tools for Rule-Based Coordination Programming in LINC, International Conference on Coordination Languages and Models, pp.78-96
DOI : 10.1016/j.entcs.2006.10.049
URL : https://hal.archives-ouvertes.fr/cea-01531019

?. A. Sylla, M. Louvel, and E. Rutten, Design framework for reliable and environment aware management of smart environment devices, Journal of Internet Services and Applications, vol.2, issue.2, p.16, 2017.
DOI : 10.1007/s40860-016-0019-5
URL : https://hal.archives-ouvertes.fr/hal-01650737