Design flow for the rigorous development of networked embedded systems. (Flot de conception pour le développement rigoureux des systèmes embarqués en réseau)

Over the latest years the use of embedded devices has expanded rapidly due to the convenience they offer in daily life. Embedded devices are characterized by their tiny size, their portability as well as their ability to exchange data with other devices through a dedicated network unit. The analysis of the behavior and interactions between such devices lead to the emergence of a new system type, called networked embedded systems.As the current popularity of networked embedded systems grows, there is a trend for addressing their existing design challenges in the development of functional applications. These challenges relate to the use of their limited hardware resources (e.g. processor memory, power unit) and the system heterogeneity in terms of software, hardware as well as communication mechanisms between the embedded devices. To this end, in this thesis we present a rigorous approach considering all the design challenges through a model-based design flow. The flow uses BIP as an underlying framework for the hierarchical construction of component-based systems and it is easily employed, as each step is fully supported by developed tools and methods. Its benefits include early-stage simulation and testing, verification of functional correctness, generation of deployable code and collection of performance data from real executions, in order to calibrate the developed models. Calibrated models represent faithfully the real system and can analyze system performance as well as evaluate accurately system requirements. Additionally, performance analysis results may provide design enhancements in the target system.Our approach is demonstrated in several well-known application domains of networked embedded systems, namely the automotive, industrial automation, Wireless Sensor Network (WSN) and Internet of Things (IoT) systems. Each domain includes different characteristics and technologies, but also features different challenges. These challenges are considered by developed tools for each domain, which are validated against existing domain-specific, such as MATLAB/Simulink, RTaW-Sim, OPNET Modeler and Cooja. The validation is facilitated through case-studies in industrial or benchmark networked embedded systems. Our experiments illustrate the support of a better fine-grained analysis from the developed tools by initially providing similar simulation results and additionally offering capabilities for automated code generation as well as requirement verification.

[1]  Alexander Gluhak,et al.  SmartCampus: A user-centric testbed for Internet of Things experimentation , 2013, 2013 16th International Symposium on Wireless Personal Multimedia Communications (WPMC).

[2]  Adam Dunkels.  Rime - a lightweight layered communication stack for sensor networks. , 2007 .

[3]  Fredrik Österlind,et al.  A Sensor Network Simulator for the Contiki OS , 2006 .

[4]  Håkan L. S. Younes,et al.  Verification and planning for stochastic processes with asynchronous events , 2004 .

[5]  Pruet Boonma,et al.  Extensible and Precise Modeling for Wireless Sensor Networks , 2009, UNISCON.

[6]  David E. Culler,et al.  TinyOS: An Operating System for Sensor Networks , 2005, Ambient Intelligence.

[7]  Feng Liu,et al.  Self-correcting time synchronization using reference broadcast in wireless sensor network , 2008, IEEE Wireless Communications.

[8]  Deborah Estrin,et al.  EmStar: A Software Environment for Developing and Deploying Wireless Sensor Networks , 2004, USENIX ATC, General Track.

[9]  Joseph Sifakis,et al.  Modeling synchronous systems in BIP , 2009, EMSOFT '09.

[10]  P. Kind,et al.  Towards a Detector Control System for the ATLAS Pixel Detector , 2003 .

[11]  Edward A. Lee,et al.  Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II) , 2008 .

[12]  Yeqiong Song,et al.  RIOT OS Paves the Way for Implementation of High-performance MAC Protocols , 2015, SENSORNETS.

[13]  Mikko Laakso.  Distributed systems design flow: fieldbus modeling , 2008 .

[14]  Luciano Baresi,et al.  PLCTOOLS: design, formal validation, and code generation for programmable controllers , 2000, 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.0.

[15]  Gianluca Cena,et al.  Performance analysis of Ethernet Powerlink networks for distributed control and automation systems , 2009, Comput. Stand. Interfaces.

[16]  John A. Stankovic,et al.  Radio-Triggered Wake-Up for Wireless Sensor Networks , 2005, Real-Time Systems.

[17]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[18]  Wendi Heinzelman,et al.  Energy-efficient communication protocol for wireless microsensor networks , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[19]  Jacques Pulou,et al.  Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks , 2007, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007).

[20]  Jean-Dominique Decotignie,et al.  Ethernet-Based Real-Time and Industrial Communications , 2005, Proceedings of the IEEE.

[21]  Marius Bozga,et al.  Model-based validation of CANopen systems , 2014, 2014 10th IEEE Workshop on Factory Communication Systems (WFCS 2014).

[22]  Jörn Migge,et al.  Aperiodic traffic in response time analyses with adjustable safety level , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[23]  Adam Dunkels,et al.  A Low-Power CoAP for Contiki , 2011, 2011 IEEE Eighth International Conference on Mobile Ad-Hoc and Sensor Systems.

