Design flow for the rigorous development of networked embedded systems

Résumé : 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).
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-01261936
Contributeur : Alexios Lekidis <>
Soumis le : mardi 26 janvier 2016 - 01:11:43
Dernière modification le : lundi 21 mars 2016 - 17:34:38
Document(s) archivé(s) le : mercredi 27 avril 2016 - 13:21:15

Licence


Copyright (Tous droits réservés)

Identifiants

  • 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-01261936>

Partager

Métriques

Consultations de
la notice

537

Téléchargements du document

484