.. .. Method-overview,

, 60 3.3.5 Smart Component Formal Specification and Verification, p.62

C. .. Summary,

.. .. Conclusion,

M. Abi-assaf, Y. Badr, and Y. Amghar, A Continuous Query Language for StreamBased Artifacts, Proceedings of the 28th International Conference on Database and Expert Systems Applications (DEXA), pp.80-89, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01575959

O. Adeluyi and J. Lee, Realtime Detection of ECG Signal R-Peaks Using a Lightweight R-READER Algorithm, International Journal of Intelligent Information Prosessing, vol.3, issue.3, pp.1-12, 2012.

M. B. Alaya, Y. Banouar, T. Monteil, C. Chassot, and K. Drira, OM2M: Extensible ETSI-Compliant M2M Service Platform with Self-Configuration Capability, Procedia Computer Science, vol.32, pp.1079-1086, 2014.

M. B. Alaya, S. Medjiah, T. Monteil, and K. Drira, Toward Semantic Interoperability in oneM2M Architecture, IEEE Communications Magazine, vol.53, issue.12, pp.35-41, 2015.

A. Al-fuqaha, M. Guizani, M. Mohammadi, M. Aledhari, and M. Ayyash, Internet of Things: A Survey on Enabling Technologies, Protocols, and Applications, IEEE Communications Surveys & Tutorials, vol.17, issue.4, pp.2347-2376, 2015.

G. Alonso, F. Casati, H. Kuno, and V. Machiraju, Web Services, Web Services: Concepts, Architectures and Applications, pp.123-149, 2004.

A. , Bare-Metal, RTOS, or Linux? Optimize Real-Time Performance with Altera SoCs, pp.1-12, 2014.

E. Asarin, O. Maler, and A. Pnueli, Symbolic Controller Synthesis for Discrete and Timed Systems, Proceedings of the 3rd International Workshop on Hybrid Systems, pp.1-20, 1995.

K. Angelopoulos, A. V. Papadopoulos, V. E. Silva, J. Souza, and . Mylopoulos, Model Predictive Control for Software Systems with CobRA, Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.35-46, 2016.

S. W. Arms, C. P. Townsend, D. L. Churchill, J. H. Galbreath, and S. W. Mundell, Power Management for Energy Harvesting Wireless Sensors, Smart Structures and Materials: Smart Electronics, MEMS, BioMEMS, and Nanotechnology. SPIE, pp.1-9, 2005.

A. Arsanjani, S. Ghosh, A. Allam, T. Abdollah, S. Ganapathy et al., SOMA: A Method for Developing Service-Oriented Solutions, IBM Systems Journal, vol.47, issue.3, pp.377-396, 2008.

P. Arcaini, E. Riccobene, and P. Scandurra, Modeling and Analyzing Mape-K Feedback Loops for Self-Adaptation, Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.13-23, 2015.

B. Alpern and F. B. Schneider, Recognizing Safety and Liveness, Distributed Computing, vol.2, issue.3, pp.117-126, 1987.

R. Abid, G. Salaün, and N. Palma, Asynchronous Synthesis Techniques for Coordinating Autonomic Managers in the Cloud, Science of Computer Programming, vol.146, pp.87-103, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01630717

P. J. Antsaklis, J. A. Stiver, and M. Lemmon, Hybrid System Modeling and Autonomous Control Systems, pp.366-392, 1993.

D. Atherton, PID Controller Tuning, Computing & Control Engineering Journal, vol.10, issue.2, pp.44-50, 1999.

F. J. Acosta-padilla, F. Weis, and J. Bourcier, Towards a Model@Runtime Middleware for Cyber Physical Systems, Proceedings of the 9th Workshop on Middleware for Next Generation Internet Computing (MW4NG), pp.1-6, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01090269

