Design flow for the rigorous development of networked embedded systems - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2015

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

Alexios Lekidis
  • Fonction : Auteur
  • PersonId : 975443

Résumé

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.
Les systèmes embarqués en réseau sont devenues une avancée technologique majeure au cours des dernières années. Telle qu’ils sont utilisés dans une grande diversité d'applications, le principal défi pose est de développer des applications fonctionnelles, en assurant leurs défis de conception. Ces défis concernent l'utilisation des leurs ressources matérielles limitées (p.ex. la mémoire du processeur, l'unité d'alimentation) et aussi leur hétérogénéité en termes de logiciel, le matériel ainsi que des mécanismes de communication. Afin de considère tous ces défis, nous proposons de utiliser les techniques de modélisation sur cette type des systèmes, car ils permettent la simulation et la validation de systèmes complexes hétérogène dans chaque étape du développement. En plus, ils optimisent également les performances de systèmes à une manière efficace. Dans cette thèse, nous présentons une nouvelle approche, basée sur un flot de conception, qui applique des techniques de modélisation et de vérification formelles dans les systèmes embarqués en réseau. La validité de l'approche est prouvé par son application dans plusieurs domaines, comme les systèmes automobiles, les systèmes de l'automation industrielle, les systèmes de réseaux de capteurs sans fil (WSN systèmes) et les systèmes pour l'internet des objets (IoT systèmes).
Fichier principal
Vignette du fichier
thesisLekidis_archivage.pdf (10.15 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-01261936 , version 1 (26-01-2016)
tel-01261936 , version 2 (09-01-2018)

Licence

Copyright (Tous droits réservés)

Identifiants

  • HAL Id : tel-01261936 , version 1

Citer

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

Collections

TDS-MACS
595 Consultations
1596 Téléchargements

Partager

Gmail Facebook X LinkedIn More