Questa tesi si focalizza sullo studio e la modellazione di un sistema di calcolo distribuito per il mondo dell’avionica. La tesi esplora le possibili soluzioni hardware per la creazione del sistema di calcolo distribuito e analizza i vantaggi e svantaggi delle possibili topologie con cui queste possono essere connesse. Nella tesi, viene esplorato nel dettaglio il funzionamento del protocollo AFDX (Avionics Full-Duplex Switched Ethernet) che, ad oggi, viene largamente utilizzato nella realizzazione delle ADN (Avionic Data Network). Il protocollo AFDX si basa sullo standard ethernet ma implementa un insieme di meccanismi e regole che rendono le comunicazioni deterministiche e resilienti ai guasti.