S. Babar, A. Stango, N. Prasad, J. Sen, and R. Prasad, Proposed Embedded Security Framework for Internet of Things, Proceedings of the 2nd International Conference on Wireless Communication, Vehicular Technology, Information Theory and Aerospace & Electronic Systems Technology (Wireless VITAE, pp.1-5, 2011.

M. Bagheri, I. Akkaya, E. Khamespanah, N. Khakpour, M. Sirjani et al., Coordinated Actors for Reliable Self-Adaptive Systems, Proceedings of the 13th International Conference on Formal Aspects of Component Software (FACS), pp.241-259, 2017.

F. Barbier, MDE-Based Design and Implementation of Autonomic Software Components, Proceedings of the 5th International Conference on Cognitive Informatics (ICCI), pp.163-169, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00405751

M. Bauer, M. Boussard, N. Bui, J. De-loof, C. Magerkurth et al., IoT Reference Architecture, pp.163-211, 2013.

A. Benveniste and G. Berry, The Synchronous Approach to Reactive and RealTime Systems, Proceedings of the IEEE, vol.79, issue.9, pp.1270-1282, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075115

G. Blair, N. Bencomo, and R. B. France, Models@run.Time." Computer, vol.42, issue.10, pp.22-27, 2009.

F. Boussinot and R. De-simone, The ESTEREL Language, Proceedings of the IEEE, vol.79, issue.9, pp.1293-1304, 1991.
URL : https://hal.archives-ouvertes.fr/inria-00075075

M. Bell, Service-Oriented Modeling: Service Analysis, Design, and Architecture, 2008.

A. Bemporad, M. Morari, V. Dua, and E. N. Pistikopoulos, The Explicit Linear Quadratic Regulator for Constrained Systems, Automatica, vol.38, issue.1, pp.3-20, 2002.

D. Benitez, P. Gaydecki, A. Zaidi, and A. Fitzpatrick, A New QRS Detection Algorithm Based on the Hilbert Transform, Proceedings of the 2000 International Conference on Computer in Cardiology, pp.379-382, 2000.

B. Benatallah, M. Hacid, A. Leger, C. Rey, and F. Toumani, On Automating Web Services Discovery, The VLDB Journal, vol.14, issue.1, pp.84-96, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01586362

L. Bengtsson, Direct Analog-to-Microcontroller Interfacing, Sensors and Actuators A: Physical, vol.179, pp.105-113, 2012.

B. Billet, V. Issarny, and G. Texier, Composing Continuous Services in a CoAPBased IoT, Proceedings of the 6th International Conference on AI & Mobile Services, pp.46-53, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01519132

S. Becker, H. Koziolek, and R. Reussner, The Palladio Component Model for Model-Driven Performance Prediction, Journal of Systems and Software, vol.82, issue.1, pp.3-22, 2009.

B. Batson and L. Lamport, High-Level Specifications: Lessons from Industry, Proceedings of the 1st International Symposium on Formal Methods for Components and Objects (FMCO), pp.242-261, 2003.

A. Benveniste, P. L. Guernic, and C. Jacquemot, Synchronous Programming with Events and Relations: The SIGNAL Language and Its Semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.

N. Berthier and H. Marchand, Discrete Controller Synthesis for Infinite State Systems with ReaX, IFAC Proceedings Volumes, vol.47, pp.46-53, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00974553

N. Berthier, F. Maraninchi, and L. Mounier, Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems, ACM Transactions on Embedded Computing Systems, vol.12, pp.1-26, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01664442

B. Bailey, G. Martin, and A. Piziali, ESL Design and Verification: A Prescription for Electronic System-Level Methodology, vol.462, 2007.

E. Bousse, T. Degueule, D. Vojtisek, T. Mayerhofer, J. Deantoni et al., Execution Framework of the GEMOC Studio (Tool Demo), Proceedings of the 9th International Conference on Software Language Engineering (SLE), pp.84-89, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01355391

Z. B. Babovic, J. Protic, and V. Milutinovic, Web Performance Evaluation for Internet of Things Applications, IEEE Access, vol.4, pp.6974-6992, 2016.

C. Brooks, C. Jerad, H. Kim, E. A. Lee, M. Lohstroh et al., A Component Architecture for the Internet of Things, Proceedings of the IEEE, pp.1-16, 2018.

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRACTAL Component Model and Its Support in Java, Software: Practice and Experience, vol.36, issue.11, pp.1257-1284, 2006.

Y. Brun, G. Di-marzo, C. Serugendo, H. Gacek, M. Giese et al., Engineering Self-Adaptive Systems Through Feedback Loops, pp.48-70, 2009.

S. B. Baker, W. Xiang, and I. Atkinson, Internet of Things for Smart Healthcare: Technologies, Challenges, and Opportunities, IEEE Access, vol.5, pp.26521-26544, 2017.

X. Cai, M. Lyu, K. Wong, and R. Ko, Component-Based Software Engineering: Technologies, Development Frameworks, and Quality Assurance Schemes, Proceedings of the 7th Asia-Pacific Software Engeering Conference (APSEC), pp.372-379, 2000.

A. Calabria, Understanding Lead-Off Detection in ECG, pp.1-16, 2015.

J. Cano, E. Rutten, G. Delaval, Y. Benazzouz, and L. Gurgen, ECA Rules for IoT Environment: A Case Study in Safe Design, Proceedings of the 8th International Conference on Self-Adaptive and Self-Organizing Systems Workshops
URL : https://hal.archives-ouvertes.fr/hal-01091149

, IEEE, pp.116-121, 2014.

A. Cardenas, S. Amin, B. Sinopoli, A. Giani, A. Perrig et al., Challenges for Securing Cyber Physical Systems, Proceedings of the 1st Workshop on Future Directions in Cyber-Physical Systems Security, pp.1-7, 2009.

V. Cardellini, E. Casalicchio, V. Grassi, S. Iannucci, F. L. Presti et al., MOSES: A Platform for Experimenting with QoS-Driven Self-Adaptation Policies for Service Oriented Systems, pp.409-433, 2017.

A. P. Castellani, M. Gheda, N. Bui, M. Rossi, and M. Zorzi, Web Services for the Internet of Things through CoAP and EXI, Proceedings of the 2011 International Conference on Communications Workshops (ICC), pp.1-6, 2011.

C. Li, C. Zheng, and C. Tai, Detection of ECG Characteristic Points Using Wavelet Transforms, IEEE Transactions on Biomedical Engineering, vol.42, issue.1, pp.21-28, 1995.

I. I. Christov and I. K. Daskalov, Filtering of Electromyogram Artifacts from the Electrocardiogram, Medical Engineering & Physics, vol.21, issue.10, pp.731-736, 1999.

T. Cerny, M. J. Donahoo, and J. Pechanec, Disambiguation and Comparison of SOA, Microservices and Self-Contained Systems, Proceedings of the International Conference on Research in Adaptive and Convergent Systems (RACS), pp.228-235, 2017.

J. Cano, G. Delaval, and E. Rutten, Coordination of ECA Rules by Verification and Control, Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION), pp.33-48, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01006186

P. Cerwall, P. Jonsson, S. Carson, R. Möller, and S. Bävertoft, Ericsson Mobility Report. Ericsson, 2015.

D. Clarke and P. Gawthrop, Self-Tuning Control, Proceedings of the Institution of Electrical Engineers, vol.126, issue.6, p.633, 1979.

F. Ciccozzi, I. Crnkovic, D. Di-ruscio, I. Malavolta, P. Pelliccione et al., Model-Driven Engineering for Mission-Critical IoT Systems, IEEE Software, vol.34, issue.1, pp.46-53, 2017.

S. H. Chang and S. D. Kim, A Service-Oriented Analysis and Design Approach to Developing Adaptable Services, Proceedings of the 2007 International Conference on Services Computing (SCC), pp.204-211, 2007.

Y. Chen and T. Kunz, Performance Evaluation of IoT Protocols under a Constrained Wireless Access Network, Proceedings of the 2016 International Conference on Selected Topics in Mobile & Wireless Networking (MoWNeT), pp.1-7, 2016.

G. Cugola and A. Margara, Processing Flows of Information: From Data Stream to Complex Event Processing, ACM Computing Surveys, vol.44, issue.3, pp.1-62, 2012.

B. Combemale, J. Deantoni, R. France, F. Boulanger, S. Mosser et al., Report on the First Workshop on the Globalization of Modeling Languages, Proceedings of the 1st International Workshop on the Globalization of Modeling Languages (GEMOC), pp.3-13, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00926244

B. Costa, P. F. Pires, F. C. Delicato, W. Li, and A. Y. Zomaya, Design and Analysis of IoT Applications: A Model-Driven Approach, 14th International Conference on Dependable, Autonomic and Secure Computing, 14th International Conference on Pervasive Intelligence and Computing, 2nd International Conference on Big Data Intelligence and Computing and Cyber Science and Technology, pp.392-399, 2016.

J. Colaço, B. Pagano, and M. Pouzet, A Conservative Extension of Synchronous Data-Flow with State Machines, Proceedings of the 5th International Conference on Embedded Software (EMSOFT), pp.173-182, 2005.

M. Caporuscio, P. Raverdy, and V. Issarny, ubiSOAP: A Service-Oriented Middleware for Ubiquitous Networking, IEEE Transactions on Services Computing, vol.5, issue.1, pp.86-98, 2012.
URL : https://hal.archives-ouvertes.fr/inria-00519577

F. Ciccozzi and R. Spalazzese, MDE4IoT: Supporting the Internet of Things with Model-Driven Engineering, Intelligent Distributed Computing X, vol.678, pp.67-76, 2017.

G. D. Clifford and L. Tarassenko, Quantifying Errors in Spectral Estimates of HRV Due to Beat Replacement and Resampling, IEEE Transactions on Biomedical Engineering, vol.52, issue.4, pp.630-638, 2005.

M. Chiang and T. Zhang, Fog and IoT: An Overview of Research Opportunities, IEEE Internet of Things Journal, vol.3, issue.6, pp.854-864, 2016.

S. De-deugd, R. Carroll, K. E. Kelly, B. Millett, and J. Ricker, SODA: Service Oriented Device Architecture, IEEE Pervasive Computing, vol.5, issue.3, pp.94-96, 2006.

A. Dementyev, S. Hodges, S. Taylor, and J. Smith, Power Consumption Analysis of Bluetooth Low Energy, ZigBee and ANT Sensor Nodes in a Cyclic Sleep Scenario, Proceedings of the 1st International Wireless Symposium (IWS), pp.1-4, 2013.

