.. Deployment-of-the-tmr-canopen, Application in the EPL hardware architecture, p.135

A. Lekidis, M. Bozga, D. Mauuary, and S. Bensalem, A model-based design flow for CAN-based systems, 14th International CAN Conference, Eurosites République, pp.1-8, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01212320

A. Lekidis, M. Bozga, and S. Bensalem, Model-based validation of CANopen systems, 2014 10th IEEE Workshop on Factory Communication Systems (WFCS 2014), pp.1-10, 2014.
DOI : 10.1109/WFCS.2014.6837602

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

A. Lekidis, P. Bourgos, D. Simplice, M. Bozga, and S. Bensalem, Building distributed sensor network applications using BIP, 2015 IEEE Sensors Applications Symposium (SAS), pp.1-6, 2015.
DOI : 10.1109/SAS.2015.7133617

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

A. Lekidis, E. Stachtiari, P. Katsaros, M. Bozga, C. Trevor et al., Using BIP to reinforce correctness of resource-constrained IoT applications, 10th IEEE International Symposium on Industrial Embedded Systems (SIES), pp.1-10612, 2010.
DOI : 10.1109/SIES.2015.7185066

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

[. Akbal-delibas, P. Boonma, and J. Suzuki, Extensible and Precise Modeling for Wireless Sensor Networks, Information Systems: Modeling , Development, and Integration, pp.551-562, 2009.
DOI : 10.1145/958491.958506

[. Arratia, L. Goldstein, and L. Gordon, Two moments suffice for Poisson approximations: the Chen-Stein method. The Annals of Probability, pp.9-25, 1989.

[. Pöschmann and L. Rauchhaupt, Integration of CANbased Networks into the PROFInet Environment, 9th International CAN Conference, 2003.

[. As5506, Architecture Analysis & Design Language (AADL). Embedded Computing Systems Committee, SAE, 2004.

A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye et al., Statistical abstraction and model-checking of large heterogeneous systems, Formal Techniques for Distributed Systems, pp.32-46, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00554321

J. Bbc-+-14-]-benjamin-bertran, D. Bruneau, N. Cassou, E. Loriant, C. Balland et al., DiaSuite: A tool suite to develop Sense/Compute/Control applications, Science of Computer Programming, vol.79, pp.39-51, 2014.
DOI : 10.1016/j.scico.2012.04.001

M. Bonakdarpour, M. Bozga, J. Jaber, J. Quilbeuf, and . Sifakis, Automated conflict-free distributed implementation of component-based models, International Symposium on Industrial Embedded System (SIES), pp.108-117, 2010.
DOI : 10.1109/SIES.2010.5551377

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

[. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, Compositional verification for component-based systems and application. IET software, pp.181-193, 2010.
DOI : 10.1007/978-3-540-88387-6_7

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

A. Basu, M. Bozga, and J. Sifakis, Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006.
DOI : 10.1109/SEFM.2006.27

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

A. Biere, A. Cimatti, E. Clarke, and Y. Zhu, Symbolic model checking without BDDs, 1999.
DOI : 10.1007/3-540-49059-0_14

A. Bonivento, P. Luca, A. Carloni, and . Sangiovanni-vincentelli, Platform-Based Design of Wireless Sensor Networks for Industrial Applications, Proceedings of the Design Automation & Test in Europe Conference, pp.1103-1107, 2006.
DOI : 10.1109/DATE.2006.243975

O. Baccelli, M. Hahm, M. Günes, T. Wählisch, and . Schmidt, Towards an OS for the Internet of Things, The 32nd IEEE International Conference on Computer Communications, p.2013, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00945122

L. Bhn-+-07-]-christelle-braun, N. Havet, and . Navet, NETCARBENCH: a benchmark for techniques and tools used in the design of automotive communication systems, 7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems-FeT'2007, pp.321-328, 2007.

[. Benini, R. Hodgson, and P. Siegel, System-level power estimation and optimization, Proceedings of the 1998 international symposium on Low power electronics and design , ISLPED '98, pp.173-178, 1998.
DOI : 10.1145/280756.280881

[. Bozga, M. Jaber, and J. Sifakis, Source-to-Source Architecture Transformation for Performance Optimization in BIP, IEEE Transactions on Industrial Informatics, vol.6, issue.4, pp.708-718, 2010.
DOI : 10.1109/TII.2010.2069102

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

[. Balachandran, H. Joseph, W. Kang, and . Lau, Adaptive sleeping and awakening protocol (ASAP) for energy efficient adhoc sensor networks, IEEE International Conference on Communications, 2005. ICC 2005. 2005, pp.1068-1074, 2005.
DOI : 10.1109/ICC.2005.1494512

C. Brooks, A. Edward, X. Lee, S. Liu, Y. Neuendorffer et al., Mudit Goel, et al. Heterogeneous concurrent modeling and design in java (volume 1: Introduction to ptolemy ii), 2008.

[. Baresi, M. Mauri, A. Monti, and M. Pezzè, PLCTOOLS: design, formal validation, and code generation for programmable controllers, SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166), pp.2437-2442, 2000.
DOI : 10.1109/ICSMC.2000.884357

A. Basu, L. Mounier, M. Poulhies, J. Pulou, and J. Sifakis, Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), pp.257-260, 2007.
DOI : 10.1109/NCA.2007.52

R. Bosch, CAN specification version 2.0, 1991.

[. Bosch, CAN with Flexible Data-Rate specification

R. Bosch and G. , http://www.boschsemiconductors .de/media/pdf 1/canliteratur/can fd spec.pdf. [Bou13] Paraskevas Bourgos. Rigorous Design Flow for Programming Manycore Platforms, 2013.

A. Bakshi, K. Viktor, A. Prasanna, and . Ledeczi, MILAN, ACM SIGPLAN Notices, vol.36, issue.8, pp.82-93, 2001.
DOI : 10.1145/384196.384210

[. Boano, F. Römer, T. Osterlind, and . Voigt, Realistic simulation of radio interference in COOJA, Adjunct proceedings of the 8th European conference on wireless sensor networks (EWSN), demo session, pp.36-37, 2011.

J. Baumgartner and S. Schoenegger, POWERLINK and Real-Time Linux: A Perfect Match for Highest Performance in Real Applications, Twelfth Real-Time Linux Workshop, 2010.

V. Bozga, J. Sfyrla, and . Sifakis, Modeling synchronous systems in BIP, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, pp.77-86, 2009.
DOI : 10.1145/1629335.1629347

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

J. Clark, Xsl transformations (xslt) World Wide Web Consortium (W3C) URL http, 1999.

. Can-in-automation, CANopen device description, Draft Standard 311, 2007.

. Can-in-automation, CANopen Device Profile for Generic I/O Modules, Draft Standard 401, 2008.

. Can-in-automation, Application layer and communication profile, Draft Standard 301, 2011.

[. Cao, T. Abdelzaher, J. Stankovic, and T. He, The LiteOS Operating System: Towards Unix-Like Abstractions for Wireless Sensor Networks, 2008 International Conference on Information Processing in Sensor Networks (ipsn 2008), pp.233-244, 2008.
DOI : 10.1109/IPSN.2008.54

M. Edmund, E. Clarke, L. Travis, J. K. Cochran, D. S. Kim et al., Design and synthesis of synchronization skeletons using branching time temporal logic Bibliography Low power wake-up receiver with unique node addressing, Circuits and Systems (MWSCAS), 2011 IEEE 54th International Midwest Symposium on, pp.1-4, 1982.

[. Chkouri, A. Robert, M. Bozga, and J. Sifakis, Translating AADL into BIP - Application to the Verification of Real-Time Systems, Models in Software Engineering, pp.5-19, 2009.
DOI : 10.1007/978-3-540-77419-8_5

A. Jeffrey, J. Cook, . Sun, H. Julia, . Buckland et al., Automotive powertrain control: A survey, Asian Journal of Control, vol.8, issue.3, pp.237-260, 2006.

[. Colitti, K. Steenhaut, and D. Caro, Integrating wireless sensor networks with the web, Extending the Internet to Low power and Lossy Networks (IP+ SN 2011), 2011.

[. Cena, L. Seno, A. Valenzano, and S. Vitturi, Performance analysis of Ethernet Powerlink networks for distributed control and automation systems, Computer Standards & Interfaces, vol.31, issue.3, pp.31566-572, 2009.
DOI : 10.1016/j.csi.2008.03.022

[. Cena, A. Valenzano, and S. Vitturi, Hybrid wired/wireless networks for real-time communications. Industrial Electronics Magazine, IEEE, vol.2, issue.1, pp.8-20, 2008.
DOI : 10.1109/mie.2008.917155

I. Robert, A. Davis, . Burns, J. Reinder, J. J. Bril et al., Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Systems, pp.239-272, 2007.

T. Beutel, P. Kalt, L. Oehen, K. Thiele, P. Martin et al., Deployment support network, Wireless Sensor Networks, pp.195-211, 2007.

D. Ddg-+-13-]-abhijit-davare, L. Densmore, R. Guo, A. L. Passerone, A. Sangiovanni-vincentelli et al., metro II: A design environment for cyber-physical systems, ACM Transactions on Embedded Computing Systems (TECS), issue.1s, p.1249, 2013.

[. Decotignie, Ethernet-Based Real-Time and Industrial Communications, Proceedings of the IEEE, pp.1102-1117, 2005.
DOI : 10.1109/JPROC.2005.849721

URL : http://www.dca.ufrn.br/~affonso/DCA_STR/trabalhos/rt-ref/rt-ethernet-decotignie.pdf

A. Dunkels, B. Gronvall, and T. Voigt, Contiki - a lightweight and flexible operating system for tiny networked sensors, 29th Annual IEEE International Conference on Local Computer Networks, pp.455-462, 2004.
DOI : 10.1109/LCN.2004.38

[. Niz, G. Bhatia, and R. Rajkumar, Model-based development of embedded systems: The sysweaver approach, Real-Time and Embedded Technology and Applications Symposium Proceedings of the 12th IEEE, pp.231-242, 2006.

A. Dunkels, Rime?a lightweight layered communication stack for sensor networks, Proceedings of the European Conference on Wireless Sensor Networks (EWSN), Poster/Demo session, 2007.

A. Davare, Q. Zhu, M. D. Natale, C. Pinello, S. Kanajan et al., Period optimization for hard real-time distributed automotive systems, Proceedings of the 44th annual Design Automation Conference, pp.278-283, 2007.

J. Elson, L. Girod, and D. Estrin, Fine-grained network time synchronization using reference broadcasts, ACM SIGOPS Operating Systems Review, vol.36, issue.SI, pp.147-163, 2002.
DOI : 10.1145/844128.844143

J. Eriksson, F. Osterlind, N. Finne, N. Tsiftes, A. Dunkels et al., COOJA/MSPSim: interoperability testing for wireless sensor networks, Proceedings of the Second International ICST Conference on Simulation Tools and Techniques, p.27, 2009.
DOI : 10.4108/ICST.SIMUTOOLS2009.5637

J. Simon-fürst, S. Mössinger, T. Bunzel, F. Weber, P. Kirschke-biller et al., AUTOSAR?A Worldwide Standard is on the Road, 14th International VDI Congress Electronic Systems for Vehicles, 2009.

T. Führer, B. Müller, W. Dieterle, F. Hartwich, R. Hugel et al., Time triggered communication on CAN (Time Triggered CAN-TTCAN), 7th international CAN Conference, 2000.

D. Forte and A. Srivastava, Thermal-aware sensor scheduling for distributed estimation, ACM Transactions on Sensor Networks (TOSN), vol.9, issue.4, p.53, 2013.

T. Roy, . Fielding, N. Richard, and . Taylor, Principled design of the modern Web architecture, ACM Transactions on Internet Technology (TOIT), vol.2, issue.2, pp.115-150, 2002.

L. Girod, J. Elson, A. Cerpa, T. Stathopoulos, N. Ramanathan et al., Emstar, USENIX Annual Technical Conference, General Track, pp.283-296, 2004.
DOI : 10.1145/1267060.1267061

[. Harbour, J. P. García, D. Gutiérrez, and . Moyano, Mast: Modeling and analysis suite for real time applications, Real-Time Systems, 13th Euromicro Conference on, pp.125-134, 2001.

[. Bibliography, D. Glombitza, S. Pfisterer, and . Fischer, Using state machines for a model driven development of web service-based sensor network applications, Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, pp.2-7, 2010.

L. Gu, A. John, and . Stankovic, Radio-Triggered Wake-Up for Wireless Sensor Networks, Real-Time Systems, vol.2, issue.2, pp.157-182, 2005.
DOI : 10.1007/s11241-005-6883-z

J. Highsmith and A. Cockburn, Agile software development: the business of innovation, Computer, vol.34, issue.9, pp.120-127, 2001.
DOI : 10.1109/2.947100

W. Rabiner-heinzelman, A. Chandrakasan, and H. Balakrishnan, Energy-efficient communication protocol for wireless microsensor networks, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences, p.10, 2000.
DOI : 10.1109/HICSS.2000.926982

[. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

[. Boterenbrood, CANopen applica- tion firmware for the ELMB, 2011.

A. Henia, M. Hamann, R. Jersak, K. Racu, R. Richter et al., System level performance analysis?the SymTA/S approach, IEE Proceedings-Computers and Digital Techniques, pp.148-166, 2005.

J. Hill, M. Horton, R. Kling, and L. Krishnamurthy, The platforms enabling wireless sensor networks, Communications of the ACM, vol.47, issue.6, pp.41-46, 2004.
DOI : 10.1145/990680.990705

A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker, PRISM: A Tool for Automatic Verification of Probabilistic Systems, Tools and Algorithms for the Construction and Analysis of Systems, pp.441-444, 2006.
DOI : 10.1007/11691372_29

[. Hérault and R. Lassaigne, Frédéric Magniette, and Sylvain Peyronnet Approximate probabilistic model checking, Verification, Model Checking, and Abstract Interpretation, pp.73-84, 2004.

R. Benjamin, X. Hamilton, Q. Ma, J. Zhao, and . Xu, ACES: adaptive clock estimation and synchronization using Kalman filtering, Mobile Computing and Networking, pp.152-162, 2008.

[. Heidarian, J. Schmaltz, and F. Vaandrager, Analysis of a clock synchronization protocol for wireless sensor networks, Theoretical Computer Science, vol.413, issue.1, pp.87-105, 2012.
DOI : 10.1016/j.tcs.2011.07.018

J. Hui and P. Thubert, Compression format for IPv6 datagrams over IEEE 802.15. 4-based networks, 2011.

[. Ieee, Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specification, IEEE 802, 2012.

[. Iso, 11898-1?Road vehicles?Controller area network (CAN)?Part 1: Data link layer and physical signalling. International Organization for Standardization, 2003.

[. Iso, 11898-2, Road vehicles Controller area network (CAN) Part 2: High-speed medium access unit, International Organization for Standardization, 2003.

[. Kovatsch, S. Duquennoy, and A. Dunkels, A Low-Power CoAP for Contiki, 2011 IEEE Eighth International Conference on Mobile Ad-Hoc and Sensor Systems, pp.855-860, 2011.
DOI : 10.1109/MASS.2011.100

[. Khan, I. Robert, N. Davis, and . Navet, Schedulability analysis of CAN with non-abortable transmission requests, ETFA2011, pp.1-8, 2011.
DOI : 10.1109/ETFA.2011.6058998

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

[. Kovatsch, M. Lanter, and S. Duquennoy, Actinium: A RESTful runtime container for scriptable Internet of Things applications, 2012 3rd IEEE International Conference on the Internet of Things, pp.135-142, 2012.
DOI : 10.1109/IOT.2012.6402315

P. Kocher, R. Lee, and G. Mcgraw, Anand Raghunathan, and Srivaths Moderator-Ravi. Security as a new dimension in embedded system design, Proceedings of the 41st annual Design Automation Conference, pp.753-760, 2004.

A. Dawood, N. Khan, B. Navet, J. Bavoux, and . Migge, Aperiodic traffic in response time analyses with adjustable safety level, Emerging Technologies & Factory Automation ETFA 2009. IEEE Conference on, pp.1-9, 2009.

H. Kopetz, Real-time systems: design principles for distributed embedded applications, 2011.

[. Kopetz, R. Obermaisser, C. E. Salloum, and B. Huber, Automotive Software Development for a Multi-Core System-on-a-Chip, Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07), pp.2-2, 2007.
DOI : 10.1109/SEAS.2007.2

M. Loghi, F. Angiolini, D. Bertozzi, L. Benini, and R. Zafalon, Analyzing on-chip communication in a MPSoC environment, Proceedings Design, Automation and Test in Europe Conference and Exhibition, p.20752, 2004.
DOI : 10.1109/DATE.2004.1268966

[. Boudec, Performance Evaluation of Computer and Communication Systems, 2010.
DOI : 10.1201/b16328

[. Bibliography, A. Lédeczi, M. Bakay, P. Maroti, G. Völgyesi et al., Composing domain-specific design environments, Computer, issue.11, pp.3444-51, 2001.

A. Legay, B. Delahaye, and S. Bensalem, Statistical Model Checking: An Overview, Runtime Verification, pp.122-135, 2010.
DOI : 10.1016/j.ic.2006.05.002

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

[. Lee, C. John, H. Eidson, D. Weibel, and . Mohl, IEEE 1588-Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems, Conference on IEEE, 2005.

[. Levis, N. Lee, M. Welsh, and D. Culler, TOSSIM, Proceedings of the first international conference on Embedded networked sensor systems , SenSys '03, pp.126-137, 2003.
DOI : 10.1145/958491.958506

P. Levis, S. Madden, J. Polastre, R. Szewczyk, K. Whitehouse et al., TinyOS: An Operating System for Sensor Networks, Ambient intelligence, pp.115-148, 2005.
DOI : 10.1007/3-540-27139-2_7

M. Lpfj-+-03-]-gilberto-flores-lucio, E. Paredes-farrera, M. Jammeh, . Fleury, J. Martin et al., Opnet modeler and ns-2: Comparing the accuracy of network simulators for packet-level analysis using a network testbed, WSEAS Transactions on Computers, vol.2, issue.3, pp.700-707, 2003.

G. Kim, P. Larsen, W. Pettersson, and . Yi, UPPAAL in a nutshell, International Journal on Software Tools for Technology Transfer (STTT), vol.1, issue.1, pp.134-152, 1997.

[. Langendoen and N. Reijers, Distributed localization algorithm. Embedded Systems Handbook, 2004.

E. Lekidis, P. Stachtiari, M. Katsaros, C. K. Bozga, and . Georgiadis, Using BIP to reinforce correctness of resource-constrained IoT applications, 10th IEEE International Symposium on Industrial Embedded Systems (SIES), pp.1-10, 2015.
DOI : 10.1109/SIES.2015.7185066

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

[. Graphics, Volcano Network Architect (VNA)

M. Mostafizur-rahman-mozumdar, F. Gregoretti, L. Lavagno, L. Vanzago, and S. Olivieri, A framework for modeling , simulation and automatic code generation of sensor network application, Sensor, Mesh and Ad Hoc Communications and Networks, 2008. SECON'08. 5th Annual IEEE Communications Society Conference on, pp.515-522, 2008.

G. Mahmood, H. Gaderer, S. Trsek, N. Schwalowsky, and . Kero, Towards high accuracy in IEEE 802.11 based clock synchronization using PTP, 2011 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication, pp.13-18, 2011.
DOI : 10.1109/ISPCS.2011.6070152

G. Montenegro, N. Kushalnagar, D. Hui, and . Culler, Transmission of IPv6 packets over IEEE 802.15. 4 networks, Internet proposed standard RFC, vol.4944, 2007.

L. Mohammad-mostafizur-rahman-mozumdar, L. Lavagno, A. L. Vanzago, and . Sangiovanni-vincentelli, HILAC: A framework for hardware in the loop simulation and multi-platform automatic code generation of WSN applications, Industrial Embedded Systems (SIES), 2010 International Symposium on, pp.88-97, 2010.

[. Misra, M. Reisslein, and G. Xue, A survey of multimedia streaming in wireless sensor networks, IEEE Communications Surveys & Tutorials, vol.10, issue.4, pp.18-39, 2008.
DOI : 10.1109/SURV.2008.080404

M. Nati, A. Gluhak, H. Abangar, and W. Headley, Smartcampus: A user-centric testbed for internet of things experimentation, Wireless Personal Multimedia Communications (WPMC), 2013 16th International Symposium on, pp.1-6, 2013.

N. Navet, A. Monot, and J. Migge, Frame latency evaluation: when simulation and analysis alone are not enough, 8th IEEE International Workshop on Factory Communication Systems (WFCS2010), Industry Day, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00551506

A. Nouri, Rigorous System-level Modeling and Performance Evaluation for Embedded System Design, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01148690

]. F. Ost06 and . Osterlind, A sensor network simulator for the Contiki OS, PAK08] Olaf Pfeiffer, Andrew Ayre, and Christian Keydel. Embedded networking with CAN and CANopen. Copperhill Media, 2006.

M. Owen-pugh, J. Brewer, and J. Kvam, Sensor Fusion for Intrusion Detection Under False Alarm Constraints, Sensors Application Symposium (SAS). IEEE, 2014.

S. Petersen and S. Carlsen, WirelessHART Versus ISA100.11a: The Format War Hits the Factory Floor, IEEE Industrial Electronics Magazine, vol.5, issue.4, pp.23-34, 2011.
DOI : 10.1109/MIE.2011.943023

H. Pham, Springer handbook of engineering statistics, 2006.
DOI : 10.1007/978-1-84628-288-1

P. Rodrigues, F. Dantas, . Coimbra-delicato, F. Paulo, L. Pires et al., Modeldriven development of wireless sensor network applications, Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on, pp.11-18, 2011.

C. Fengyuan-ren, F. Lin, and . Liu, Self-correcting time synchronization using reference broadcast in wireless sensor network, IEEE Wireless Communications, vol.15, issue.4, pp.79-85, 2008.
DOI : 10.1109/MWC.2008.4599225

[. Roussel, Y. Song, and O. Zendra, RIOT OS Paves the Way for Implementation of High-Performance MAC Protocols, 4th International Conference on Sensor Networks (SENSORNETS) 2015, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01141496

[. Said, T. Abdellatif, S. Bensalem, and M. Bozga, Model-driven information flow security for component-based systems, From Programs to Systems. The Systems perspective in Computing, pp.1-20, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01212303

[. Shelby and C. Bormann, 6LoWPAN: The wireless embedded Internet, 2011.
DOI : 10.1002/9780470686218

[. Sundararaman, U. Buy, and A. D. Kshemkalyani, Clock synchronization for wireless sensor networks: a survey, Ad Hoc Networks, pp.281-323, 2005.
DOI : 10.1016/j.adhoc.2005.01.002

J. Sztipanovits, T. Bapty, S. Neema, L. Howard, and E. Jackson, OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems, From Programs to Systems. The Systems perspective in Computing, pp.235-248, 2014.
DOI : 10.3384/ecp14096235

K. [. Shelby, C. Hartke, and . Bormann, The Constrained Application Protocol (CoAP), 2014.
DOI : 10.17487/rfc7252

M. Shnayder, . Hempstead, G. W. Bor-rong-chen, M. Allen, and . Welsh, Simulating the power consumption of large-scale sensor network applications, Proceedings of the 2nd international conference on Embedded networked sensor systems , SenSys '04, pp.188-200, 2004.
DOI : 10.1145/1031495.1031518

A. Sobeih, C. Jennifer, L. Hou, N. Kung, H. Li et al., J-Sim: A Simulation and emulation environment for wireless sensor networks, IEEE Wireless Communications, vol.13, issue.4, pp.104-119, 2006.
DOI : 10.1109/MWC.2006.1678171

[. Samper, F. Maraninchi, L. Mounier, and L. Mandel, GLONEMO, Proceedings of the first international conference on Integrated internet ad hoc and sensor networks , InterSense '06, p.3, 2006.
DOI : 10.1145/1142680.1142684

[. Socci, P. Poplavko, S. Bensalem, and M. Bozga, Mixed Critical Earliest Deadline First, 2013 25th Euromicro Conference on Real-Time Systems, pp.93-102, 2013.
DOI : 10.1109/ECRTS.2013.20

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

[. Schor, P. Sommer, and R. Wattenhofer, Towards a zeroconfiguration wireless sensor network architecture for smart buildings, Proceedings of the First ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, pp.31-36, 2009.

[. Standard, J1939: Recommended practice for a serial control and communication vehicle network, 1939.

[. Steiner, TTEthernet specification, TTTech Computertechnik AG, 2008.
DOI : 10.1109/nca.2009.28

[. Sangiovanni-vincentelli and M. D. Natale, Embedded System Design for Automotive Applications, Computer, vol.40, issue.10, pp.42-51, 2007.
DOI : 10.1109/MC.2007.344

K. Tindell, A. Burns-iuliana-bacivarov, W. Haid, and K. Huang, Guaranteed message latencies for distributed safety-critical hard real-time control networks Mapping Applications to Tiled Multiprocessor Embedded Systems, Proceedings of the Seventh International Conference on Application of Concurrency to System Design, ACSD '07, pp.29-40, 1994.

[. Thiele, S. Chakraborty, and M. Naedele, Real-time calculus for scheduling hard real-time systems, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353), pp.101-104, 2000.
DOI : 10.1109/ISCAS.2000.858698

. Tet and . Tetcos, NetSim Experimental Manual

G. Tolle, Embedded binary http (ebhttp) ID: draft-tolle-core-ebhttp- 00, 2010.

[. Tschirner, L. Xuedong, and W. Yi, Model-based validation of QoS properties of biomedical sensor networks, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.69-78, 2008.
DOI : 10.1145/1450058.1450069

A. Wald, Sequential Tests of Statistical Hypotheses, The Annals of Mathematical Statistics, vol.16, issue.2, pp.117-186, 1945.
DOI : 10.1214/aoms/1177731118

G. Werner-allen, P. Swieskowski, and M. Welsh, MoteLab: a wireless sensor network testbed, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005., p.68, 2005.
DOI : 10.1109/IPSN.2005.1440979

[. Winter, RPL: IPv6 routing protocol for low-power and lossy networks, 2012.
DOI : 10.17487/rfc6550

[. Watteyne, S. Lanzisera, A. Mehta, S. Kristofer, and . Pister, Mitigating multipath fading through channel hopping in wireless sensor Bibliography 243 networks, Communications (ICC), 2010 IEEE International Conference on, pp.1-5, 2010.

E. Wandeler, L. Thiele, M. Verhoef, and P. Lieverse, System architecture evaluation using modular performance analysis: a case study, International Journal on Software Tools for Technology Transfer, vol.21, issue.5, pp.649-667, 2006.
DOI : 10.1007/s10009-006-0019-5

[. Yomsi, D. Bertrand, N. Navet, I. Robert, and . Davis, Controller Area Network (CAN): Response time analysis with offsets, 2012 9th IEEE International Workshop on Factory Communication Systems, pp.43-52, 2012.
DOI : 10.1109/WFCS.2012.6242539

L. Hakan and . Younes, Verification and planning for stochastic processes with asynchronous events, 2005.

[. Zeltwanger, Gateway profiles connecting CANopen and Ethernet, 10th International CAN Conference, 2005.

[. Zhou, T. He, S. Krishnamurthy, A. John, and . Stankovic, Impact of radio irregularity on wireless sensor networks, Proceedings of the 2nd international conference on Mobile systems, applications, and services , MobiSYS '04, pp.125-138, 2004.
DOI : 10.1145/990064.990081

[. Zurawski, Embedded systems handbook: Networked Embedded Systems, 2005.
DOI : 10.1201/9781420038163