Skip to Main content Skip to Navigation
Theses

Design flow for the rigorous development of networked embedded systems

Abstract : Networked embedded systems have emerged as a major technological advance over the last years. Since they are used in a vast variety of applications, the main arising challenge is to develop functional applications whilst ensuring their design challenges. These challenges relate to the limited hardware resources (e.g. processor memory, power unit) and also their heterogeneity in terms of software, hardware as well as communication mechanisms. A well-known formalism, considering all these challenges, is model-based design since it allows the simulation and validation of complex-heterogeneous systems in every stage of the development. In this thesis we present a new approach, based on a design flow, which applies model-based design and verification techniques in networked embedded systems. The soundness of the approach is proved through its application in several areas, such as automotive, industrial automation, Wireless Sensor Network (WSN) and Internet of Things (IoT) systems.
Complete list of metadatas

Cited literature [136 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01261936
Contributor : Alexios Lekidis <>
Submitted on : Tuesday, January 26, 2016 - 1:11:43 AM
Last modification on : Thursday, November 19, 2020 - 3:58:03 PM
Long-term archiving on: : Wednesday, April 27, 2016 - 1:21:15 PM

Licence


Copyright

Identifiers

  • HAL Id : tel-01261936, version 1

Collections

Citation

Alexios Lekidis. Design flow for the rigorous development of networked embedded systems. Embedded Systems. Universite Grenoble Alpes, 2015. English. ⟨tel-01261936v1⟩

Share

Metrics

Record views

594

Files downloads

768