|
[HMST14b]
Khaza Anuarul Hoque, Otmane Ait Mohamed, Yvon Savaria and Claude Thibeault.
Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications.
In Proc. 12th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'14), pages 175-184, IEEE.
2014.
[Uses probabilistic model checking and PRISM to analyse soft-error mitigation techniques and associated dependability properties of SRAM-based FPGAs.]
|
|
Links:
[Google]
[Google Scholar]
|