[24]  J. Elson,et al.  Fine-grained network time synchronization using reference broadcasts , 2002, OSDI '02.

[25]  Rolf Ernst,et al.  System level performance analysis - the SymTA/S approach , 2005 .

[26]  Joseph Sifakis,et al.  Automated conflict-free distributed implementation of component-based models , 2010, International Symposium on Industrial Embedded System (SIES).

[27]  Hoang Pham,et al.  Springer Handbook of Engineering Statistics , 2023, Springer Handbooks.

[28]  H. Kopetz,et al.  Automotive Software Development for a Multi-Core System-on-a-Chip , 2007, Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07).

[29]  David E. Culler,et al.  Transmission of IPv6 Packets over IEEE 802.15.4 Networks , 2007, RFC.

[30]  Nicolas Navet,et al.  NETCARBENCH: A BENCHMARK FOR TECHNIQUES AND TOOLS USED IN THE DESIGN OF AUTOMOTIVE COMMUNICATION SYSTEMS , 2007 .

[31]  Axel Legay,et al.  Statistical Model Checking: An Overview , 2010, RV.

[32]  Jerry Brewer,et al.  Sensor fusion for intrusion detection under false alarm constraints , 2015, 2015 IEEE Sensors Applications Symposium (SAS).

[33]  Alistair Cockburn,et al.  Agile Software Development: The Business of Innovation , 2001, Computer.

[34]  Alberto L. Sangiovanni-Vincentelli,et al.  Period Optimization for Hard Real-time Distributed Automotive Systems , 2007, 2007 44th ACM/IEEE Design Automation Conference.

[35]  Adam Dunkels,et al.  Contiki - a lightweight and flexible operating system for tiny networked sensors , 2004, 29th Annual IEEE International Conference on Local Computer Networks.

[36]  Wang Yi,et al.  Model-based validation of QoS properties of biomedical sensor networks , 2008, EMSOFT '08.

[37]  Marcel Verhoef,et al.  System architecture evaluation using modular performance analysis: a case study , 2006, International Journal on Software Tools for Technology Transfer.

[38]  Roy T. Fielding,et al.  Principled design of the modern Web architecture , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[39]  Jan Maluszy¿ski.  Verification, Model Checking, and Abstract Interpretation , 2009, Lecture Notes in Computer Science.

[40]  Qi Zhao,et al.  ACES: adaptive clock estimation and synchronization using Kalman filtering , 2008, MobiCom '08.

[41]  Armin Biere,et al.  Symbolic Model Checking without BDDs , 1999, TACAS.

[42]  Gabor Karsai,et al.  Composing Domain-Specific Design Environments , 2001, Computer.

[43]  Matt Welsh,et al.  MoteLab: a wireless sensor network testbed , 2005, IPSN '05.

[44]  Ilya Kolmanovsky,et al.  Automotive Powertrain Control — A Survey , 2006 .

[45]  Alberto L. Sangiovanni-Vincentelli,et al.  Embedded System Design for Automotive Applications , 2007, Computer.

[46]  Martin Fleury,et al.  Modeler and Ns-2 : Comparing the Accuracy Of Network Simulators for Packet-Level Analysis using a Network Testbed , 2003 .

[47]  Tarek F. Abdelzaher,et al.  The LiteOS Operating System: Towards Unix-Like Abstractions for Wireless Sensor Networks , 2008, 2008 International Conference on Information Processing in Sensor Networks (ipsn 2008).

[48]  Hyuk Lim,et al.  J-Sim: a simulation and emulation environment for wireless sensor networks , 2006, IEEE Wireless Communications.

[49]  Jörn Migge,et al.  Frame latency evaluation: when simulation and analysis alone are not enough , 2010, WFCS 2010.

[50]  Josef Baumgartner.  POWERLINK and Real-Time Linux : A Perfect Match for Highest Performance in Real Applications , 2010 .

[51]  Simon Duquennoy,et al.  Actinium: A RESTful runtime container for scriptable Internet of Things applications , 2012, 2012 3rd IEEE International Conference on the Internet of Things.

[52]  Mike Horton,et al.  The platforms enabling wireless sensor networks , 2004, CACM.

[53]  Luciano Lavagno,et al.  HILAC: A framework for hardware in the loop simulation and multi-platform automatic code generation of WSN applications , 2010, International Symposium on Industrial Embedded System (SIES).

[54]  Dong Sam Ha,et al.  Low power wake-up receiver with unique node addressing , 2011, 2011 IEEE 54th International Midwest Symposium on Circuits and Systems (MWSCAS).

[55]  Luca Benini,et al.  Analyzing on-chip communication in a MPSoC environment , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[56]  Joseph Sifakis,et al.  Compositional verification for component-based systems and application , 2010, IET Softw..

