Design flow for the rigorous development of networked embedded systems

Abstract : 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.
Document type :
Theses
Liste complète des métadonnées

Cited literature [136 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01261936
Contributor : Abes Star <>
Submitted on : Tuesday, January 9, 2018 - 6:18:27 PM
Last modification on : Friday, July 6, 2018 - 10:08:02 AM

File

LEKIDIS_2015_archivage.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01261936, version 2

Collections

Citation

Alexios Lekidis. Design flow for the rigorous development of networked embedded systems. Embedded Systems. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM056⟩. ⟨tel-01261936v2⟩

Share

Metrics

Record views

354

Files downloads

828