G. Denaro, M. Pezzé, D. Tosi, and D. Schilling, Towards Self-Adaptive ServiceOriented Architectures, Proceedings of the 2006 Workshop on Testing, Analysis, and Verification of Web Services and Applications, pp.10-16, 2006.

G. De-micheli and R. K. Gupta, Hardware/Software Co-Design, Proceedings of the IEEE, vol.85, issue.3, pp.349-365, 1997.

G. Delaval, H. Marchand, and E. Rutten, Contracts for Modular Discrete Controller Synthesis, Proceedings of the 2010 Conference on Languages, Compilers, and Tools for Embedded Systems (CASES), pp.57-66, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00476910

F. A. Nascimento, M. F. Oliveira, and F. R. Wagner, ModES: Embedded Systems Design Methodology and Tools Based on MDE, Proceedings of the 4th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES), pp.67-76, 2007.

R. Dömer, A. Gerstlauer, J. Peng, D. Shin, L. Cai et al., System-on-Chip Environment: A SpecC-Based Framework for Heterogeneous MPSoC Design, EURASIP Journal on Embedded Systems, issue.1, pp.1-13, 2008.

J. Domaszewicz, S. Lalis, A. Pruszkowski, M. Koutsoubelias, T. Tajmajer et al., Soft Actuation: Smart Home and Office with Human-in-the-Loop, IEEE Pervasive Computing, vol.15, issue.1, pp.48-56, 2016.

M. Domingo-prieto, T. Chang, X. Vilajosana, and T. Watteyne, Distributed PIDBased Scheduling for 6TiSCH Networks, IEEE Communications Letters, vol.20, issue.5, pp.1006-1009, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01289628

G. Delaval and E. Rutten, Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model, Proceedings of the 13th International Conference on Component-Based Software Engineering (CBSE), pp.93-112, 2010.

N. Dragoni, S. Giallorenzo, A. L. Lafuente, M. Mazzara, F. Montesi et al., Microservices: Yesterday, Today, and Tomorrow, pp.195-216, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01631455

G. Delaval, E. Rutten, and H. Marchand, Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler, Discrete Event Dynamic Systems, vol.23, issue.4, pp.385-418, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00863286

K. Dhondge, R. Shorey, and J. Tew, HOLA: Heuristic and Opportunistic Link Selection Algorithm for Energy Efficiency in Industrial Internet of Things (IIoT) Systems, Proceedings of the 8th International Conference on Communication Systems and Networks (COMSNETS), pp.1-6, 2016.

D. Dragan, D. Tudose, and D. Dragomir, Enablement of CoAP Stack on Sparrow Wireless Sensor Network, Proceedings of the 21st International Conference on Control Systems and Computer Science (CSCS), pp.625-629, 2017.

X. Dutreilh, A. Moreau, J. Malenfant, N. Rivierre, and I. Truck, From Data Center Resource Allocation to Control Theory and Back, Proceedings of the 3rd International Conference on Cloud Computing (CLOUD), pp.410-417, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01122220

, Eclipse Modeling Framework, 2018.

R. Ernst, J. Henkel, and T. Benner, Hardware-Software Cosynthesis for Microcontrollers, IEEE Design & Test of Computers, vol.10, issue.4, pp.64-75, 1993.

A. Engel and A. Koch, Heterogeneous Wireless Sensor Nodes That Target the Internet of Things, IEEE Micro, vol.36, issue.6, pp.8-15, 2016.

J. Eliasson, J. Delsing, H. Derhamy, Z. Salcic, and K. Wang, Towards Industrial Internet of Things: An Efficient and Interoperable Communication Framework, Proceedings of the 2015 International Conference on Industrial Technology (ICIT)

, IEEE, pp.2198-2204, 2015.

E. A. Emerson, Automated Temporal Reasoning About Reactive Systems, pp.41-101, 1996.

M. Eisenhauer, P. Rosengren, and P. Antolin, HYDRA: A Development Platform for Integrating Wireless Devices and Sensors into Ambient Intelligence Systems, Proceedings of the 20th Tyrrhenian Workshop on Digital Communications, pp.367-373, 2010.

C. Escoffier, Building Reactive Microservices in Java: Asynchronous and EventBased Application Design, 2017.

J. A. Estefan, Survey of Model-Based Systems Engineering (MBSE) Methodologies. INCOSE, pp.1-12, 2007.

Y. J. Fan, Y. H. Yin, L. D. Xu, Y. Zeng, and F. Wu, IoT-Based Smart Rehabilitation System, IEEE Transactions on Industrial Informatics, vol.10, issue.2, pp.1568-1577, 2014.

G. Fertitta, A. D. Stefano, G. Fiscelli, and G. C. Giaconia, A Low Power and High Resolution Data Logger for Submarine Seismic Monitoring, Microprocessors and Microsystems, vol.34, issue.2-4, pp.63-72, 2010.

A. Filieri, C. Ghezzi, A. Leva, and M. Maggio, Reliability-Driven Dynamic Binding Via Feedback Control, Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.43-52, 2012.

S. Friedenthal, L. Izumi, and A. Meilich, Object-Oriented Systems Engineering Method (OOSEM) Applied to Joint Force Projection (JFP), a Lockheed Martin Integrating Concept (LMIC), Proceedings of the INCOSE International Symposium, pp.1471-1491, 2007.

F. Fouquet, B. Morin, F. Fleurey, O. Barais, N. Plouzeau et al., A Dynamic Component Model for Cyber Physical Systems, Proceedings of the 15th Symposium on Component Based Software Engineering (CBSE), pp.135-144, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00713769

S. Furber, ARM System-on-Chip Architecture, 2000.

A. Gamatié, Synchronous Programming: Overview." A. Gamatie. Designing Embedded Systems with the SIGNAL Programming Language, pp.21-39, 2010.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, International Journal on Software Tools for Technology Transfer, vol.15, issue.2, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056

M. Garriga, C. Mateos, A. Flores, A. Cechich, and A. Zunino, RESTful Service Composition at a Glance: A Survey, Journal of Network and Computer Applications, vol.60, pp.32-53, 2016.

. Gartner, Gartner Says 8.4 Billion Connected "Things" Will Be in Use in 2017, up 31 Percent from 2016, 2017.

R. Gupta and G. De-micheli, Hardware-Software Cosynthesis for Digital Systems, IEEE Design & Test of Computers, vol.10, issue.3, pp.29-41, 1993.

. Gemoc-initiative, Arduino Modeling, 2018.

N. Gamez, L. Fuentes, and M. A. Aragüez, Autonomic Computing Driven by Feature Models and Architecture in FamiWare, Proceedings of the 5th European Conference on Software Architecture (ECSA), pp.164-179, 2011.

A. Gamatié and T. Gautier, The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems, IEEE Transactions on Parallel and Distributed Systems, vol.21, issue.5, pp.641-657, 2010.

J. Girard, Linear Logic, Theoretical Computer Science, vol.50, issue.1, pp.1-101, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00075966

Q. Gu and P. Lago, Guiding the Selection of Service-Oriented Software Engineering Methodologies, Service Oriented Computing and Applications, vol.5, issue.4, pp.203-223, 2011.

H. Garavel, F. Lang, and W. Serwe, From LOTOS to LNT, ModelEd, pp.3-26, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01621670