[57]  Richard Zurawski,et al.  Embedded Systems Handbook , 2004 .

[58]  Carsten Bormann,et al.  The Constrained Application Protocol (CoAP) , 2014, RFC.

[59]  Alan Burns,et al.  GUARANTEED MESSAGE LATENCIES FOR DISTRIBUTED SAFETY-CRITICAL HARD REAL-TIME CONTROL NETWORKS1 , 1994 .

[60]  Luca Benini,et al.  System-level power estimation and optimization , 1998, Proceedings. 1998 International Symposium on Low Power Electronics and Design (IEEE Cat. No.98TH8379).

[61]  Sandeep Neema,et al.  OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems , 2014, FPS@ETAPS.

[62]  Martin Reisslein,et al.  A survey of multimedia streaming in wireless sensor networks , 2008, IEEE Communications Surveys & Tutorials.

[63]  Luciano Lavagno,et al.  A Framework for Modeling, Simulation and Automatic Code Generation of Sensor Network Application , 2008, 2008 5th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks.

[64]  Philip Levis,et al.  RPL: IPv6 Routing Protocol for Low-Power and Lossy Networks , 2012, RFC.

[65]  Luciano Lavagno,et al.  High-Level Internet of Things Applications Development Using Wireless Sensor Networks , 2014 .

[66]  Joseph Sifakis,et al.  Source-to-source architecture transformation for performance optimization in BIP , 2009, 2009 IEEE International Symposium on Industrial Embedded Systems.

[67]  Srivaths Ravi,et al.  Security as a new dimension in embedded system design , 2004, Proceedings. 41st Design Automation Conference, 2004..

[68]  R. Khan,et al.  Sequential Tests of Statistical Hypotheses. , 1972 .

[69]  Robert I. Davis,et al.  Controller Area Network (CAN): Response time analysis with offsets , 2012, 2012 9th IEEE International Workshop on Factory Communication Systems.

[70]  A StankovicJohn,et al.  Radio-Triggered Wake-Up for Wireless Sensor Networks , 2005 .

[71]  S. Carlsen,et al.  WirelessHART Versus ISA100.11a: The Format War Hits the Factory Floor , 2011, IEEE Industrial Electronics Magazine.

[72]  David E. Culler,et al.  TOSSIM: accurate and scalable simulation of entire TinyOS applications , 2003, SenSys '03.

[73]  Roger Wattenhofer,et al.  Towards a zero-configuration wireless sensor network architecture for smart buildings , 2009, BuildSys '09.

[74]  L. Gordon,et al.  Two moments su ce for Poisson approx-imations: the Chen-Stein method , 1989 .

[75]  Fredrik Österlind,et al.  Demo Abstract: Realistic Simulation of Radio Interference in COOJA , 2011 .

[76]  Marius Bozga,et al.  A model-based design flow for CAN-based systems , 2013 .

[77]  Alan Burns,et al.  Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised , 2007, Real-Time Systems.

[78]  Robert I. Davis,et al.  Schedulability analysis of CAN with non-abortable transmission requests , 2011, ETFA2011.

[79]  Valeriy Vyatkin,et al.  Closed-Loop Modeling in Future Automation System Engineering and Validation , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[80]  A. M. Abdullah,et al.  Wireless lan medium access control (mac) and physical layer (phy) specifications , 1997 .

[81]  Gilman Tolle.  Embedded Binary HTTP (EBHTTP) , 2010 .

[82]  Lothar Thiele,et al.  Mapping Applications to Tiled Multiprocessor Embedded Systems , 2007, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).

[83]  Lothar Thiele,et al.  Real-time calculus for scheduling hard real-time systems , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).

[84]  Edmund M. Clarke,et al.  Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic , 2008, 25 Years of Model Checking.

[85]  Marius Bozga,et al.  Building distributed sensor network applications using BIP , 2015, 2015 IEEE Sensors Applications Symposium (SAS).

[86]  Ajay D. Kshemkalyani,et al.  Clock synchronization for wireless sensor networks: a survey , 2005, Ad Hoc Networks.

[87]  Jean-Yves Le Boudec.  Performance Evaluation of Computer and Communication Systems , 2010, Computer and communication sciences.

[88]  Paraskevas Bourgos,et al.  Rigorous Design Flow for Programming Manycore Platforms , 2013 .

[89]  Viktor K. Prasanna,et al.  MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems , 2001, OM '01.

[90]  Damien Cassou,et al.  DiaSuite: A tool suite to develop Sense/Compute/Control applications , 2014, Sci. Comput. Program..

[91]  Marius Bozga,et al.  Model-Driven Information Flow Security for Component-Based Systems , 2014, FPS@ETAPS.

