Assistance au raffinement dans la conception des systèmes embarqués

Dans la société moderne, les technologies embarquées sont devenues importantes, voire indispensables. En effet, elles sont de plus en plus implantées dans divers domaines de la vie courante : personnel, transport, assistance et domaine médical. Les progrès technologiques permettent de...

Développement des systèmes temps réel embarqués (STRE)

L’Ingénierie Dirigée par les Modèles (IDM) place les modèles au cœur des processus d’ingénierie logicielle et système. L’hypothèse est que différents modèles d’un même système, correspondant à différentes vues et/ou niveaux d’abstraction, peuvent cohabiter au sein d’un processus de développement....

Négociation de contrats dans les systèmes à composants logiciels hiérarchiques

Le logiciel est devenu, de nos jours, un élément central et omniprésent dans des domaines aussi variés que l’économie, l’industrie, le domaine médical, l’automobile ou encore l’administration. Il ne représente plus seulement la part technique et marginale des systèmes, mais...

Introduction aux systèmes embarqués et flot de conception

L'évolution des technologies informatiques au cours des dernières années a entraîné des modifications radicales dans la conception des applications. Les nouveaux réseaux de télécommunication rapides et à large bande passante (RNIS, ATM, High Performance Ethernet) ont permis le regroupement des...

Rapport évaluation de la fiabilité des systèmes temps réel distribués embarqués

Télécharger mémoire évaluation de la fiabilité des systèmes temps réel distribués embarqués, tutoriel & rapport pdf. Résumé sur algorithme d’ordonnancement bi-critères Introduction générale Les logiciels embarqués prennent une part croissante dans la gestion de nombreux systèmes en contrôlant de plus...

Contrôle d’exécution dans une architecture hiérarchisée pour systèmes autonomes

Contrôle d’exécution dans une architecture hiérarchisée pour systèmes autonomes Les systèmes autonomes   Qu’est-ce qu’un système autonome ?  Un système autonome peut être vu comme une entité agissant dans un environnement fortement variable avec une intervention humaine réduite. Dans cette définition,...

Algorithme hybride pour la génération de scénarios redoutés

Fiabilité dynamique Un système embarqué combine généralement plusieurs technologies : hydraulique, mécanique, électrique, et électronique. Il présente également des aspects continus et événementiels qui lui donnent un caractère hybride. La dynamique continue représente la partie énergétique du système et la...

Contribution à la Gestion de la Coévolution des Modèles et des Métamodèles

Ingénierie dirigée par les modèles (IDM) Due aux progrès technologique, les systèmes logiciels sont devenus de plus en plus complexes. Le développement classique basé sur le code ne parvient pas à faire face à la complexité croissante menant à de...

Complexité grandissante des développements de systèmes d’information

Télécharger le fichier original (Mémoire de fin d'études) Contexte La contribution de cette thèse vise à résoudre deux problèmes majeurs pour le déve-loppement logiciel de systèmes adaptatifs : l’hétérogénéité des plates-formes d’exécution et l’utilisation des ressources de calcul distribuées. Ces...

Les approches de développement basées sur les modèles

Télécharger le fichier original (Mémoire de fin d'études) Contexte et état de l’art Ce chapitre détaille le contexte des travaux présentés dans ce document. L’objectif de cette thèse est de proposer des techniques pour améliorer la qualité des processus de...