K. Gama, L. Touseau, and D. Donsez, Combining Heterogeneous Service Technologies for Building an Internet of Things Middleware, Computer Communications, vol.35, issue.4, pp.405-417, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00945229

J. Gubbi, R. Buyya, S. Marusic, and M. Palaniswami, Internet of Things (IoT): A Vision, Architectural Elements, and Future Directions, Future Generation Computer Systems, vol.29, issue.7, pp.1645-1660, 2013.

D. Guinard, V. Trifa, S. Karnouskos, P. Spiess, and D. Savio, 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, 2010.

B. Guo, Z. Wang, Z. Yu, Y. Wang, N. Y. Yen et al., Mobile Crowd Sensing and Computing: The Review of an Emerging Human-Powered Sensing Paradigm, ACM Computing Surveys, vol.48, issue.1, pp.1-31, 2015.

S. Ha, S. Kim, C. Lee, Y. Yi, S. Kwon et al., PeaCE: A Hardware-Software Codesign Environment for Multimedia Embedded Systems, ACM Transactions on Design Automation of Electronic Systems, vol.12, issue.3, pp.1-25, 2007.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The Synchronous Data Flow Programming Language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.

A. F. Harris, I. , V. Khanna, G. Tuncay, R. Want et al., Bluetooth Low Energy in Dense IoT Environments, IEEE Communications Magazine, vol.54, issue.12, pp.30-36, 2016.

D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi et al., STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, vol.16, issue.4, pp.403-414, 1990.

S. Heath, What Is an Embedded System?, pp.1-14, 2002.

J. L. Hellerstein, Y. Diao, S. Parekh, and D. M. Tilbury, Feedback Control of Computing Systems, pp.29-64, 2004.

E. Blom, E. M. Olsson, E. Serlachius, M. Ericson, and M. Ingvar, Heart Rate Variability Is Related to Self-Reported Physical Activity in a Healthy Adolescent Population, European Journal of Applied Physiology, vol.106, issue.6, pp.877-883, 2009.

M. Hussein, S. Li, and A. Radermacher, Model-Driven Development of Adaptive IoT Systems, Proceedings of the 4th International Workshop on Interplay of ModelDriven and Component-Based Software Engineering (ModComp). CEUR-WS, pp.17-23, 2017.
URL : https://hal.archives-ouvertes.fr/cea-01843007

H. Hoffmann, Systems Engineering Best Practices with the Rational Solution for Systems and Software Engineering Deskbook, 2014.

D. Harel and A. Pnueli, Logics and Models of Concurrent Systems, pp.477-498, 1985.

S. Hachem, A. Pathak, and V. Issarny, Service-Oriented Middleware for LargeScale Mobile Participatory Sensing, Pervasive and Mobile Computing, vol.10, pp.66-82, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00872407

C. Hsieh, F. Samie, M. S. Srouji, M. Wang, Z. Wang et al., Hardware/Software Co-Design for a Wireless Sensor Network Platform, Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), pp.1-10, 2014.

R. Hull, A. Nigam, P. N. Sukaviriya, R. Vaculin, E. Damaggio et al., Business Artifacts with Guard-Stage-Milestone Lifecycles: Managing Artifact Interactions with Conditions and Events, Proceedings of the 5th International Conference on Distributed Event-Based System (DEBS), pp.51-62, 2011.

M. U. Iftikhar, G. S. Ramachandran, P. Bollansée, D. Weyns, and D. Hughes, DeltaIoT: A Self-Adaptive Internet of Things Exemplar, Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.76-82, 2017.

V. Issarny, G. Bouloukakis, N. Georgantas, and B. Billet, Revisiting Service Oriented Architecture for the IoT: A Middleware Perspective, Proceedings of the 14th International Conference on Service-Oriented Computing (ICSOC), pp.3-17, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01358399

M. U. Iftikhar and D. Weyns, ActivFORMS: Active Formal Models for SelfAdaptation, Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.125-134, 2014.

S. Izumi, K. Yamashita, M. Nakano, H. Kawaguchi, H. Kimura et al., A Wearable Healthcare System with a 13.7 $\mu$A Noise Tolerant ECG Processor, IEEE Transactions on Biomedical Circuits and Systems, vol.9, issue.5, pp.733-742, 2015.

J. C. Jensen, D. H. Chang, and E. A. Lee, A Model-Based Design Methodology for Cyber-Physical Systems, Proceedings of the 7th International Wireless Communications and Mobile Computing Conference (IWCMC), pp.1666-1671, 2011.

E. Jee, S. Wang, J. K. Kim, J. Lee, O. Sokolsky et al., A Safety-Assured Development Approach for Real-Time Software, Proceedings of the 16th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp.133-142, 2010.

T. T. Johnson and S. Mitra, Parametrized Verification of Distributed CyberPhysical Systems: An Aircraft Landing Protocol Case Study, Proceedings of the 3rd International Conference on Cyber-Physical Systems (ICCPS), pp.161-170, 2012.

I. Jayaram and C. Purdy, Using Constraint Graphs to Improve Embedded Systems Design, Proceedings of the 55th International Midwest Symposium on Circuits and Systems (MWSCAS), pp.594-597, 2012.

S. L. Joshi, R. A. Vatti, and R. V. Tornekar, A Survey on ECG Signal Denoising Techniques, Proceedings of the 2013 International Conference on Communication Systems and Network Technologies (CSNT), pp.60-64, 2013.

L. Karam, I. Alkamal, A. Gatherer, G. Frantz, D. Anderson et al., Trends in Multicore DSP Platforms, IEEE Signal Processing Magazine, vol.26, issue.6, pp.38-49, 2009.

J. O. Kephart and D. M. Chess, The Vision of Autonomic Computing, Computer, vol.36, issue.1, pp.41-50, 2003.

J. Keinert, M. Streub-¯-uhr, T. Schlichter, J. Falk, J. Gladigau et al., SystemCoDesigner-an Automatic ESL Synthesis Approach by Design Space Exploration and Behavioral Synthesis for Streaming Applications, ACM Transactions on Design Automation of Electronic Systems, vol.14, issue.1, pp.1-23, 2009.

F. Kaup, P. Gottschling, and D. Hausheer, PowerPi: Measuring and Modeling the Power Consumption of the Raspberry Pi, Proceedings of the 39th Annual IEEE Conference on Local Computer Networks (LCN), pp.236-243, 2014.

M. Kranz, P. Holleis, and A. Schmidt, Embedded Interaction: Interacting with the Internet of Things, IEEE Internet Computing, vol.14, issue.2, pp.46-53, 2010.

A. Kalavade and E. A. Lee, A Hardware-Software Codesign Methodology for DSP Applications, IEEE Design & Test of Computers, vol.10, issue.3, pp.16-28, 1993.

T. Kim, I. Maruta, and T. Sugie, Robust PID Controller Tuning Based on the Constrained Particle Swarm Optimization, Automatica, vol.44, issue.4, pp.1104-1110, 2008.

E. Kougianos, S. P. Mohanty, G. Coelho, U. Albalawi, and P. Sundaravadivel, Design of a High-Performance System for Secure Image Communication in the Internet of Things, IEEE Access, vol.4, pp.1222-1242, 2016.

