Verwandte Artikel zu La Modélisation Architecturale au Service des Systèmes...

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 - Softcover

Zalila, Bechir

 
9786203441994: 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
Softcover
ISBN 10: 6203441996 ISBN 13: 9786203441994
Verlag: Éditions universitaires européennes, 2022

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Bechir Zalila es profesor ayudante universitario en la Ecole Nationale d'Ingénieurs de Sfax (Universidad de Sfax, Túnez) desde 2011. Defendió su Habilitación el 28 de mayo de 2022.Sus actividades docentes e investigadoras se centran en los sistemas distribuidos en tiempo real aplicados a los sistemas embebidos.

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Éditions universitaires européennes
Erscheinungsdatum
2022
Sprache
Französisch
ISBN 10 
6203441996
ISBN 13 
9786203441994
Einband
Taschenbuch
Anzahl der Seiten
120
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Betascript Publishing
customerservice@vdm-vsg.de

Brivibas gatve 197
Riga
1039
Lettland