Bechir Zalila

Modellazione architettonica per sistemi TR2E

Contributi alla configurazione dinamica, alla tolleranza ai guasti, all'ottimizzazione e alla verifica formale

• Broschiertes Buch

Produktbeschreibung

In questa tesi descriviamo i principali contributi delle nostre attività di ricerca. Queste attività fanno parte del tema delle architetture software in un contesto embedded distribuito in tempo reale (TR2E). Vengono descritti quattro contributi principali: la riconfigurazione dinamica, la tolleranza ai guasti, l'ottimizzazione multi-obiettivo e la verifica formale dei sistemi TR2E. Tutti questi contributi si basano sui linguaggi di descrizione dell'architettura (ADL) come pilastro principale della modellazione, grazie alla loro potente capacità di espressione, che consente di descrivere l'architettura complessiva di un sistema prima di utilizzare tecniche di trasformazione del modello e di generazione del codice per eseguire le varie azioni relative a ciascuno dei contributi. Facciamo ampio uso di queste tecniche per massimizzare l'automazione e ridurre la quantità di codice scritto a mano dallo sviluppatore.

Produktdetails

• Verlag: Edizioni Sapienza
• Seitenzahl: 88
• Erscheinungstermin: 22. Februar 2024
• Italienisch
• Abmessung: 220mm x 150mm x 6mm
• Gewicht: 149g
• ISBN-13: 9786207187782
• ISBN-10: 6207187784
• Artikelnr.: 70025860

Autorenporträt

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.