GR3025744T3 - Method for detecting program execution errors. - Google Patents

Method for detecting program execution errors.

Info

Publication number
GR3025744T3
GR3025744T3 GR970403394T GR970403394T GR3025744T3 GR 3025744 T3 GR3025744 T3 GR 3025744T3 GR 970403394 T GR970403394 T GR 970403394T GR 970403394 T GR970403394 T GR 970403394T GR 3025744 T3 GR3025744 T3 GR 3025744T3
Authority
GR
Greece
Prior art keywords
replicas
coding
distinct
injection
result
Prior art date
Application number
GR970403394T
Other languages
English (en)
Inventor
Guillaume Bres
Francois Simon
Original Assignee
Gec Alsthom Transport Sa
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 Gec Alsthom Transport Sa filed Critical Gec Alsthom Transport Sa
Publication of GR3025744T3 publication Critical patent/GR3025744T3/el

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
    • G06F11/1479—Generic software techniques for error detection or fault masking
    • 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/08—Error detection or correction by redundancy in data representation, e.g. by using checking codes
    • G06F11/10—Adding special bits or symbols to the coded information, e.g. parity check, casting out 9's or 11's
    • G06F11/1008—Adding special bits or symbols to the coded information, e.g. parity check, casting out 9's or 11's in individual solid state devices
    • 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
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/28—Error detection; Error correction; Monitoring by checking the correct order of processing
    • 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/16—Error detection or correction of the data by redundancy in hardware
    • G06F11/18—Error detection or correction of the data by redundancy in hardware using passive fault-masking of the redundant circuits
    • 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/83—Indexing scheme relating to error detection, to error correction, and to monitoring the solution involving signatures

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Retry When Errors Occur (AREA)
GR970403394T 1992-12-31 1997-12-23 Method for detecting program execution errors. GR3025744T3 (en)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR9215989A FR2700031B1 (fr) 1992-12-31 1992-12-31 Procédé de détection des erreurs d'exécution d'un logiciel.

Publications (1)

Publication Number Publication Date
GR3025744T3 true GR3025744T3 (en) 1998-03-31

Family

ID=9437342

Family Applications (1)

Application Number Title Priority Date Filing Date
GR970403394T GR3025744T3 (en) 1992-12-31 1997-12-23 Method for detecting program execution errors.

Country Status (7)

Country Link
EP (1) EP0606803B1 (el)
AT (1) ATE158877T1 (el)
DE (1) DE69314309T2 (el)
DK (1) DK0606803T3 (el)
ES (1) ES2106305T3 (el)
FR (1) FR2700031B1 (el)
GR (1) GR3025744T3 (el)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE10063350C1 (de) * 2000-12-19 2002-07-18 Siemens Ag Verfahren zur Überwachung einer Datenverarbeitung und -übertragung
US10216521B2 (en) 2017-06-20 2019-02-26 Nvidia Corporation Error mitigation for resilient algorithms

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4964126A (en) * 1988-09-30 1990-10-16 Massachusetts Institute Of Technology Fault tolerant signal processing machine and method
EP0483437A1 (en) * 1990-10-31 1992-05-06 International Business Machines Corporation Processing system having device for testing the correct execution of instructions

Also Published As

Publication number Publication date
DE69314309D1 (de) 1997-11-06
ATE158877T1 (de) 1997-10-15
ES2106305T3 (es) 1997-11-01
DE69314309T2 (de) 1998-01-29
DK0606803T3 (da) 1998-05-25
FR2700031B1 (fr) 1995-02-10
EP0606803A1 (fr) 1994-07-20
FR2700031A1 (fr) 1994-07-01
EP0606803B1 (fr) 1997-10-01

Similar Documents

Publication Publication Date Title
DE60313652T2 (de) Verfahren und gerät zur kontrolle der umwandlung von programm-kodes
EP0261845A3 (en) Data processing apparatus for extracting documentation text from a source code program
Roberts An introduction to the OLYMPUS system
Davis STARAN parallel processor system software
GR3025744T3 (en) Method for detecting program execution errors.
Korver et al. A computer-checked verification of Milner's scheduler
Conway et al. CORC—the Cornell computing language
Graham-Lengrand Yices-QS 2022, an extension of Yices for quantified satisfiability
Hossain et al. A deep dive into large language models for automated bug localization and repair
CN107885504B (zh) 一种异构的多平台系统控制逻辑一致性校验的方法
Sherrell et al. Experiences in translating Z designs to Haskell implementations
Burgess The role of formal methods in software engineering education and industry
Egger et al. Formal specification of a safe PLC language and its compiler
Rajlich Comprehension and evolution of legacy software (tutorial)
Bowen et al. Towards verified systems: The SAFEMOS project
SE8005836L (sv) Sett och anordning for kodning och avkodning av data
ATE217714T1 (de) Verfahren zur verifikation eines programms, welches in einer sprache für speicher- programmierbare steuerungen vorliegt, durch einen rechner
Erasmy et al. Raise: A Rigorous approach using stepwise refinement
Malcolm et al. An executable course in the algebraic semantics of imperative programs
Laws Jr Microbe: A self commenting microassembler
Merlo et al. Structural and behavioral code representation for program understanding
KR100199022B1 (ko) Chill의 예외상황 처리를 위한 코드 생성 방법
ES2095873T3 (es) Procedimiento y dispositivo para el tratamiento de una columna de numeros.
KR0175469B1 (ko) 칠프로그램 변수의 가시성 제어방법
US20060031819A1 (en) Methods and apparatus for creating solutions