2020-10-06 08:16 |
A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)
/ Ceesay-Seitz, Katharina (CERN) ; Boukabache, Hamza (CERN) ; Perrin, Daniel (CERN)
Electronic systems that are related to human safety need to comply to strict international standards such as the IEC 61508. We present a functional verification methodology for highly parametrizable, continuously operating, safety-critical real-time systems implemented in FPGAs. [...]
2020
Fulltext (Preprint): PDF;
In : SAFECOMP 2020: Computer Safety, Reliability, and Security, Lisbon, Portugal, 15 - 18 Sep 2020, pp.67-81
|
Registre complet - Registres semblants
|
2020-09-11 10:34 |
Full text
Registre complet - Registres semblants
|
2020-03-12 09:05 |
Registre complet - Registres semblants
|
|
|