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.