Application in the EPL hardware architecture, p.135 ,
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
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
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
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
Extensible and Precise Modeling for Wireless Sensor Networks, Information Systems: Modeling , Development, and Integration, pp.551-562, 2009. ,
DOI : 10.1007/978-3-642-01112-2_55
Two moments suffice for Poisson approximations: the Chen-Stein method. The Annals of Probability, pp.9-25, 1989. ,
Integration of CANbased Networks into the PROFInet Environment, 9th International CAN Conference, 2003. ,
Architecture Analysis & Design Language (AADL). Embedded Computing Systems Committee, SAE, 2004. ,
Statistical abstraction and model-checking of large heterogeneous systems, Formal Techniques for Distributed Systems, pp.32-46, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-01055148
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
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
Compositional verification for component-based systems and application. IET software, pp.181-193, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00568866
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
Symbolic Model Checking without BDDs, 1999. ,
DOI : 10.1007/3-540-49059-0_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.8033
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
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
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. ,
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
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-00722520
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
Mudit Goel, et al. Heterogeneous concurrent modeling and design in java (volume 1: Introduction to ptolemy ii), 2008. ,
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
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
CAN specification version 2.0, 1991. ,
CAN with Flexible Data-Rate specification ,
http://www.boschsemiconductors .de/media/pdf 1/canliteratur/can fd spec.pdf. [Bou13] Paraskevas Bourgos. Rigorous Design Flow for Programming Manycore Platforms, 2013. ,
MILAN, ACM SIGPLAN Notices, vol.36, issue.8, pp.82-93, 2001. ,
DOI : 10.1145/384196.384210
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. ,
POWERLINK and Real-Time Linux: A Perfect Match for Highest Performance in Real Applications, Twelfth Real-Time Linux Workshop, 2010. ,
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
Xsl transformations (xslt) World Wide Web Consortium (W3C) URL http, 1999. ,
CANopen device description, Draft Standard 311, 2007. ,
CANopen Device Profile for Generic I/O Modules, Draft Standard 401, 2008. ,
Application layer and communication profile, Draft Standard 301, 2011. ,
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
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. ,
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
Automotive powertrain control: A survey, Asian Journal of Control, vol.8, issue.3, pp.237-260, 2006. ,
Integrating wireless sensor networks with the web, Extending the Internet to Low power and Lossy Networks (IP+ SN 2011), 2011. ,
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
Hybrid wired/wireless networks for real-time communications. Industrial Electronics Magazine, IEEE, vol.2, issue.1, pp.8-20, 2008. ,
Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Systems, pp.239-272, 2007. ,
Deployment support network, Wireless Sensor Networks, pp.195-211, 2007. ,
metro II: A design environment for cyber-physical systems, ACM Transactions on Embedded Computing Systems (TECS), issue.1s, p.1249, 2013. ,
Ethernet-Based Real-Time and Industrial Communications, Proceedings of the IEEE, pp.1102-1117, 2005. ,
DOI : 10.1109/JPROC.2005.849721
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.383.7743
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
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. ,
Rime?a lightweight layered communication stack for sensor networks, Proceedings of the European Conference on Wireless Sensor Networks (EWSN), Poster/Demo session, 2007. ,
Period optimization for hard real-time distributed automotive systems, Proceedings of the 44th annual Design Automation Conference, pp.278-283, 2007. ,
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
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
AUTOSAR?A Worldwide Standard is on the Road, 14th International VDI Congress Electronic Systems for Vehicles, 2009. ,
Time triggered communication on CAN (Time Triggered CAN-TTCAN), 7th international CAN Conference, 2000. ,
Thermal-aware sensor scheduling for distributed estimation, ACM Transactions on Sensor Networks (TOSN), vol.9, issue.4, p.53, 2013. ,
Principled design of the modern Web architecture, ACM Transactions on Internet Technology (TOIT), vol.2, issue.2, pp.115-150, 2002. ,
Emstar, USENIX Annual Technical Conference, General Track, pp.283-296, 2004. ,
DOI : 10.1145/1267060.1267061
Mast: Modeling and analysis suite for real time applications, Real-Time Systems, 13th Euromicro Conference on, pp.125-134, 2001. ,
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. ,
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
Agile software development: the business of innovation, Computer, vol.34, issue.9, pp.120-127, 2001. ,
DOI : 10.1109/2.947100
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
The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991. ,
DOI : 10.1109/5.97300
CANopen applica- tion firmware for the ELMB, 2011. ,
System level performance analysis?the SymTA/S approach, IEE Proceedings-Computers and Digital Techniques, pp.148-166, 2005. ,
The platforms enabling wireless sensor networks, Communications of the ACM, vol.47, issue.6, pp.41-46, 2004. ,
DOI : 10.1145/990680.990705
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
Frédéric Magniette, and Sylvain Peyronnet Approximate probabilistic model checking, Verification, Model Checking, and Abstract Interpretation, pp.73-84, 2004. ,
ACES: adaptive clock estimation and synchronization using Kalman filtering, Mobile Computing and Networking, pp.152-162, 2008. ,
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
Compression format for IPv6 datagrams over IEEE 802.15. 4-based networks, 2011. ,
Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specification, IEEE 802, 2012. ,
11898-1?Road vehicles?Controller area network (CAN)?Part 1: Data link layer and physical signalling. International Organization for Standardization, 2003. ,
11898-2, Road vehicles Controller area network (CAN) Part 2: High-speed medium access unit, International Organization for Standardization, 2003. ,
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
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
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
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. ,
Aperiodic traffic in response time analyses with adjustable safety level, Emerging Technologies & Factory Automation ETFA 2009. IEEE Conference on, pp.1-9, 2009. ,
Real-time systems: design principles for distributed embedded applications, 2011. ,
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
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
Performance Evaluation of Computer and Communication Systems, 2010. ,
DOI : 10.1201/b16328
Composing domain-specific design environments, Computer, issue.11, pp.3444-51, 2001. ,
Statistical Model Checking: An Overview, Runtime Verification, pp.122-135, 2010. ,
DOI : 10.1007/978-3-642-16612-9_11
URL : https://hal.archives-ouvertes.fr/inria-00591593
IEEE 1588-Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems, Conference on IEEE, 2005. ,
TOSSIM, Proceedings of the first international conference on Embedded networked sensor systems , SenSys '03, pp.126-137, 2003. ,
DOI : 10.1145/958491.958506
TinyOS: An Operating System for Sensor Networks, Ambient intelligence, pp.115-148, 2005. ,
DOI : 10.1007/3-540-27139-2_7
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. ,
UPPAAL in a nutshell, International Journal on Software Tools for Technology Transfer (STTT), vol.1, issue.1, pp.134-152, 1997. ,
Distributed localization algorithm. Embedded Systems Handbook, 2004. ,
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
Volcano Network Architect (VNA) ,
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. ,
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
Transmission of IPv6 packets over IEEE 802.15. 4 networks, Internet proposed standard RFC, vol.4944, 2007. ,
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. ,
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
Smartcampus: A user-centric testbed for internet of things experimentation, Wireless Personal Multimedia Communications (WPMC), 2013 16th International Symposium on, pp.1-6, 2013. ,
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
Rigorous System-level Modeling and Performance Evaluation for Embedded System Design, 2015. ,
URL : https://hal.archives-ouvertes.fr/tel-01148690
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. ,
Sensor Fusion for Intrusion Detection Under False Alarm Constraints, Sensors Application Symposium (SAS). IEEE, 2014. ,
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
Springer handbook of engineering statistics, 2006. ,
DOI : 10.1007/978-1-84628-288-1
Modeldriven development of wireless sensor network applications, Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on, pp.11-18, 2011. ,
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
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
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
6LoWPAN: The wireless embedded Internet, 2011. ,
DOI : 10.1002/9780470686218
Clock synchronization for wireless sensor networks: a survey, Ad Hoc Networks, pp.281-323, 2005. ,
DOI : 10.1016/j.adhoc.2005.01.002
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.1007/978-3-642-41533-3_29
The Constrained Application Protocol (CoAP), 2014. ,
DOI : 10.17487/rfc7252
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
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
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
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
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. ,
J1939: Recommended practice for a serial control and communication vehicle network, 1939. ,
TTEthernet specification, TTTech Computertechnik AG, 2008. ,
DOI : 10.1109/nca.2009.28
Embedded System Design for Automotive Applications, Computer, vol.40, issue.10, pp.42-51, 2007. ,
DOI : 10.1109/MC.2007.344
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. ,
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
NetSim Experimental Manual ,
Embedded binary http (ebhttp) ID: draft-tolle-core-ebhttp- 00, 2010. ,
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
Sequential Tests of Statistical Hypotheses, The Annals of Mathematical Statistics, vol.16, issue.2, pp.117-186, 1945. ,
DOI : 10.1214/aoms/1177731118
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
RPL: IPv6 routing protocol for low-power and lossy networks, 2012. ,
DOI : 10.17487/rfc6550
Mitigating multipath fading through channel hopping in wireless sensor Bibliography 243 networks, Communications (ICC), 2010 IEEE International Conference on, pp.1-5, 2010. ,
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
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
Verification and planning for stochastic processes with asynchronous events, 2005. ,
Gateway profiles connecting CANopen and Ethernet, 10th International CAN Conference, 2005. ,
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
Embedded systems handbook: Networked Embedded Systems, 2005. ,
DOI : 10.1201/9781420038163