A design and verification methodology for networked embedded systems

Oggigiorno i Sistemi Dedicati di Rete (Networked Embeddedd Systems – NES) sono una tecnologia pervasiva. Il loro utilizzo comprende applicazioni per il monitoraggio, per l’automazione delle case, e per compiti in ambienti critici. La loro crescente complessità richiede nuove metodologie per poter effettuare efficientemente le fasi di progettazione e verifica. 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.

Nowadays, Networked Embedded Systems (NES’s) are a pervasive technology. Their use ranges from communication, to home automation, to safety critical fields. Their increasing complexity requires new methodologies for efficient design and verification phases. This work presents a generic design flow for NES’s, supported by the implementation of tools for its application. The design flow exploits the SystemC language, and considers the network as a design space dimension. Some extensions to the base methodology have been performed to consider the presence of a middleware as well as dependability requirements. Translation tools have been implemented to allow the adoption of the proposed methodology with designs written in other HW description languages.