AR100272A1 - Método para realizar cálculos libres de fallos - Google Patents
Método para realizar cálculos libres de fallosInfo
- Publication number
- AR100272A1 AR100272A1 ARP150101340A ARP150101340A AR100272A1 AR 100272 A1 AR100272 A1 AR 100272A1 AR P150101340 A ARP150101340 A AR P150101340A AR P150101340 A ARP150101340 A AR P150101340A AR 100272 A1 AR100272 A1 AR 100272A1
- Authority
- AR
- Argentina
- Prior art keywords
- result
- calculation
- generate
- free
- scalar
- Prior art date
Links
- 238000000034 method Methods 0.000 title abstract 4
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)
- Stored Programmes (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
Se proporcionan un método y dispositivo para realizar cómputos libres de fallos, y un método para compilar código a fin de realizar un cómputo libre de fallos. El método incluye realizar un primer cálculo (212) para generar un primer resultado (214). Un segundo cálculo (218) se realiza usando un escalar (216) y el primer calculo (212) para generar un segundo resultado (220). El segundo cálculo (218) incluye multiplicar el primer cálculo (212) por el escalar (216) para generar un resultado escalado, y dividir el resultado escalado por el escalar (216) para generar el segundo resultado (220). El primer resultado (214) y el segundo resultado (220) se comparan para determinar si son equivalentes.
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 (1)
Publication Number | Publication Date |
---|---|
AR100272A1 true AR100272A1 (es) | 2016-09-21 |
Family
ID=50933525
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
ARP150101340A AR100272A1 (es) | 2014-05-08 | 2015-05-04 | Método para realizar cálculos libres de fallos |
Country Status (13)
Country | Link |
---|---|
US (1) | US10248514B2 (es) |
EP (1) | EP3140742B1 (es) |
JP (1) | JP6419215B2 (es) |
KR (1) | KR101983125B1 (es) |
CN (1) | CN106462482B (es) |
AR (1) | AR100272A1 (es) |
AU (1) | AU2014393412B2 (es) |
BR (1) | BR112016025201B1 (es) |
CA (1) | CA2948136C (es) |
MX (1) | MX2016013538A (es) |
RU (1) | RU2659732C2 (es) |
SG (1) | SG11201608536QA (es) |
WO (1) | WO2015171152A1 (es) |
Families Citing this family (2)
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)
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 | プロセッサの動作を検証する動作検証方法及び動作検証プログラム |
CN101366232B (zh) * | 2005-11-03 | 2012-05-16 | 塞尔蒂卡姆公司 | 同步标量乘法算法 |
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 |
US8793533B2 (en) * | 2010-08-03 | 2014-07-29 | Siemens Aktiengesellschaft | Method and device for performing failsafe hardware-independent floating-point arithmetic |
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 |
-
2014
- 2014-05-08 US US15/302,777 patent/US10248514B2/en active Active
- 2014-05-08 AU AU2014393412A patent/AU2014393412B2/en active Active
- 2014-05-08 CN CN201480078697.2A patent/CN106462482B/zh active Active
- 2014-05-08 MX MX2016013538A patent/MX2016013538A/es unknown
- 2014-05-08 WO PCT/US2014/037343 patent/WO2015171152A1/en active Application Filing
- 2014-05-08 BR BR112016025201-2A patent/BR112016025201B1/pt active IP Right Grant
- 2014-05-08 SG SG11201608536QA patent/SG11201608536QA/en unknown
- 2014-05-08 RU RU2016146739A patent/RU2659732C2/ru active
- 2014-05-08 EP EP14729802.0A patent/EP3140742B1/en active Active
- 2014-05-08 CA CA2948136A patent/CA2948136C/en active Active
- 2014-05-08 KR KR1020167032998A patent/KR101983125B1/ko active IP Right Grant
- 2014-05-08 JP JP2016566985A patent/JP6419215B2/ja active Active
-
2015
- 2015-05-04 AR ARP150101340A patent/AR100272A1/es active IP Right Grant
Also Published As
Publication number | Publication date |
---|---|
US20170031786A1 (en) | 2017-02-02 |
BR112016025201A2 (pt) | 2018-06-19 |
US10248514B2 (en) | 2019-04-02 |
CN106462482B (zh) | 2020-04-14 |
MX2016013538A (es) | 2017-01-13 |
CN106462482A (zh) | 2017-02-22 |
EP3140742A1 (en) | 2017-03-15 |
RU2659732C2 (ru) | 2018-07-03 |
AU2014393412B2 (en) | 2018-04-19 |
JP6419215B2 (ja) | 2018-11-07 |
BR112016025201B1 (pt) | 2022-08-23 |
AU2014393412A1 (en) | 2016-11-03 |
EP3140742B1 (en) | 2019-01-02 |
WO2015171152A1 (en) | 2015-11-12 |
KR20170002481A (ko) | 2017-01-06 |
RU2016146739A (ru) | 2018-06-08 |
RU2016146739A3 (es) | 2018-06-08 |
JP2017515243A (ja) | 2017-06-08 |
KR101983125B1 (ko) | 2019-05-28 |
CA2948136C (en) | 2021-04-06 |
SG11201608536QA (en) | 2016-11-29 |
CA2948136A1 (en) | 2015-11-12 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
DK3564830T3 (da) | Transponering i en matrix-vektor-processor. | |
SG11202007109QA (en) | Generating natural language recommendations based on an industrial language model | |
GB201715905D0 (en) | Virtual assistant generation or group recommendations | |
DK3937119T3 (da) | Ufuldstændig beregningsmekanisme til maskinindlæring | |
GB2545607A (en) | Apparatus and method for vector processing with selective rounding mode | |
DK3364291T3 (da) | Permutation i en matrix-vektor-processor | |
DK3320091T3 (da) | Guide-rna-samlingsvektor | |
DK3573877T3 (da) | Løbeværk | |
MA42272A (fr) | Thérapie faisant intervenir des récepteurs antigéniques chimériques de point de contrôle immunitaire | |
GB2513787A (en) | Multi-Threaded processor instruction balancing through instruction uncertainty | |
CL2019000199A1 (es) | Método electroquímico de generación de amoniaco. | |
BR112017004299A2 (pt) | dispositivo e método de processamento de informação, e, programa. | |
TR201908290T4 (tr) | Bir veri tabanında bir dizin yapısının sağlanması yöntemi. | |
TW201614482A (en) | Flexible instruction execution in a processor pipeline | |
GB2554287A (en) | Animating a virtual object in a virtual world | |
TR201909303T4 (tr) | Su giriş kontrolü. | |
AR100272A1 (es) | Método para realizar cálculos libres de fallos | |
Baumann | Cost-to-Capacity method: Applications and considerations | |
TW201614530A (en) | Method for modeling a photoresist profile | |
AR097224A1 (es) | Conjunto de dispositivos para formar ojales en eslingas | |
DK3563779T3 (da) | Dysfonibehandlingsværktøj | |
FR3057369B1 (fr) | Procede de traitement cryptographique comprenant une multiplication d'un point d'une courbe elliptique par un scalaire | |
IT201600096720A1 (it) | Dispositivo e metodo di analisi dell'odorizzazione di un gas. | |
DK201400348A1 (en) | A Method of Ray Tracing for use in a Simulation or Calculation Process | |
TR201904271T4 (tr) | Bir umblikal damara bir port takılmasına ve bunun muhafaza edilmesine yönelik cihaz. |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
FG | Grant, registration |