R. Kyusakov, J. Eliasson, J. Delsing, J. Van-deventer, and J. Gustafsson, Integration of Wireless Sensor and Actuator Nodes With IT Infrastructure Using ServiceOriented Architecture, IEEE Transactions on Industrial Informatics, vol.9, issue.1, pp.43-51, 2013.

L. Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, 2002.

L. Lamport, Hybrid Systems in TLA+, pp.77-102, 1993.
DOI : 10.1007/3-540-57318-6_25

H. B. Lee, J. S. Kim, Y. S. Kim, H. J. Baek, M. S. Ryu et al., The Relationship Between HRV Parameters and Stressful Driving Situation in the Real Road, Proceedings of the 6th International Special Topic Conference on Information Technology Applications in Biomedicine, pp.198-200, 2007.

I. Lee, O. Sokolsky, S. Chen, J. Hatcliff, E. Jee et al., Challenges and Research Directions in Medical Cyber-Physical Systems, Proceedings of the IEEE, vol.100, issue.1, pp.75-90, 2012.

E. A. Lee, Cyber Physical Systems: Design Challenges, Proceedings of the 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pp.363-369, 2008.
DOI : 10.1109/isorc.2008.25
URL : http://nma.berkeley.edu/ark:/28722/bk0000n053t

E. A. Lee, CPS Foundations, Proceedings of the 47th Design Automation Conference (DAC), pp.737-742, 2010.
DOI : 10.1145/1837274.1837462

D. Li and Q. He, ArduBlock: A Block Programming Language for Arduino, 2018.

M. Lohstroh and E. A. Lee, An Interface Theory for the Internet of Things, Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM), pp.20-34, 2015.

H. Li, L. Lai, and H. V. Poor, Multicast Routing for Decentralized Control of Cyber Physical Systems with an Application in Smart Grid, IEEE Journal on Selected Areas in Communications, vol.30, issue.6, pp.1097-1107, 2012.

N. R. Lomb, Least-Squares Frequency Analysis of Unequally Spaced Data, Astrophysics and Space Science, vol.39, issue.2, pp.447-462, 1976.

K. G. Larsen, P. Pettersson, and W. Yi, UPPAAL in a Nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1, pp.134-152, 1997.
DOI : 10.1007/s100090050010

E. A. Lee and S. A. Seshia, Introduction to Embedded Systems: A Cyber-Physical Systems Approach, 2017.

J. Lee, Y. Su, C. Shen, ;. Bluetooth, Z. Uwb et al., A Comparative Study of Wireless Protocols, Proceedings of the 33rd Annual Conference of the IEEE Industrial Electronics Society (IECON), pp.46-51, 2007.

S. Li, L. D. Xu, and S. Zhao, The Internet of Things: A Survey, Information Systems Frontiers, vol.17, issue.2, pp.243-259, 2015.

M. Magno, C. Spagnol, L. Benini, and E. Popovici, A Low Power Wireless Node for Contact and Contactless Heart Monitoring, Microelectronics Journal, vol.45, issue.12, pp.1656-1664, 2014.
DOI : 10.1016/j.mejo.2014.07.002

A. Malik, Z. Salcic, P. S. Roop, and A. Girault, SystemJ: A GALS Language for System Level Design, Computer Languages, Systems & Structures, vol.36, issue.4, pp.317-344, 2010.
DOI : 10.1016/j.cl.2010.01.001
URL : https://hal.archives-ouvertes.fr/hal-00753512

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of DiscreteEvent Controllers Based on the Signal Environment, Discrete Event Dynamic Systems, vol.10, issue.4, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

B. Massot, T. Risset, G. Michelet, and E. Mcadams, A Wireless, Low-Power, Smart Sensor of Cardiac Activity for Clinical Remote Monitoring, Proceedings of the 17th International Conference on E-Health Networking, pp.488-494, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01226432

B. Massot, T. Risset, G. Michelet, and E. Mcadams, Mixed Hardware and Software Embedded Signal Processing Methods for In-Situ Analysis of Cardiac Activity, Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies, pp.303-310, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01416701

D. Q. Mayne, Model Predictive Control: Recent Developments and Future Promise, Automatica, vol.50, issue.12, pp.2967-2986, 2014.
DOI : 10.1016/j.automatica.2014.10.128

D. Menasce, H. Gomaa, S. Malek, and J. Sousa, SASSY: A Framework for SelfArchitecting Service-Oriented Systems, IEEE Software, vol.28, issue.6, pp.78-85, 2011.

F. Mhenni, J. Choley, O. Penas, R. Plateaux, and M. Hammadi, A SysML-Based Methodology for Mechatronic Systems Architectural Design, Advanced Engineering Informatics, vol.28, issue.3, pp.218-231, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01903161

. Microsoft, The Component Object Model, 2018.

S. Mitsch, M. Gario, C. J. Budnik, M. Golm, and A. Platzer, Formal Verification of Train Control with Air Pressure Brakes, Proceedings of the 2nd International Conference on Reliability, Safety and Security of Railway Systems, pp.173-191, 2017.

S. Mitsch, K. Ghorbal, D. Vogelbacher, and A. Platzer, Formal Verification of Obstacle Avoidance and Navigation of Ground Robots, The International Journal of Robotics Research, vol.36, issue.12, pp.1312-1340, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01658197

L. Modkit and . Modkit, , 2018.

B. Morin, O. Barais, J. Jezequel, F. Fleurey, and A. Solberg, Models@run.Time to Support Dynamic Adaptation, Computer, vol.42, issue.10, pp.44-51, 2009.
URL : https://hal.archives-ouvertes.fr/hal-02054122

F. Maraninchi and Y. Rémond, Argos: An Automaton-Based Synchronous Language, Computer Languages, vol.27, issue.1, pp.61-92, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00273055

F. Maraninchi and Y. Rémond, Mode-Automata: About Modes and States for Reactive Systems, Proceedings of the 7th European Symposium on Programming (ESOP), pp.185-199, 1998.

E. M. Maximilien and M. P. Singh, A Framework and Ontology for Dynamic Web Services Selection, IEEE Internet Computing, vol.8, issue.5, pp.84-93, 2004.

J. Muttersbach, T. Villiger, and W. Fichtner, Practical Design of Globally Asynchronous Locally Synchronous Systems, Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC)

, IEEE, pp.52-59, 2000.

A. Malinowski and H. Yu, Comparison of Embedded System Design for Industrial Applications, IEEE Transactions on Industrial Informatics, vol.7, issue.2, pp.244-254, 2011.

G. Nain, F. Fouquet, B. Morin, O. Barais, and J. Jezequel, Integrating IoT and IoS with a Component-Based Approach, Proceedings of the 36th Conference on Software Engineering and Advanced Applications (SEAA), pp.191-198, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00538469

, Best Practices in PCB Design: Routing, 2017.

A. Nigam and N. S. Caswell, Business Artifacts: An Approach to Operational Specification, IBM Systems Journal, vol.42, issue.3, pp.428-445, 2003.

C. Newcombe-;-b, V. Tla, and Z. , Why Amazon Chose TLA+, Proceedings of the 4th International Conference on Abstract State Machines, pp.25-39, 2014.

