FR2880442B1 - METHOD FOR VERIFYING THE CORRECT OPERATION OF A PROCESSING DEVICE, VERIFICATION DEVICE AND PROCESSING DEVICE INCLUDING THE VERIFICATION DEVICE - Google Patents

METHOD FOR VERIFYING THE CORRECT OPERATION OF A PROCESSING DEVICE, VERIFICATION DEVICE AND PROCESSING DEVICE INCLUDING THE VERIFICATION DEVICE

Info

Publication number
FR2880442B1
FR2880442B1 FR0500085A FR0500085A FR2880442B1 FR 2880442 B1 FR2880442 B1 FR 2880442B1 FR 0500085 A FR0500085 A FR 0500085A FR 0500085 A FR0500085 A FR 0500085A FR 2880442 B1 FR2880442 B1 FR 2880442B1
Authority
FR
France
Prior art keywords
processing device
verification
verifying
verification device
correct operation
Prior art date
Legal status (The legal status 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 status listed.)
Active
Application number
FR0500085A
Other languages
French (fr)
Other versions
FR2880442A1 (en
Inventor
Eric Chenu
Philippe Forin
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Siemens Mobility SAS
Original Assignee
Siemens Transportation Systems SAS
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 Siemens Transportation Systems SAS filed Critical Siemens Transportation Systems SAS
Priority to FR0500085A priority Critical patent/FR2880442B1/en
Publication of FR2880442A1 publication Critical patent/FR2880442A1/en
Application granted granted Critical
Publication of FR2880442B1 publication Critical patent/FR2880442B1/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • 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
FR0500085A 2005-01-05 2005-01-05 METHOD FOR VERIFYING THE CORRECT OPERATION OF A PROCESSING DEVICE, VERIFICATION DEVICE AND PROCESSING DEVICE INCLUDING THE VERIFICATION DEVICE Active FR2880442B1 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
FR0500085A FR2880442B1 (en) 2005-01-05 2005-01-05 METHOD FOR VERIFYING THE CORRECT OPERATION OF A PROCESSING DEVICE, VERIFICATION DEVICE AND PROCESSING DEVICE INCLUDING THE VERIFICATION DEVICE

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR0500085A FR2880442B1 (en) 2005-01-05 2005-01-05 METHOD FOR VERIFYING THE CORRECT OPERATION OF A PROCESSING DEVICE, VERIFICATION DEVICE AND PROCESSING DEVICE INCLUDING THE VERIFICATION DEVICE

Publications (2)

Publication Number Publication Date
FR2880442A1 FR2880442A1 (en) 2006-07-07
FR2880442B1 true FR2880442B1 (en) 2007-02-16

Family

ID=34953434

Family Applications (1)

Application Number Title Priority Date Filing Date
FR0500085A Active FR2880442B1 (en) 2005-01-05 2005-01-05 METHOD FOR VERIFYING THE CORRECT OPERATION OF A PROCESSING DEVICE, VERIFICATION DEVICE AND PROCESSING DEVICE INCLUDING THE VERIFICATION DEVICE

Country Status (1)

Country Link
FR (1) FR2880442B1 (en)

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4251885A (en) * 1979-03-09 1981-02-17 International Business Machines Corporation Checking programmed controller operation
FR2702577B1 (en) * 1993-03-11 1995-04-28 Gec Alsthom Transport Sa Method for checking the correct execution of a multitasking computer program.
US5974529A (en) * 1998-05-12 1999-10-26 Mcdonnell Douglas Corp. Systems and methods for control flow error detection in reduced instruction set computer processors
JP2000339188A (en) * 1999-05-27 2000-12-08 Harness Syst Tech Res Ltd Program execution abnormality detecting device

Also Published As

Publication number Publication date
FR2880442A1 (en) 2006-07-07

Similar Documents

Publication Publication Date Title
FR2901892B1 (en) DEVICE AND METHOD FOR PHOTOGRAPHIC PROCESSING.
FR2892252B1 (en) METHOD AND DEVICE FOR CREATING A GROUP SIGNATURE AND METHOD AND DEVICE FOR VERIFYING AN ASSOCIATED GROUP SIGNATURE.
FR2894783B1 (en) DEVICE AND METHOD FOR DESIGNING A GARMENT
TWI349169B (en) Method and apparatus for vibration detection and vibration analysis, and lithographic apparatus equipped with such an apparatus
FR2890867B1 (en) DEVICE AND METHOD FOR RESPIRATORY ASSISTANCE
FR2873523B1 (en) METHOD AND DEVICE FOR PERFORMING A CRYPTOGRAPHIC CALCULATION
FR2887352B1 (en) DEVICE AND METHOD FOR PROTECTING DATA INTEGRITY.
FR2871969B1 (en) METHOD AND DEVICE FOR PERFORMING A CRYPTOGRAPHIC CALCULATION
FR2900360B1 (en) METHOD AND DEVICE FOR SETTING OPERATING PARAMETERS OF A ROBOT, PROGRAM, AND RECORDING MEDIUM FOR THIS METHOD
FR2914449B1 (en) PORTABLE ELECTRONIC DEVICE AND METHOD FOR CONTROLLING A PORTABLE ELECTRONIC DEVICE.
FR2903774B1 (en) METHOD FOR VALIDATING A FUNCTIONING DIAGNOSTIC OF A DEVICE.
FR2891151B1 (en) DEVICE AND METHOD FOR DETERMINING SOLUTIONS
FR2909104B1 (en) DEVICE AND METHOD FOR NEEDLE.
FR2905176B1 (en) DEVICE AND METHOD FOR SEALING ARTICLES.
FR2871990B1 (en) METHOD FOR REMOVING BRANCHES FROM AN ESPALIER AND APPROPRIATE DEVICE
FR2866154B1 (en) PROCESS FOR PRODUCING AN ELECTROCHEMICAL DEVICE
FR2905283B1 (en) METHOD AND DEVICE FOR PRECIPITATING A SOLUTE
FR2875316B1 (en) DEVICE AND METHOD FOR PRODUCING A NUMBER SUITE
ATA15002004A (en) DEVICE FOR DETECTING A FINGERPRINT
FR2880442B1 (en) METHOD FOR VERIFYING THE CORRECT OPERATION OF A PROCESSING DEVICE, VERIFICATION DEVICE AND PROCESSING DEVICE INCLUDING THE VERIFICATION DEVICE
FR2923478B1 (en) METHOD AND DEVICE FOR TREATING AN EFFLUENT.
FR2939638B1 (en) ORTHONYXY DEVICE AND METHOD FOR PLACING ON AN NAIL SUCH A DEVICE
FR2883491B1 (en) METHOD AND DEVICE FOR VALIDATING AN INERTING CYCLE
FR2901044B1 (en) METHOD AND DEVICE FOR VALIDATING A TRANSPORT TITLE
FR2908883B1 (en) METHOD AND DEVICE FOR VERIFYING THE MEASUREMENT JUSTNESS OF A REGLOSCOPE

Legal Events

Date Code Title Description
PLFP Fee payment

Year of fee payment: 12

PLFP Fee payment

Year of fee payment: 13

PLFP Fee payment

Year of fee payment: 14

PLFP Fee payment

Year of fee payment: 16

TP Transmission of property

Owner name: SIEMENNS MOBILITY SAS, FR

Effective date: 20200423

PLFP Fee payment

Year of fee payment: 17

PLFP Fee payment

Year of fee payment: 18

PLFP Fee payment

Year of fee payment: 19

PLFP Fee payment

Year of fee payment: 20