Titolo: Implementazione prototipale di un sistema di traduzione da specifica SRF di macchine a stati a C

Scadenza: 20/03/2025

Struttura: Segreteria amministrativa Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche

Descrizione: L?attivita prevista prevede lo studio e la realizzazione di un prototipo di un sistema di traduzione da SRF a C tramitecomplessiva di progetto strumenti Linux Flex e Bison. In particolare saranno analizzate le caratteristiche della sintassi SRF necessaria per specificare il comportamento di macchine a stati indipendenti e interconnesse secondo gli schemi tipici di uso in RFI. Quindi si prevede la effettiva realizzazione del prototipo di traduttore e la verifica di capacita di traduzione e interazione di macchine a stati ispirate agli elementi utilizzati nel contesto RFI di produzione. Verra infine analizzata la possibilita di generare codice con i dovuti sistemi di aggancio all?ambiente di esecuzione SIL4 di RFI (es.: AGGM per l?accesso alla memoria effettiva)

Durata: 0 mesi 30 giorni

Allegati:

• Avviso n. 7
  
• Scheda Avviso n. 7
  
• richiesta partecipazione selezione
  
• Nomina Commissione Avviso n. 7