R. Negenborn and J. Maestre, Distributed Model Predictive Control: An Overview and Roadmap of Future Research Opportunities, IEEE Control Systems, vol.34, issue.4, pp.87-97, 2014.

-. Node and . Node-red, Flow-Based Programming for the Internet of Things, 2018.

D. Nunan, G. R. Sandercock, and D. A. Brodie, A Quantitative Systematic Review of Normal Values for Short-Term Heart Rate Variability in Healthy Adults, Pacing and Clinical Electrophysiology, vol.33, issue.11, pp.1407-1417, 2010.

A. Ouaddah, A. Abou-elkalam, and A. Ait-ouahman, FairAccess: A New Blockchain Based Access Control Framework for the Internet of Things: Fairaccess: A New Access Control Framework for Iot, Security and Communication Networks, vol.9, issue.18, pp.5943-5964, 2016.

, Business Process Model and Notation, 2018.

, CORBA Component Model, 2018.

O. Management-group, Model Driven Architecture, 2018.

, Object Management Group. Systems Modeling Language, 2018.

, Unified Modeling Language, 2018.

. Octoblu, Octoblu: Integration of Things, 2018.

K. Ogata, Modern Control Engineering, 2010.

O. Alliance, About the OSGi Service Platform: Technical Whitepaper. OSGi, pp.1-20, 2007.

E. Pencheva and I. Atanasov, Engineering of Web Services for Internet of Things Applications, Information Systems Frontiers, vol.18, issue.2, pp.277-292, 2016.

T. Patikirikorala, L. Wang, A. Colman, and J. Han, Hammerstein-Wiener Nonlinear Model Based Predictive Control for Relative QoS Performance and Resource Management of Software Systems, Control Engineering Practice, vol.20, issue.1, pp.49-61, 2012.

C. Peltz, Web Services Orchestration and Choreography, Computer, vol.36, issue.10, pp.46-52, 2003.

X. Peng, B. Chen, Y. Yu, and W. Zhao, Self-Tuning of Software Systems Through Dynamic Quality Tradeoff and Value-Based Feedback Control Loop, Journal of Systems and Software, vol.85, issue.12, pp.2707-2719, 2012.

C. Perera, P. P. Jayaraman, A. Zaslavsky, D. Georgakopoulos, and P. Christen, MOS-DEN: An Internet of Things Middleware for Resource Constrained Mobile Devices, Proceedings of the 47th Hawaii International Conference on System Sciences (HICSS), pp.1053-1062, 2014.

C. Perera, C. H. Liu, S. Jayawardena, and M. Chen, A Survey on Internet of Things From Industrial Market Perspective, IEEE Access, vol.2, pp.1660-1679, 2014.

P. Papapanagiotou, J. Fleuriot, and S. Wilson, Diagrammatically-Driven Formal Verification of Web-Services Composition, Proceedings of the 7th International Conference on Theory and Application of Diagrams (Diagrams), pp.241-255, 2012.

M. P. Papazoglou and W. V. Heuvel, Service-Oriented Design and Development Methodology, International Journal of Web Engineering and Technology, vol.2, issue.4, p.412, 2006.

