Modellazione architettonica per sistemi TR2E [Italian]

by Bechir Zalila

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

• Format: Paperback
• Language: Italian
• ISBN: 6207187784
• ISBN13: 9786207187782
• Release Date: February 2024
• Publisher: Edizioni Sapienza
• Length: 88 Pages
• Weight: 0.31 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"