[92]  Gaurav Bhatia,et al.  Model-Based Development of Embedded Systems: The SysWeaver Approach , 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

[93]  Krishna Balachandran,et al.  Adaptive sleeping and awakening protocol (ASAP) for energy efficient adhoc sensor networks , 2005, IEEE International Conference on Communications, 2005. ICC 2005. 2005.

[94]  Wolfgang Mahnke,et al.  OPC Unified Architecture , 2009, Autom..

[95]  Dennis Pfisterer,et al.  Using state machines for a model driven development of web service-based sensor network applications , 2010, SESENA '10.

[96]  Henning Trsek,et al.  Towards high accuracy in IEEE 802.11 based clock synchronization using PTP , 2011, 2011 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication.

[97]  Gianluca Cena,et al.  Hybrid wired/wireless networks for real-time communications , 2008, IEEE Industrial Electronics Magazine.

[98]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[99]  A. Varga,et al.  THE OMNET++ DISCRETE EVENT SIMULATION SYSTEM , 2003 .

[100]  T. Führer,et al.  Time Triggered Communication on CAN ( Time Triggered CAN-TTCAN ) , 2000 .

[101]  Gang Zhou,et al.  Impact of radio irregularity on wireless sensor networks , 2004, MobiSys '04.

[102]  Matt Welsh,et al.  Integrating wireless sensor networks with the grid , 2004, IEEE Internet Computing.

[103]  Joseph Sifakis,et al.  Translating AADL into BIP - Application to the Verification of Real-Time Systems , 2009, MoDELS.

[104]  Axel Legay,et al.  Statistical abstraction and model-checking of large heterogeneous systems , 2010, International Journal on Software Tools for Technology Transfer.

[105]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[106]  Andrew Hinton,et al.  PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.

[107]  Frits W. Vaandrager,et al.  Analysis of a clock synchronization protocol for wireless sensor networks , 2009, Theor. Comput. Sci..

[108]  Marius Bozga,et al.  Mixed Critical Earliest Deadline First , 2013, 2013 25th Euromicro Conference on Real-Time Systems.

[109]  Thomas Werner,et al.  Integration of CAN-based Networks into the PROFInet Environment , 2003 .

[110]  Matt Welsh,et al.  Simulating the power consumption of large-scale sensor network applications , 2004, SenSys '04.

[111]  Kang Lee,et al.  IEEE 1588 standard for a precision clock synchronization protocol for networked measurement and control systems , 2002, 2nd ISA/IEEE Sensors for Industry Conference,.

[112]  Joseph Sifakis,et al.  Modeling Heterogeneous Real-time Components in BIP , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[113]  Panagiotis Katsaros,et al.  Using BIP to reinforce correctness of resource-constrained IoT applications , 2015, 10th IEEE International Symposium on Industrial Embedded Systems (SIES).

[114]  Simon Fürst.  AUTOSAR – A Worldwide Standard is on the Road . , 2009 .

[115]  Lothar Thiele,et al.  Deployment Support Network , 2007, EWSN.

[116]  Ankur Srivastava,et al.  Thermal-aware sensor scheduling for distributed estimation , 2010, TOSN.

[117]  Thomas C. Schmidt,et al.  RIOT OS: Towards an OS for the Internet of Things , 2013, 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS).

[118]  Hans-Christian von der Wense,et al.  Introduction to Local Interconnect Network , 2000 .

[119]  Pascal Thubert,et al.  Compression Format for IPv6 Datagrams over IEEE 802.15.4-Based Networks , 2011, RFC.

[120]  Ayoub Nouri,et al.  Rigorous System-level Modeling and Performance Evaluation for Embedded System Design. (Modélisation et Évaluation de Performance pour la Conception des Systèmes Embarqués : Approche Rigoureuse au Niveau Système) , 2015 .

[121]  Anneli Folkesson,et al.  World Wide Web Consortium (W3C) , 2005 .

[122]  Olaf Pfeiffer,et al.  Embedded Networking with CAN and CANopen , 2003 .

[123]  Gunnar Prytz,et al.  A performance analysis of EtherCAT and PROFINET IRT , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[124]  Myung-Ki Shin,et al.  Transmission of IPv6 Packets over IEEE 802.16 , 2006 .

[125]  J. Javier Gutiérrez,et al.  MAST: Modeling and Analysis Suite for Real Time Applications , 2001, ECRTS.

[126]  Alvise Bonivento,et al.  Platform-Based Design of Wireless Sensor Networks for Industrial Applications , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[127]  Pedro José Marrón,et al.  COOJA/MSPSim: interoperability testing for wireless sensor networks , 2009, SimuTools.

[128]  Florence Maraninchi,et al.  GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks , 2006, InterSense '06.