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

Dmitry Burlyaev; Pascal Fradet; Alain Girault

doi:10.4230/LITES-v005-i001-a004

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Journal articles

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

Dmitry Burlyaev ¹ Pascal Fradet ¹ Alain Girault ¹

1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems

Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble

Dmitry Burlyaev ¹ AuthorId : 952743

Author Employer institution : Université Joseph Fourier - Grenoble 1

Pascal Fradet ¹ AuthorId : 65988

Author Employer institution : Institut National de Recherche en Informatique et en Automatique

Alain Girault ¹ AuthorId : 868135
Author Employer institution : Institut National de Recherche en Informatique et en Automatique

1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems (Centre de Recherche Inria 655, avenue de l'Europe 38334 Saint Ismier Cedex - France) StructId : 1042446

Inria Grenoble - Rhône-Alpes (Inovallée 655 avenue de l'Europe 38330 Montbonnot - France) StructId : 2497
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
LIG - Laboratoire d'Informatique de Grenoble (UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 Tél. : 04 57 42 14 00 - France) StructId : 1041964
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 89889
- CNRS - Centre National de la Recherche Scientifique : UMR5217 (France) StructId : 441569
- UGA [2016-2019] - Université Grenoble Alpes [2016-2019] (CS 40700 - 38058 Grenoble cedex - France) StructId : 445543

Document type :

Journal articles

Domain :

Computer Science [cs] / Programming Languages [cs.PL]

Computer Science [cs] / Hardware Architecture [cs.AR]

Complete list of metadatas

https://hal.inria.fr/hal-02065630
Contributor : Pascal Fradet <>
Submitted on : Tuesday, March 12, 2019 - 6:50:54 PM
Last modification on : Friday, November 20, 2020 - 9:24:05 AM

Identifiers

HAL Id : hal-02065630, version 1
DOI : 10.4230/LITES-v005-i001-a004

Collections

CNRS | INRIA | LIG | LIG-MFML-SPADES | UGA

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⟩

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

Identifiers

Collections

Citation

Export

Metrics

47

Contact Legal Notice Personal Data

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

Identifiers

Collections

Citation

Export

Share

Metrics

47

Contact Legal Notice Personal Data