A design and verification methodology for networked embedded systems
Francesco Stefanni - Università di Verona - EDALab, 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.
Fonte: Dottorato, Università degli Studi di Verona, 2011
Parole chiave: Embedded
- Contradata Milano
- Alessandro Damian
- Contradata Milano
- Wika Italia S.r.l. & C.
- Contradata Milano