La Modélisation Architecturale au Service des Systèmes TR2E

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.

Autorentext

Bechir Zalila est maître assistant en informatique à l'Ecole Nationale d'Ingénieurs de Sfax (ENIS), Tunisie. Il a enseigné la théorie des graphes pour les étudiants de la filière Génie Informatique de l'ENIS ainsi qu'aux étudiants en Master de la Faculté des Sciences Economiques et de Gestion de Sfax.

Klappentext

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.