Využití funkční verifikace pro ověřování metodik pro zajištění odolnosti proti poruchám

Náplní tohoto článku je představení práce zabývající se aplikací funkční verifikace pro testování metodik pro zajištění odolnosti proti poruchám v systémech založených na FPGA. Je zde představena problematika obvodů FPGA, vlivu poruch a možnosti jejich eliminace. Na základě těchto poznatků jsou formulovány cíle práce a návrh jejich dosažení. Uveden je také přehled dosažených výsledků při řešení této práce. Mezi ně patří experimentální elektromechanický systém, první verze platformy pro testování metodik pro zajištění odolnosti  proti  poruchám a zejména verifikační prostředí pro procesor běžící na FPGA, který bude tvořit jádro dalšího experimentálního  systému. Dosavadní výzkumná práce je shrnuta v časopise Microprocessors and Microsystems.

The paper presents new use case od functional verification. There is presented the use od functional verification for testing fault tolerance metodologies.