DE69129727D1 - Finite automat for reliable computer and control systems - Google Patents

Finite automat for reliable computer and control systems

Info

Publication number
DE69129727D1
DE69129727D1 DE69129727T DE69129727T DE69129727D1 DE 69129727 D1 DE69129727 D1 DE 69129727D1 DE 69129727 T DE69129727 T DE 69129727T DE 69129727 T DE69129727 T DE 69129727T DE 69129727 D1 DE69129727 D1 DE 69129727D1
Authority
DE
Germany
Prior art keywords
control systems
reliable computer
automat
finite
finite automat
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.)
Expired - Fee Related
Application number
DE69129727T
Other languages
German (de)
Other versions
DE69129727T2 (en
Inventor
David Moloney
Maurizio Zuffada
Gianfranco Vai
Fabrizio Sacchi
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.)
STMicroelectronics SRL
Original Assignee
STMicroelectronics SRL
SGS Thomson Microelectronics SRL
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
Priority claimed from IT02181690A external-priority patent/IT1246467B/en
Application filed by STMicroelectronics SRL, SGS Thomson Microelectronics SRL filed Critical STMicroelectronics SRL
Publication of DE69129727D1 publication Critical patent/DE69129727D1/en
Application granted granted Critical
Publication of DE69129727T2 publication Critical patent/DE69129727T2/en
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/30Monitoring

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Logic Circuits (AREA)
DE69129727T 1990-10-22 1991-10-16 Finite automat for reliable computer and control systems Expired - Fee Related DE69129727T2 (en)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
IT02181690A IT1246467B (en) 1990-10-22 1990-10-22 FINITE STATE MACHINE FOR RELIABLE COMPUTATION AND REGULATION SYSTEMS

Publications (2)

Publication Number Publication Date
DE69129727D1 true DE69129727D1 (en) 1998-08-13
DE69129727T2 DE69129727T2 (en) 1999-02-04

Family

ID=11187264

Family Applications (1)

Application Number Title Priority Date Filing Date
DE69129727T Expired - Fee Related DE69129727T2 (en) 1990-10-22 1991-10-16 Finite automat for reliable computer and control systems

Country Status (2)

Country Link
KR (1) KR920008592A (en)
DE (1) DE69129727T2 (en)

Also Published As

Publication number Publication date
DE69129727T2 (en) 1999-02-04
KR920008592A (en) 1992-05-28

Similar Documents

Publication Publication Date Title
DE69229338D1 (en) Data pipeline system
KR950700645A (en) DISTRIBUTED SUPERVISORY CONTROL AND DATA ACQUISITION SYSTEM
DE69426927T2 (en) COMPUTER COOPERATION SYSTEM
DE69333122D1 (en) Security unit for data processing systems
DE69319364T2 (en) Electronic writing system
DE69328841T2 (en) Multiprocessor computer system
DE68923627T2 (en) Control method and device for zero-origin data spaces.
DE69312009D1 (en) Data processing system
DE69130282T2 (en) Position and function input system for large surface display
DE69324839T2 (en) Data processing system
DE69415284D1 (en) Power control systems for computers
DE69326076T2 (en) COMPUTER SYSTEM
DE69225566D1 (en) Computer system
DE69321167T2 (en) Data processing system
DE69125973D1 (en) Control and interface device for telephone systems
DE69320915D1 (en) Data processing system
DE69033412D1 (en) Data transfer control device for parallel processing systems
DE69123014D1 (en) Control device for peripheral data processing system
DE69228293D1 (en) Parallel data processing control system
DE69122150T2 (en) Semiconductor memory device with improved control function for data buses
DE69129727T2 (en) Finite automat for reliable computer and control systems
DE69220956T2 (en) GRAPHIC COMPUTER SYSTEM WITH POSSIBILITY FOR INTERACTIVE OPERATIONS
DE69232107T2 (en) Control system for metaphor environment
DE69230703T2 (en) Computer bus control system
DE69129640T2 (en) Control system for playback devices

Legal Events

Date Code Title Description
8327 Change in the person/name/address of the patent owner

Owner name: STMICROELECTRONICS S.R.L., AGRATE BRIANZA, MAILAND

8364 No opposition during term of opposition
8339 Ceased/non-payment of the annual fee