DK0615188T3 - Fremgangsmåde til kontrol af korrekt udførelse af et multi-task regneprogram - Google Patents

Fremgangsmåde til kontrol af korrekt udførelse af et multi-task regneprogram

Info

Publication number
DK0615188T3
DK0615188T3 DK94400503.2T DK94400503T DK0615188T3 DK 0615188 T3 DK0615188 T3 DK 0615188T3 DK 94400503 T DK94400503 T DK 94400503T DK 0615188 T3 DK0615188 T3 DK 0615188T3
Authority
DK
Denmark
Prior art keywords
message
execution
task
checking
issuing
Prior art date
Application number
DK94400503.2T
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
Application granted granted Critical
Publication of DK0615188T3 publication Critical patent/DK0615188T3/da

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

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)
DK94400503.2T 1993-03-11 1994-03-08 Fremgangsmåde til kontrol af korrekt udførelse af et multi-task regneprogram DK0615188T3 (da)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR9302812A FR2702577B1 (fr) 1993-03-11 1993-03-11 Procédé pour contrôler l'exécution correcte d'un programme d'ordinateur multitâche.

Publications (1)

Publication Number Publication Date
DK0615188T3 true DK0615188T3 (da) 1997-12-22

Family

ID=9444866

Family Applications (1)

Application Number Title Priority Date Filing Date
DK94400503.2T DK0615188T3 (da) 1993-03-11 1994-03-08 Fremgangsmåde til kontrol af korrekt udførelse af et multi-task regneprogram

Country Status (7)

Country Link
EP (1) EP0615188B1 (da)
AT (1) ATE160033T1 (da)
DE (1) DE69406571T2 (da)
DK (1) DK0615188T3 (da)
ES (1) ES2108391T3 (da)
FR (1) FR2702577B1 (da)
GR (1) GR3025969T3 (da)

Families Citing this family (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP0858034B1 (en) * 1997-02-07 2002-06-12 Hewlett-Packard Company, A Delaware Corporation Control of computer peripherals
DE10063350C1 (de) * 2000-12-19 2002-07-18 Siemens Ag Verfahren zur Überwachung einer Datenverarbeitung und -übertragung
GB2387683B (en) * 2002-04-19 2007-03-28 Hewlett Packard Co Workflow processing scheduler
FR2880442B1 (fr) * 2005-01-05 2007-02-16 Siemens Transp Systems Soc Par Procede de verification du bon fonctionnement d'un dispositif de traitement, dispositif de verification et dispositif de traitement incluant le dispositif de verification
DE102007062920A1 (de) * 2007-12-21 2009-06-25 Endress + Hauser Gmbh + Co. Kg Verfahren zur Überwachung der logischen Ausführungsreihenfolge und der Datenübertragung eines in einzelne Module unterteilten Programms
US8156388B2 (en) * 2008-11-24 2012-04-10 Symbol Technologies, Inc. Analysis leading to automatic action
US8336080B2 (en) 2009-06-26 2012-12-18 Symbol Technologies, Inc. Methods and apparatus for rating device security and automatically assessing security compliance
CN108829497A (zh) * 2018-05-31 2018-11-16 阿里巴巴集团控股有限公司 事务因果序的校正方法及装置、电子设备

Family Cites Families (2)

* 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
DE2939194A1 (de) * 1979-09-27 1981-05-14 Siemens AG, 1000 Berlin und 8000 München Verfahren und schaltungsanordnung zum ueberwachen des ordnungsgemaessen ablaufs eines programms

Also Published As

Publication number Publication date
DE69406571D1 (de) 1997-12-11
EP0615188A1 (fr) 1994-09-14
GR3025969T3 (en) 1998-04-30
ATE160033T1 (de) 1997-11-15
FR2702577B1 (fr) 1995-04-28
EP0615188B1 (fr) 1997-11-05
DE69406571T2 (de) 1998-03-05
ES2108391T3 (es) 1997-12-16
FR2702577A1 (fr) 1994-09-16

Similar Documents

Publication Publication Date Title
Murphy et al. Does aspect-oriented programming work?
DE59600269D1 (de) Einrichtung und Verfahren zur Echtzeit-Verarbeitung einer Mehrzahl von Tasks
KR920020317A (ko) 프로그램처리장치 및 프로그램처리방법
DK0615188T3 (da) Fremgangsmåde til kontrol af korrekt udførelse af et multi-task regneprogram
ATE302512T1 (de) Verfahren und vorrichtung zum verwalten von mehreren netzwerkgeräten
DK0403763T3 (da) Fremgangsmåde og system til sammennetning af computere eller computernetværk
DE69621494D1 (de) Vorrichtung und Verfahren eines verteilten Fehlerbeseitigers zur Fehlerbeseitigung von verteilten Anwendungsprogrammen
DE69523588D1 (de) Gerät und methode zur ereigniskorrelation und problemmeldung
KR880004396A (ko) 휴대가능 전자장치용 처리 시스템
DE60219706D1 (de) Verfahren und Vorrichtung zum Anfügen einer elektronischen Unterschrift an ein strukturiertes Dokument
Prechelt Accelerating learning from experience: avoiding defects faster
KR950704752A (ko) 에러 발생시 데이타 베이스의 관련복구를 위한 시스템(a system for relations recovery of a data base in case of errors)
Gibson Formal requirements engineering: Learning from the students
ATE184713T1 (de) Rechnersystem mit architektur und verfahren zur programmierung
ATE61677T1 (de) Verfahren und anordnung zum vermeiden von globalen systemverklemmungen in verteilten datenbanksystemen.
Yorgey et al. Explaining Type Errors
JP2002082802A (ja) 影響解析装置および方法、記録媒体、プログラム
CN114281703A (zh) 一种操作指令的编排方法、装置、电子设备及存储介质
Scholtz A Longitudinal Study of Transfer between Programming Languages by
Ribeiro et al. A tool for improving maintainabiliy of preprocessor-based product lines
JPH10334060A (ja) 演算処理装置、並列分散処理システムおよびデータ伝送方法
Di Lucca et al. An algebraic notation for representing threads in object oriented software comprehension
Ban et al. Modeling and simulations of pedagogical framework documentation: an empirical study for prototyping in a rapid application development environment
CN114491659A (zh) 一种基于区块链的程序代码管理方法、装置、设备及介质
Neville-Neil Outsourcing responsibility