[go: up one dir, main page]

SG11201608536QA - Method for performing failsafe calculations - Google Patents

Method for performing failsafe calculations

Info

Publication number
SG11201608536QA
SG11201608536QA SG11201608536QA SG11201608536QA SG11201608536QA SG 11201608536Q A SG11201608536Q A SG 11201608536QA SG 11201608536Q A SG11201608536Q A SG 11201608536QA SG 11201608536Q A SG11201608536Q A SG 11201608536QA SG 11201608536Q A SG11201608536Q A SG 11201608536QA
Authority
SG
Singapore
Prior art keywords
calculations
performing failsafe
failsafe calculations
failsafe
Prior art date
Application number
SG11201608536QA
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 SG11201608536QA publication Critical patent/SG11201608536QA/en

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)
  • Stored Programmes (AREA)
  • Devices For Executing Special Programs (AREA)
  • Detection And Correction Of Errors (AREA)
SG11201608536QA 2014-05-08 2014-05-08 Method for performing failsafe calculations SG11201608536QA (en)

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
SG11201608536QA true SG11201608536QA (en) 2016-11-29

Family

ID=50933525

Family Applications (1)

Application Number Title Priority Date Filing Date
SG11201608536QA SG11201608536QA (en) 2014-05-08 2014-05-08 Method for performing failsafe calculations

Country Status (13)

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

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE102017208484A1 (en) * 2017-05-19 2018-11-22 Robert Bosch Gmbh Method and device for detecting hardware errors in microprocessors
EP3629177B1 (en) * 2018-09-28 2021-09-01 Sick Ag Method for checking an operation of an electronic data processing means

Family Cites Families (18)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2739994B1 (en) * 1995-10-17 1997-11-14 Henri Gilbert CRYPTOGRAPHIC PROTECTION AGAINST FRAUD
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 (en) 2005-03-09 2006-09-21 Hewlett-Packard Development Co Lp Variable delay instruction for implementation of temporal redundancy
US7661228B1 (en) 2005-05-06 2010-02-16 Kontek Industries, Inc. Armored building modules and panels
JP2007047893A (en) * 2005-08-08 2007-02-22 Fujitsu Ltd Operation verification method and operation verification program for verifying operation of processor
CA2626847A1 (en) * 2005-11-03 2007-05-10 Certicom Corporation Simultaneous scalar multiplication method
US8595279B2 (en) * 2006-02-27 2013-11-26 Qualcomm Incorporated Floating-point processor with reduced power requirements for selectable subprecision
KR100887327B1 (en) * 2006-08-25 2009-03-05 엠텍비젼 주식회사 How to perform fast floating point operations for varying precisions, programming structures, and recording media
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 (en) * 2009-06-29 2014-02-05 富士通株式会社 Arithmetic circuit, arithmetic processing device, and arithmetic processing method
DE102010013349B4 (en) * 2010-03-30 2013-06-13 Eads Deutschland Gmbh Computer system and method for comparing output signals
EP2441003B1 (en) * 2010-08-03 2015-07-29 Siemens Aktiengesellschaft Floating point arithmetic with error recognition
RU2455681C1 (en) * 2010-12-09 2012-07-10 Федеральное государственное унитарное предприятие научно-исследовательский институт "Субмикрон" Fault-tolerant computing system with hardware-programmed function of fault-tolerance and dynamic reconfiguration
FR2968855B1 (en) * 2010-12-14 2012-12-07 Schneider Electric Ind Sas METHOD AND DEVICE FOR MONITORING A DEVICE EQUIPPED WITH A MICROPROCESSOR
US9063851B2 (en) * 2012-11-07 2015-06-23 Infineon Technologies Ag Fail safe code functionality
FR3047373B1 (en) * 2016-01-28 2018-01-05 Morpho SECURE MULTIPARTITE CALCULATION METHOD PROTECTED AGAINST A MALICIOUS PART

Also Published As

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

Similar Documents

Publication Publication Date Title
GB201417712D0 (en) Method
GB201406151D0 (en) Method
GB201409558D0 (en) Method
GB201418159D0 (en) Method
GB201406155D0 (en) Method
GB201408119D0 (en) Method
GB201414496D0 (en) Method
GB201413240D0 (en) Method
GB201417042D0 (en) Method
GB201403470D0 (en) Method
GB201410022D0 (en) Method
GB201410101D0 (en) Method
GB201411500D0 (en) Method
GB201416675D0 (en) Method
GB201412802D0 (en) Method
GB201409128D0 (en) Method
SG11201608536QA (en) Method for performing failsafe calculations
GB201416849D0 (en) Method
GB201414181D0 (en) Method
GB201412736D0 (en) Method
GB201412226D0 (en) Method
GB201409234D0 (en) Method
GB201409101D0 (en) Method
GB201413929D0 (en) Method
GB201413612D0 (en) Method