Modellazione architettonica per sistemi TR2E
Bechir Zalila
Broschiertes Buch

Modellazione architettonica per sistemi TR2E

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

Versandkostenfrei!
Versandfertig in 6-10 Tagen
39,99 €
inkl. MwSt.
PAYBACK Punkte
20 °P sammeln!
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'...