[go: up one dir, main page]

BR112016025201A2 - método para realizar cálculos á prova de falhas, dispositivo para realizar cálculos á prova de falhas para operar um hardware, e, método para compilar um código para operar um hardware em um modo á prova de falhas - Google Patents

método para realizar cálculos á prova de falhas, dispositivo para realizar cálculos á prova de falhas para operar um hardware, e, método para compilar um código para operar um hardware em um modo á prova de falhas

Info

Publication number
BR112016025201A2
BR112016025201A2 BR112016025201A BR112016025201A BR112016025201A2 BR 112016025201 A2 BR112016025201 A2 BR 112016025201A2 BR 112016025201 A BR112016025201 A BR 112016025201A BR 112016025201 A BR112016025201 A BR 112016025201A BR 112016025201 A2 BR112016025201 A2 BR 112016025201A2
Authority
BR
Brazil
Prior art keywords
fail
safe
calculations
operating hardware
performing fail
Prior art date
Application number
BR112016025201A
Other languages
English (en)
Other versions
BR112016025201B1 (pt
Inventor
Paul J Hays
Dawn Kelsch
Original Assignee
Micro Motion Inc
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Micro Motion Inc filed Critical Micro Motion Inc
Publication of BR112016025201A2 publication Critical patent/BR112016025201A2/pt
Publication of BR112016025201B1 publication Critical patent/BR112016025201B1/pt

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/14—Error detection or correction of the data by redundancy in operation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/14—Error detection or correction of the data by redundancy in operation
    • G06F11/1479—Generic software techniques for error detection or fault masking
    • G06F11/1492—Generic software techniques for error detection or fault masking by run-time replication performed by the application software
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0796—Safety measures, i.e. ensuring safe condition in the event of error, e.g. for controlling element
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/14—Error detection or correction of the data by redundancy in operation
    • G06F11/1479—Generic software techniques for error detection or fault masking
    • G06F11/1487—Generic software techniques for error detection or fault masking using N-version programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/14—Error detection or correction of the data by redundancy in operation
    • G06F11/1497—Details of time redundant execution on a single processing unit
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G06F2201/805—Real-time
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G06F2201/865—Monitoring of software

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Quality & Reliability (AREA)
  • Software Systems (AREA)
  • Hardware Redundancy (AREA)
  • Retry When Errors Occur (AREA)
  • Detection And Correction Of Errors (AREA)
  • Devices For Executing Special Programs (AREA)
  • Stored Programmes (AREA)
BR112016025201-2A 2014-05-08 2014-05-08 Método para realizar cálculos à prova de falhas, dispositivo para realizar cálculos à prova de falhas para operar um hardware, e, método para compilar um código para operar um hardware em um modo à prova de falhas BR112016025201B1 (pt)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/US2014/037343 WO2015171152A1 (en) 2014-05-08 2014-05-08 Method for performing failsafe calculations

Publications (2)

Publication Number Publication Date
BR112016025201A2 true BR112016025201A2 (pt) 2018-06-19
BR112016025201B1 BR112016025201B1 (pt) 2022-08-23

Family

ID=50933525

Family Applications (1)

Application Number Title Priority Date Filing Date
BR112016025201-2A BR112016025201B1 (pt) 2014-05-08 2014-05-08 Método para realizar cálculos à prova de falhas, dispositivo para realizar cálculos à prova de falhas para operar um hardware, e, método para compilar um código para operar um hardware em um modo à prova de falhas

Country Status (13)

Country Link
US (1) US10248514B2 (pt)
EP (1) EP3140742B1 (pt)
JP (1) JP6419215B2 (pt)
KR (1) KR101983125B1 (pt)
CN (1) CN106462482B (pt)
AR (1) AR100272A1 (pt)
AU (1) AU2014393412B2 (pt)
BR (1) BR112016025201B1 (pt)
CA (1) CA2948136C (pt)
MX (1) MX387549B (pt)
RU (1) RU2659732C2 (pt)
SG (1) SG11201608536QA (pt)
WO (1) WO2015171152A1 (pt)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE102017208484A1 (de) * 2017-05-19 2018-11-22 Robert Bosch Gmbh Verfahren und Vorrichtung zur Erkennung von Hardwarefehlern in Mikroprozessoren
EP3629177B1 (de) * 2018-09-28 2021-09-01 Sick Ag Verfahren zum überprüfen eines betriebs eines elektronischen datenverarbeitungsmittels

Family Cites Families (18)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2739994B1 (fr) * 1995-10-17 1997-11-14 Henri Gilbert Procede cryptographique de protection contre la fraude
US7584405B2 (en) * 2003-12-03 2009-09-01 Hewlett-Packard Development Company, L.P. Fault-detecting computer system
US7290024B2 (en) * 2003-12-18 2007-10-30 Intel Corporation Methods and apparatus for performing mathematical operations using scaled integers
JP2006252548A (ja) * 2005-03-09 2006-09-21 Hewlett-Packard Development Co Lp 時間的冗長性を実施するための可変遅延命令
US7661228B1 (en) 2005-05-06 2010-02-16 Kontek Industries, Inc. Armored building modules and panels
JP2007047893A (ja) * 2005-08-08 2007-02-22 Fujitsu Ltd プロセッサの動作を検証する動作検証方法及び動作検証プログラム
JP5073669B2 (ja) * 2005-11-03 2012-11-14 サーティコム コーポレーション 同時スカラー乗算方法
US8595279B2 (en) * 2006-02-27 2013-11-26 Qualcomm Incorporated Floating-point processor with reduced power requirements for selectable subprecision
KR100887327B1 (ko) * 2006-08-25 2009-03-05 엠텍비젼 주식회사 다양한 정밀도에 대한 고속 부동 소수점 연산을 수행하는방법, 프로그래밍 구조 및 기록 매체
US8370822B2 (en) * 2008-11-20 2013-02-05 Apple Inc. Compiling techniques for providing limited accuracy and enhanced performance granularity
US8539451B2 (en) * 2009-05-12 2013-09-17 Nec Laboratories America, Inc. Systems and methods for model checking the precision of programs employing floating-point operations
JP5407589B2 (ja) * 2009-06-29 2014-02-05 富士通株式会社 演算回路および演算処理装置ならびに演算処理方法
DE102010013349B4 (de) * 2010-03-30 2013-06-13 Eads Deutschland Gmbh Computersystem und Verfahren zum Vergleichen von Ausgangssignalen
CN102713857B (zh) * 2010-08-03 2014-11-26 西门子公司 用于进行故障安全型硬件无关浮点运算的方法和装置
RU2455681C1 (ru) * 2010-12-09 2012-07-10 Федеральное государственное унитарное предприятие научно-исследовательский институт "Субмикрон" Отказоустойчивая вычислительная система с аппаратно-программной реализацией функций отказоустойчивости и динамической реконфигурации
FR2968855B1 (fr) * 2010-12-14 2012-12-07 Schneider Electric Ind Sas Procede et dispositif de surveillance d'un dispositif equipe d'un microprocesseur
US9063851B2 (en) * 2012-11-07 2015-06-23 Infineon Technologies Ag Fail safe code functionality
FR3047373B1 (fr) * 2016-01-28 2018-01-05 Morpho Procede de calcul securise multipartite protege contre une partie malveillante

Also Published As

Publication number Publication date
EP3140742A1 (en) 2017-03-15
EP3140742B1 (en) 2019-01-02
JP6419215B2 (ja) 2018-11-07
WO2015171152A1 (en) 2015-11-12
CN106462482A (zh) 2017-02-22
KR101983125B1 (ko) 2019-05-28
RU2016146739A3 (pt) 2018-06-08
CA2948136A1 (en) 2015-11-12
CA2948136C (en) 2021-04-06
AU2014393412B2 (en) 2018-04-19
RU2016146739A (ru) 2018-06-08
SG11201608536QA (en) 2016-11-29
MX387549B (es) 2025-03-18
US10248514B2 (en) 2019-04-02
KR20170002481A (ko) 2017-01-06
RU2659732C2 (ru) 2018-07-03
CN106462482B (zh) 2020-04-14
MX2016013538A (es) 2017-01-13
US20170031786A1 (en) 2017-02-02
JP2017515243A (ja) 2017-06-08
BR112016025201B1 (pt) 2022-08-23
AR100272A1 (es) 2016-09-21
AU2014393412A1 (en) 2016-11-03

Similar Documents

Publication Publication Date Title
EP3376455A4 (en) BLOCK CHAIN GENERATING DEVICE, BLOCK CHAIN GENERATING METHOD, BLOCK CHAIN CHECKING DEVICE, BLOCK CHAIN CHECKING METHOD, AND PROGRAM
DK3350392T3 (da) En smartlås, system og fremgangsmåde
BR112015015147A2 (pt) método para realizar uma operação de estimulação em uma locação de poço, e método para realizar uma operação de estimulação numa locação de poço
BR112016010810A2 (pt) Método, e, aparelho para esterilização de uma pré-forma
PL3139979T3 (pl) Jednostka, nebulizator i sposób
DK3285782T3 (da) Fremgangsmåder til vævsreparation og -regenerering
GB201510610D0 (en) Method, device, and computer program
BR112015003847A2 (pt) dispositivo flexível, e método para operar um dispositivo flexível
BR112015007494A2 (pt) aparelho para tratamento dentário.
BR112014030936A2 (pt) aparelho , e método para processar um fluido.
BR112016026939A2 (pt) aparelho e método.
DK2963284T3 (da) Fremgangsmåder og systemer til at drive et vindmøllesystem
BR112014032838A2 (pt) método , e aparelho.
FI20170083A7 (fi) Redundanssi prosessinohjausjärjestelmässä
DK3169228T3 (da) Anordning og fremgangsmåde, der er egnede til monitorering af arterieblod i kropsdel
PT2901903T (pt) Método para operar um robô de cozinha e robô de cozinha
BR112015019224A2 (pt) aparelho, e método
PL3386655T3 (pl) Sposób przetwarzania odpadów
BR112016027230A2 (pt) método e aparelho para a recuperação de enxofre
DE112014002979T8 (de) Entwicklungswerkzeug, Programmänderungsgerät und Programmänderungssystem
SG11201605765YA (en) Operation plan generation device, control device, operation plan generation method, and program
DK3191587T3 (da) Cellobiohydrolasevarianter og polynukleotider, som koder for dem
BR112015026472A2 (pt) dispositivo de golpear, e método para operar um dispositivo de golpear
BR112015019449A2 (pt) sistemas, aparelhos e métodos para a dissecção de tecidos
DK2894818T3 (da) Kontrolmetode i software-definerede netværk, styreanordning og processor

Legal Events

Date Code Title Description
B06F Objections, documents and/or translations needed after an examination request according [chapter 6.6 patent gazette]
B06U Preliminary requirement: requests with searches performed by other patent offices: procedure suspended [chapter 6.21 patent gazette]
B09A Decision: intention to grant [chapter 9.1 patent gazette]
B16A Patent or certificate of addition of invention granted [chapter 16.1 patent gazette]

Free format text: PRAZO DE VALIDADE: 20 (VINTE) ANOS CONTADOS A PARTIR DE 08/05/2014, OBSERVADAS AS CONDICOES LEGAIS