A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits

Dmitry Burlyaev 1 Pascal Fradet 1 Alain Girault 1
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Document type :
Journal articles
Liste complète des métadonnées
https://hal.inria.fr/hal-02065630
Contributor : Pascal Fradet <>
Submitted on : Tuesday, March 12, 2019 - 6:50:54 PM
Last modification on : Tuesday, April 2, 2019 - 2:23:29 AM

Identifiers

Collections

INRIA | UGA | LIG | LIG-MFML-SPADES

Citation

Dmitry Burlyaev, Pascal Fradet, Alain Girault. A Static Analysis for the Minimization of Voters in Fault-Tolerant Circuits. Leibniz Transactions on Embedded Systems, European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing., 2018, 5 (1), pp.1-26. ⟨10.4230/LITES-v005-i001-a004⟩. ⟨hal-02065630⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

19

Contact


archive-ouverte@inria.fr