BR8001352A - Verificacao da operacao de controladores programados - Google Patents
Verificacao da operacao de controladores programadosInfo
- Publication number
- BR8001352A BR8001352A BR8001352A BR8001352A BR8001352A BR 8001352 A BR8001352 A BR 8001352A BR 8001352 A BR8001352 A BR 8001352A BR 8001352 A BR8001352 A BR 8001352A BR 8001352 A BR8001352 A BR 8001352A
- Authority
- BR
- Brazil
- Prior art keywords
- checking
- programmed controllers
- controllers
- programmed
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
- G05B19/058—Safety, monitoring
-
- 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
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B2219/00—Program-control systems
- G05B2219/10—Plc systems
- G05B2219/13—Plc programming
- G05B2219/13188—Checking program data, parity, key
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Automation & Control Theory (AREA)
- Quality & Reliability (AREA)
- General Engineering & Computer Science (AREA)
- Debugging And Monitoring (AREA)
- Programmable Controllers (AREA)
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US06/018,976 US4251885A (en) | 1979-03-09 | 1979-03-09 | Checking programmed controller operation |
Publications (1)
Publication Number | Publication Date |
---|---|
BR8001352A true BR8001352A (pt) | 1980-11-11 |
Family
ID=21790740
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
BR8001352A BR8001352A (pt) | 1979-03-09 | 1980-03-06 | Verificacao da operacao de controladores programados |
Country Status (5)
Country | Link |
---|---|
US (1) | US4251885A (pt) |
EP (1) | EP0015445A1 (pt) |
JP (1) | JPS55121573A (pt) |
BR (1) | BR8001352A (pt) |
CA (1) | CA1124871A (pt) |
Families Citing this family (27)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
IT1117593B (it) * | 1979-01-24 | 1986-02-17 | Cselt Centro Studi Lab Telecom | Sistema di aotodiagnosi per una apparecchiatura di controllo gestita da elaboratore |
JPS56135250A (en) * | 1980-03-24 | 1981-10-22 | Nissan Motor Co Ltd | Output device of microcomputer |
US4409635A (en) * | 1981-06-18 | 1983-10-11 | Westinghouse Electric Corp. | Electrical power system with fault tolerant control unit |
DE3206891A1 (de) * | 1982-02-26 | 1983-09-15 | Robert Bosch Gmbh, 7000 Stuttgart | Verfahren zur fehlerdiagnose fuer speicherprogrammierbare steuerungen |
DE3225712C2 (de) * | 1982-07-09 | 1985-04-11 | M.A.N. Maschinenfabrik Augsburg-Nuernberg Ag, 8000 Muenchen | Verfahren und Vorrichtung zur Funktionsprüfung von digitalen Rechnern |
NL8303167A (nl) * | 1983-09-14 | 1985-04-01 | Philips Nv | Alleenstaande dienstverlenende inrichting met micro-computer, die beschermd is tegen storingen. |
US4800486A (en) * | 1983-09-29 | 1989-01-24 | Tandem Computers Incorporated | Multiple data patch CPU architecture |
US4831521A (en) * | 1983-11-10 | 1989-05-16 | General Signal Corporation | Vital processor implemented with non-vital hardware |
AT381803B (de) * | 1984-10-29 | 1986-12-10 | Elin Union Ag | Schaltungsanordnung fuer eine mikroprozessorgesteuerte fernwirkanlage |
US4852127A (en) * | 1985-03-22 | 1989-07-25 | American Telephone And Telegraph Company, At&T Bell Laboratories | Universal protocol data receiver |
US4920538A (en) * | 1985-06-28 | 1990-04-24 | International Business Machines Corporation | Method of checking the execution of microcode sequences |
US4989172A (en) * | 1990-02-06 | 1991-01-29 | Unisys Coporation | Apparatus and method for checking start signals |
US5337313A (en) * | 1992-11-12 | 1994-08-09 | Motorola, Inc. | Method and apparatus for preserving packet squencing in a packet transmission system |
FR2702577B1 (fr) * | 1993-03-11 | 1995-04-28 | Gec Alsthom Transport Sa | Procédé pour contrôler l'exécution correcte d'un programme d'ordinateur multitâche. |
DE4400203C1 (de) * | 1994-01-05 | 1995-08-03 | Daimler Benz Ag | Verfahren zur Überwachung von Fahrzeugfunktionskomponenten |
US5488702A (en) * | 1994-04-26 | 1996-01-30 | Unisys Corporation | Data block check sequence generation and validation in a file cache system |
EP0858034B1 (en) | 1997-02-07 | 2002-06-12 | Hewlett-Packard Company, A Delaware Corporation | Control of computer peripherals |
JP3056732B1 (ja) * | 1999-04-09 | 2000-06-26 | コナミ株式会社 | コンピュ―タシステム、コンピュ―タプログラムの実行方法及びコンピュ―タプログラム記録媒体 |
DE10039663C2 (de) * | 2000-08-14 | 2002-06-13 | Fraunhofer Ges Forschung | Verfahren und Vorrichtung zur Wiedergabe von Informationen |
US7533412B2 (en) * | 2002-04-23 | 2009-05-12 | Stmicroelectronics S.A. | Processor secured against traps |
US20040003059A1 (en) * | 2002-06-26 | 2004-01-01 | Kitchin Duncan M. | Active key for wireless device configuration |
US7272228B2 (en) * | 2003-06-12 | 2007-09-18 | International Business Machines Corporation | System and method for securing code and ensuring proper execution using state-based encryption |
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 |
EP2040135A3 (en) | 2007-09-20 | 2011-08-03 | Rockwell Automation Technologies, Inc. | Automated validation of application code for an industrial control environment |
FR2928755B1 (fr) * | 2008-03-14 | 2014-04-11 | Sagem Securite | Procede de securisation d'une execution d'un programme |
DE102014218218A1 (de) * | 2014-09-11 | 2016-03-17 | Robert Bosch Gmbh | Verfahren zum Erzeugen eines kryptographischen Schlüssels in einem System-on-a-Chip |
FR3035240B1 (fr) | 2015-04-15 | 2018-04-06 | Rambus Inc. | Procede de securisation de l'execution d'un programme |
Family Cites Families (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US3609697A (en) * | 1968-10-21 | 1971-09-28 | Ibm | Program security device |
JPS49109783A (pt) * | 1973-02-21 | 1974-10-18 | ||
US3825903A (en) * | 1973-04-30 | 1974-07-23 | Ibm | Automatic switching of storage protect keys |
US4053752A (en) * | 1975-09-15 | 1977-10-11 | International Business Machines Corporation | Error recovery and control in a mass storage system |
US4108359A (en) * | 1977-03-30 | 1978-08-22 | The United States Of America As Represented By The Secretary Of The Army | Apparatus for verifying the execution of a sequence of coded instructions |
MX4130E (es) * | 1977-05-20 | 1982-01-04 | Amdahl Corp | Mejoras en sistema de procesamiento de datos y escrutinio de informacion utilizando sumas de comprobacion |
US4158226A (en) * | 1977-11-21 | 1979-06-12 | Allen-Bradley Company | Programmable controller with limit detection |
-
1979
- 1979-03-09 US US06/018,976 patent/US4251885A/en not_active Expired - Lifetime
-
1980
- 1980-02-01 JP JP1017480A patent/JPS55121573A/ja active Granted
- 1980-02-12 CA CA345,520A patent/CA1124871A/en not_active Expired
- 1980-02-21 EP EP80100861A patent/EP0015445A1/en not_active Ceased
- 1980-03-06 BR BR8001352A patent/BR8001352A/pt unknown
Also Published As
Publication number | Publication date |
---|---|
JPS55121573A (en) | 1980-09-18 |
JPS6249658B2 (pt) | 1987-10-20 |
EP0015445A1 (en) | 1980-09-17 |
CA1124871A (en) | 1982-06-01 |
US4251885A (en) | 1981-02-17 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
BR8001352A (pt) | Verificacao da operacao de controladores programados | |
DK159512C (da) | Fluidumstyreapparat | |
FR2470321B1 (fr) | Vanne | |
DK145734C (da) | Affugter | |
FI793637A (fi) | Anordning foer lagring av sjaelvupphettande radioaktiva aemnen | |
BR7902229A (pt) | Controlador programavel | |
BR8000422A (pt) | Valvula de comando | |
AT387879B (de) | Servosteuerschaltung | |
FI800322A (fi) | Kontrollanordning foer en banmatningsmaskin | |
IT1148249B (it) | Valvola di comando | |
AT381774B (de) | Steuerventil | |
FI790798A (fi) | Anordning foer testning av absorptionssaerskiljningsfoermaogan | |
AT381998B (de) | Steuerventil | |
AT361601B (de) | Steuereinrichtung | |
DK122079A (da) | Sikkerhedslukke | |
SE8001128L (sv) | Servoventil | |
AT381800B (de) | Regelventil | |
DK152014C (da) | Slamrobot | |
SE8002553L (sv) | Ventilaggregat | |
BR8004731A (pt) | Controlador i/o | |
BE883965A (fr) | Valves | |
NO151135C (no) | Dreiejerns-maaleverk | |
SE8007063L (sv) | Sekerhetsventil | |
DK191580A (da) | Manipulator | |
SE7908492L (sv) | Skyddshuv |