HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

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 metadata

Cited literature [136 references]  Display  Hide  Download

Contributor : Alexios Lekidis Connect in order to contact the contributor
Submitted on : Tuesday, January 26, 2016 - 1:11:43 AM
Last modification on : Tuesday, October 19, 2021 - 1:48:11 PM
Long-term archiving on: : Wednesday, April 27, 2016 - 1:21:15 PM




  • HAL Id : tel-01261936, version 1



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



Record views


Files downloads