- Nouveau
La Modélisation Architecturale au Service des Systèmes TR2E
Contributions à la Configuration Dynamique, la Tolérance aux Pannes, l’Optimisation et la Vérification Formelle
Dans ce mémoire d’habilitation universitaire, nous décrivons les principales contributions de nos activités de recherche.
Ces activités s’inscrivent dans la thématique des architectures logicielles dans un contexte temps réel réparti embarqué (TR2E).
Quatre contributions principales sont décrites : la reconfiguration dynamique, la tolérance aux pannes, l’optimisation multi-objectifs et enfin la vérification formelle des systèmes TR2E.
Toutes ces contributions se fondent sur les langages de description d’architectures (ADLs) comme pilier principal de modélisation, et ce, en raison du pouvoir d’expression très puissant de ces derniers, ce qui permet de décrire l’architecture globale d’un système avant d’utiliser des techniques de transformation de modèles et de génération de code pour réaliser les différentes actions relatives à chacune des contributions.
Nous utilisons intensivement ces techniques afin de maximiser l’automatisation et réduire la quantité de code écrit à la main par le développeur.
Bechir Zalila est Maitre Assistant Universitaire à l'Ecole Nationale d'Ingénieurs de Sfax (Université de Sfax, Tunisie) depuis 2011.
Il a soutenu son Habilitation Universitaire le 28 mai 2022.Ses activités d'enseignement et de recherche s'inscrivent dans la thématique des systèmes temps réel répartis appliqués aux systèmes embarqués.
Fiche technique
- Auteur
- BECHIR ZALILA
- Langue
- Français
- Éditeur
- Éditions universitaires européennes
- Année
- 2022
- Pages
- 120
- Pays
- Tunisie
30 autres produits dans la même catégorie :
Voir toutLe Web Sémantique et l'Ontologie GOODRELATIONS en Commerce connecté
- Nouveau
Etude comparative des performances des méthodes ensemblistes
- Nouveau
Informatique : Un mot sur la maintenance en milieu d’entreprise
- Nouveau
La Mise en Place D'une Application Informatique Intelligente
- Nouveau
L’informatique en 4ème année Commerciale de Gestion :
- Nouveau
Adaptation des IHM en fonction des sentiments des utilisateurs
- Nouveau
Intelligence Economique et Stratégie de l’operateur de téléphonie mobile ORANGE CI
- Nouveau
Génération automatique de service web depuis ReLEL selon la méthodologie Praxeme
- Nouveau
Conception et réalisation d’un système de recommandation
- Nouveau
Analyse des sentiments sur les avis des clients dans le E-Commerce
- Nouveau
Manuel de Modélisation Stochastique : Formalismes & Applications
- Nouveau
La reconnaissance d’objets 3D basée sur l’apprentissage artificiel
- Nouveau
Mise en place d'une base de données pour les inscriptions des écoliers
- Nouveau
Etude de faisabilité de la mise en place du Data center à l'U.KA.
- Nouveau
Quel Avenir Pour Les Systèmes d'Information De Gestion Traditionnels ?
- Nouveau