R. Perrey and M. Lycett, Service-Oriented Architecture, Proceedings of the Symposium on Applications and the Internet Workshops (SAINT Workshops, pp.116-119, 2003.

A. Platzer, Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics, 2010.

A. Platzer, KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems, 2018.

C. L. Phillips, H. T. Nagle, and A. Chakrabortty, Digital Control System Analysis & Design, 2015.

T. A. Phan, J. K. Nurminen, and M. Francesco, Cloud Databases for Internetof-Things Data, Proceedings of the 2014 International Conference on Internet of Things (iThings), Green Computing and Communications (GreenCom), and Cyber, pp.117-124, 2014.

A. Pnueli, Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends, pp.510-584, 1986.

A. Poigné, M. Morley, O. Maffeïs, L. Holenderski, and R. Budde, The Synchronous Approach to Designing Reactive Systems, Formal Methods in System Design, vol.12, issue.2, pp.163-187, 1998.

A. Pnueli and R. Rosner, On the Synthesis of an Asynchronous Reactive Module, Proceedings of the 16th International Colloquium on Automata, Languages and Programming (ICALP), vol.372, pp.652-671, 1989.

W. H. Press and G. B. Rybicki, Fast Algorithm for Spectral Analysis of Unevenly Sampled Data, The Astrophysical Journal, vol.338, pp.277-280, 1989.

A. Pneuli and R. Rosner, Distributed Reactive Systems Are Hard to Synthesize, Proceedings of the 31st Annual Symposium on Foundations of Computer Science (FOCS), pp.746-757, 1990.

J. Pan and W. J. Tompkins, A Real-Time QRS Detection Algorithm, IEEE Transactions on Biomedical Engineering, vol.32, issue.3, pp.230-236, 1985.

C. Ptolemaeus, System Design, Modeling, and Simulation Using Ptolemy II, 2014.

M. P. Papazoglou, W. Van-den, and . Heuvel, Service Oriented Architectures: Approaches, Technologies and Research Issues, The VLDB Journal, vol.16, issue.3, pp.389-415, 2007.

C. Pautasso, O. Zimmermann, and F. Leymann, Big" Web Services: Making the Right Architectural Decision, Proceedings of the 17th International Conference on World Wide Web, p.805, 2008.

R. R. Rajkumar, I. Lee, L. Sha, and J. Stankovic, Cyber-Physical Systems: The Next Computing Revolution, Proceedings of the 47th Design Automation Conference (DAC), pp.731-736, 2010.

, Rational Software Corporation. Rational Unified Process for Systems Engineering. IBM, 2003.

P. P. Ray, A Survey on Visual Programming Languages in Internet of Things, Scientific Programming, pp.1-6, 2017.

S. Raza, H. Shafagh, K. Hewage, R. Hummen, and T. Voigt, Lithe: Lightweight Secure CoAP for the Internet of Things, IEEE Sensors Journal, vol.13, issue.10, pp.3711-3720, 2013.

A. Raza, A. A. Ikram, A. Amin, and A. J. Ikram, A Review of Low Cost and Power Efficient Development Boards for IoT Applications, Proceedings of the 2016 Future Technologies Conference (FTC), pp.786-790, 2016.

O. Rafique, M. Gesell, and K. Schneider, Generating Hardware Specific Code at Different Abstraction Levels Using Averest, Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems (SCOPES), pp.90-92, 2013.

U. Raza, P. Kulkarni, and M. Sooriyabandara, Low Power Wide Area Networks: An Overview, IEEE Communications Surveys & Tutorials, vol.19, issue.2, pp.855-873, 2017.

M. Rana and L. Li, Microgrid State Estimation and Control for Smart Grid and Internet of Things Communication Network, Electronics Letters, vol.51, issue.2, pp.149-151, 2015.

A. Rodrigues-da and S. , Model-Driven Engineering: A Survey Supported by the Unified Conceptual Model, Computer Languages, Systems & Structures, vol.43, pp.139-155, 2015.

D. Romero, G. Hermosillo, A. Taherkordi, R. Nzekwa, R. Rouvoy et al., The DigiHome Service-Oriented Platform, Software: Practice and Experience, vol.43, issue.10, pp.1205-1218, 2013.
URL : https://hal.archives-ouvertes.fr/inria-00563678

R. Rouvoy, P. Barone, Y. Ding, F. Eliassen, S. Hallsteinsen et al., MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments, pp.164-182, 2009.

J. Rao and X. Su, Toward the Composition of Semantic Web Services, Proceedings of the 2n 2nd International Workshop on Grid and Cooperative Computing (GCC)

P. J. Ramadge and W. M. Wonham, The Control of Discrete Event Systems, Proceedings of the IEEE, vol.77, pp.81-98, 1989.

K. Schneider and J. Brandt, Quartz: A Synchronous Language for Model-Based Design of Reactive Embedded Systems, pp.29-58, 2017.

R. Scattolini, Architectures for Distributed and Hierarchical Model Predictive Control -a Review, Journal of Process Control, vol.19, issue.5, pp.723-731, 2009.

J. D. Scargle, Studies in Astronomical Time Series Analysis II -Statistical Aspects of Spectral Analysis of Unevenly Spaced Data, The Astrophysical Journal, vol.263, pp.835-853, 1982.

D. Schmidt, Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006.

P. R. Schaumont, A Practical Introduction to Hardware/Software Codesign, 2010.

P. R. Schaumont, A Practical Introduction to Hardware/Software Codesign, pp.3-31, 2010.

P. R. Schaumont, A Practical Introduction to Hardware/Software Codesign, pp.3-31, 2010.

G. Schermann, J. Cito, and P. Leitner, All the Services Large and Micro: Revisiting Industrial Practice in Services Computing, Proceedings of the 14th International Conference on Service-Oriented Computing Workshops (ICSOC Workshops)

R. Segala, Probability and Nondeterminism in Operational Models of Concurrency, Proceedings of the 17th International Conference on Concurrency Theory (CONCUR), pp.64-78, 2006.

N. Seydoux, K. Drira, N. Hernandez, and T. Monteil, IoT-O, a Core-Domain IoT Ontology to Represent Connected Devices Networks, Proceedings of the 20th International Conference on Knowledge Engineering and Knowledge Management, pp.561-576, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01467853

R. Seiger, S. Herrmann, and U. Abmann, Self-Healing for Distributed Workflows in the Internet of Things, Proceedings of the 2017 International Conference on Software Architecture Workshops (ICSAW), pp.72-79, 2017.

S. Sridhar, A. Hahn, and M. Govindarasu, Cyber-Physical System Security for the Electric Power Grid, Proceedings of the IEEE, vol.100, issue.1, pp.210-224, 2012.

W. Shi, J. Cao, Q. Zhang, Y. Li, and L. Xu, Edge Computing: Vision and Challenges, IEEE Internet of Things Journal, vol.3, issue.5, pp.637-646, 2016.

S. Sicari, A. Rizzardi, L. Grieco, and A. Coen-porisini, Security, Privacy and Trust in Internet of Things: The Road Ahead, Computer Networks, vol.76, pp.146-164, 2015.

L. Silva, H. Almeida, A. Perkusich, and M. Perkusich, A Model-Based Approach to Support Validation of Medical Cyber-Physical Systems, Sensors, vol.15, issue.11, pp.27625-27670, 2015.

P. A. Simpson, Embedded Design, pp.157-178, 2015.

S. Skogestad, Simple Analytic Rules for Model Reduction and PID Controller Tuning, Journal of Process Control, vol.14, issue.4, pp.291-309, 2003.
DOI : 10.4173/mic.2004.2.2
URL : http://www.mic-journal.no/PDF/2004/MIC-2004-2-2.pdf

A. N. 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.8, issue.1, pp.1-22, 2017.
DOI : 10.1186/s13174-017-0067-y
URL : https://hal.archives-ouvertes.fr/hal-01650737

M. Salatino, M. D. Maio, and E. Aliverti, Mastering JBoss Drools 6, 2016.

M. Soliman, T. Abiodun, T. Hamouda, J. Zhou, and C. Lung, Smart Home: Integrating Internet of Things with Web Services and Cloud Computing, Proceedings of the 5th International Conference on Cloud Computing Technology and Science (CloudCom), pp.317-320, 2013.
DOI : 10.1109/cloudcom.2013.155

P. Spiess, S. Karnouskos, D. Guinard, D. Savio, O. Baecker et al., SOA-Based Integration of the Internet of Things in Enterprise Services, Proceedings of the 7th International Conference on Web Services (ICWS, pp.968-975, 2009.

M. J. Stanovich, I. Leonard, K. Sanjeev, M. Steurer, T. P. Roth et al., Development of a Smart-Grid Cyber-Physical Systems Testbed, Proceedings of the 4th Innovative Smart Grid Technologies Conference (ISGT), pp.1-6, 2013.
DOI : 10.1109/isgt.2013.6497874

J. A. Stankovic, Research Directions for the Internet of Things, IEEE Internet of Things Journal, vol.1, issue.1, pp.3-9, 2014.

R. Stengel, Toward Intelligent Flight Control, IEEE Transactions on Systems, Man, and Cybernetics, vol.23, issue.6, pp.1699-1717, 1993.
DOI : 10.1109/21.257764

A. Schäfer and J. Vagedes, How Accurate Is Pulse Rate Variability as an Estimate of Heart Rate Variability?, International Journal of Cardiology, vol.166, issue.1, pp.15-29, 2013.

A. N. Sylla, M. Louvel, E. Rutten, and G. Delaval, Design Framework for Reliable Multiple Autonomic Loops in Smart Environments, Proceedings of the 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

D. S. Sousa-nunes, P. Zhang, and J. Silva, A Survey on Human-in-the-Loop Applications Towards an Internet of All, IEEE Communications Surveys & Tutorials, vol.17, issue.2, pp.944-965, 2015.

C. Townsend and S. Arms, Sensor Technology Handbook, pp.575-589, 2005.

G. Tamura, N. M. Villegas, H. A. Müller, L. Duchien, and L. Seinturier, Improving Context-Awareness in Self-Adaptation Using the DYNAMICO Reference Model, Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pp.153-162, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00796275

, Task Force of the European Society of Cardiology the North American Society of Pacing Electrophysiology, Circulation, vol.93, issue.5, pp.1043-1065, 1996.

K. Thramboulidis and F. Christoulakis, UML4IoT-A UML-Based Approach to Exploit IoT in Cyber-Physical Manufacturing Systems, Computers in Industry, vol.82, pp.259-272, 2016.
DOI : 10.1016/j.compind.2016.05.010

T. Teixeira, S. Hachem, V. Issarny, and N. Georgantas, Service Oriented Middleware for the Internet of Things: A Perspective, Proceedings of the 4th European Conference ServiceWave, pp.220-229, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00632794

M. Terdjimi, L. Médini, M. Mrissa, and M. Maleshkova, Multi-Purpose Adaptation in the Web of Things, Proceedings of the 10th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT), pp.213-226, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01462866

X. Tang, P. Gaillardon, and G. De-micheli, A High-Performance Low-Power Near-Vt RRAM-Based FPGA, Proceedings of the 2014 International Conference on Field-Programmable Technology (ICFPT), pp.207-214, 2014.
DOI : 10.1109/fpt.2014.7082777

H. Thieblemont, F. Haghighat, R. Ooka, and A. Moreau, Predictive Control Strategies Based on Weather Forecast in Buildings with Energy Storage System: A Review of the State-of-the Art, Energy and Buildings, vol.153, pp.485-500, 2017.

J. Tuominen, E. Lehtonen, M. J. Tadi, J. Koskinen, M. Pankaala et al., A Miniaturized Low Power Biomedical Sensor Node for Clinical Research and Long Term Monitoring of Cardiovascular Signals, Proceedings of the 2017 International Symposium on Circuits and Systems (ISCAS), pp.1-4, 2017.

D. M. Tung, N. Van-toan, and J. Lee, Exploring the Current Consumption of an Intel Edison Module for IoT Applications, Proceedings of the 2017 IEEE International Instrumentation and Measurement Technology Conference (I2MTC)

, IEEE, pp.1-6, 2017.

. Uddi and . Uddi, Executive White Paper, 2001.

P. Van-allen and . Netlabtk, , 2018.

W. M. Van-der-aalst, P. Barthelmess, C. A. Ellis, and J. Wainer, Proclets: A Framework for Lightweight Interacting Workflow Processes, International Journal of Cooperative Information Systems, vol.10, issue.4, pp.443-481, 2001.

M. Vieira, C. Coelho, D. Silva, and J. Da-mata, Survey on Wireless Sensor Network Devices, Proceedings of the 9th Conference on Emerging Technologies and Factory Automation (ETFA), pp.537-544, 2003.

N. M. Villegas, H. A. Müller, G. Tamura, L. Duchien, and R. Casallas, A Framework for Evaluating Quality-Driven Self-Adaptive Software Systems, Proceedings of the 6th International Symposium on Software Engineering for Adaptive and SelfManaging Systems (SEAMS), pp.80-89, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00578337

N. M. Villegas, G. Tamura, H. A. Müller, L. Duchien, and R. Casallas, DYNAMICO: A Reference Model for Governing Control Objectives and Context Relevance in Self-Adaptive Software Systems, pp.265-293, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00713315

H. Vincent, V. Issarny, N. Georgantas, E. Francesquini, A. Goldman et al., CHOReOS: Scaling Choreographies for the Internet of the Future, Posters and Demos Track of the 11th International Middleware Conference, pp.1-3, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00583466

O. Voutyras, P. Bourelos, D. Kyriazis, and T. Varvarigou, An Architecture Supporting Knowledge Flow in Social Internet of Things Systems, Proceedings of the 310th International Conference on Wireless and Mobile Computing, Networking and Communications, pp.100-105, 2014.

E. K. Wang, Y. Ye, X. Xu, S. M. Yiu, L. C. Hui et al., Security Issues and Challenges for Cyber Physical System, Proceedings of the 6th International Conference on Green Computing and Communications (GreenCom) & 3rd International Conference on Cyber, pp.733-738, 2010.
DOI : 10.1109/greencom-cpscom.2010.36

M. Weiser, B. Welch, A. Demers, and S. Shenker, Scheduling for Reduced CPU Energy, pp.449-471, 1996.

F. Wotawa and W. Krenn, Knowledge Extraction from C-Code, Proceedings of the 5th Workshop on Intelligent Solutions in Embedded Systems (WISES), pp.49-60, 2007.

D. Weyns, S. Malek, and J. Andersson, FORMS: A Formal Reference Model for Self-Adaptation, Proceedings of the 7th International Conference on Autonomic Computing (ICAC), pp.205-214, 2010.

W. H. Wolf, A Decade of Hardware/Software Codesign, Computer, vol.36, issue.4, pp.38-43, 2003.

W. H. Wolf, Hardware-Software Co-Design of Embedded Systems, Proceedings of the IEEE, vol.82, issue.7, pp.967-989, 1994.

J. L. Wynekoop and N. L. Russo, Studying System Development Methodologies: An Examination of Research Methods, Information Systems Journal, vol.7, issue.1, pp.47-65, 1997.

B. B. Winter and J. G. Webster, Driven-Right-Leg Circuit Design, IEEE Transactions on Biomedical Engineering, vol.30, issue.1, pp.62-66, 1983.

. Wyliodrin and . Wyliodrin, Your Next IoT, 2018.

Y. Mo, T. H. Kim, K. Brancik, D. Dickinson, H. Lee et al., Cyber-Physical Security of a Smart Grid Infrastructure, Proceedings of the IEEE, vol.100, issue.1, pp.195-209, 2012.

A. Zanella, N. Bui, A. Castellani, L. Vangelista, and M. Zorzi, Internet of Things for Smart Cities, IEEE Internet of Things Journal, vol.1, issue.1, pp.22-32, 2014.

M. Zhao, G. Privat, É. Rutten, and H. Alla, Discrete Control for the Internet of Things and Smart Environments, Proceedings of the 8th International Workshop on Feedback Computing. USENIX, pp.1-6, 2013.

M. Zhao, G. Privat, E. Rutten, and H. Alla, Discrete Control for Smart Environments Through a Generic Finite-State-Models-Based Infrastructure, Proceedings of the 5th International Joint Conference of Ambient Intelligence (AmI). Ed. by E. Aarts, pp.174-190, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01091140

X. Zhu, Y. Badr, J. Pacheco, and S. Hariri, Autonomic Identity Framework for the Internet of Things, Proceedings of the 2017 International Conference on Cloud and Autonomic Computing (ICCAC), pp.69-79, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01575956

H. Zimmermann, OSI Reference Model-The ISO Model of Architecture for Open Systems Interconnection, IEEE Transactions on Communications, vol.28, issue.4, pp.425-432, 1980.

O. Zimmermann, P. Krogdahl, and C. Gee, Elements of Service-Oriented Analysis and Design: An Interdisciplinary Modeling Approach for SOA Projects, pp.1-18, 2004.

L. Zhao, S. Reisman, and T. Findley, Respiration Derived from the Electrocardiogram During Heart Rate Variability Studies, Proceedings of 16th International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), pp.123-124, 1994.

L. Zhang and Z. Wang, Integration of RFID into Wireless Sensor Networks: Architectures, Opportunities and Challenging Problems, Proceedings of the 5th International Conference on Grid and Cooperative Computing Workshops (GCC)

, IEEE, pp.463-469, 2006.

. .. Ic-integrated-circuit, , vol.5, p.146

.. .. Jni-java-native-interface,

.. .. Json-ld-json-for-linked-data,

.. .. Jvm-java-virtual-machine, , vol.125, p.166

, LTS Labeled Transition System, vol.10, p.150

, MARTE Modeling and Analysis of Real-Time and Embedded systems

.. .. Omg-object-management-group,

P. Proof-of-concept and .. .. , , vol.121, p.144

.. .. Ppg-photoplethysmography, , vol.108, p.138

, QoS Quality of Service, vol.9, p.147

S. .. System-on-chip, , vol.70, p.117

, 64, 65, 77, 85 SPL Synchronous Programming Language, vol.11, p.150

, INSA Lyon, tous droits réservés SQL Structured Query Language, vol.130, p.144, 2018.

. .. Ssh-secure-shell, , vol.134, p.143

. Mots-clés, Internet des objets, Objets intelligents