linee di produzione, ponti elevatori, turbine sono solo alcuni
esempi delle apparecchiature e installazioni industriali dove
è richiesta elevata affidabilità. Per semplificare lo sviluppo di
applicazioni compatibili con la normativa Xilinx ha messo a
punto una metodologia di progetto e la relativa tool-chain
(figura 6) che è stata certificata dal TUV SUD. La metodologia
prevede il partizionamento dei diversi moduli logici imple-
mentati nella Fpga in regioni fisicamente isolate; l’adozione
di architetture ridondate e schemi di mitigazione consente
il contenimento della propagazione dei malfunzionamenti,
quindi il controllo dei modi di guasto del
sistema. Inoltre, i diversi macroblocchi,
corrispondenti ad altrettante regioni fi-
siche isolate della Fpga, si possono mo-
dificare e verificare indipendentemente,
senza che questo richieda la rivalidazione
a livello sistema dell’intera architettura. Il
flusso di progetto è basata sulla tool-chain
tradizionale, che è stata estesa introducen-
dovi il package IVT (Isolation Verification
Tool). Questo consente la verifica di regole
predefinite (Desing Rule Check) in fase di
floor-planning e il rispetto dei constraint
imposti al termine della programmazione
del dispositivo.
(*) Riferimenti:
smarter-vision/index.htm,
Fig. 6 - Xilinx mette a disposizione un flusso di progetto certificato per
applicazioni IEC 61508
