Verticale
Verticale

A design and verification methodology for networked embedded systems

Questo lavoro presenta un flusso di sviluppo generico per NES, supportato dall’implementazione di programmi per la loro applicazione. Il flusso di sviluppo sfrutta il linguaggio SystemC, e considera la rete come una dimensione dello spazio di progetto. La metodologia di base comprende estensioni per considerare anche i casi in cui il NES sia implementato usando un middleware o in cui siano presenti dei requisiti di affidabilità. Inoltre, sono stati implementati dei programmmi di traduzione per consentire l’adozione della metodologia proposta con design scritti in altri linguaggi per la descrizione dell'hardware.

Scarica il PDF Scarica il PDF
Aggiungi ai preferiti Aggiungi ai preferiti


Articoli tecnico scientifici o articoli contenenti case history
Dottorato, Università degli Studi di Verona, 2011




Settori: 


Parole chiave: 


© Eiom - All rights Reserved     P.IVA 00850640186