HK1166533A1 - Method and apparatus for creating an application program for a safety- related control unit - Google Patents
Method and apparatus for creating an application program for a safety- related control unitInfo
- Publication number
- HK1166533A1 HK1166533A1 HK12107171.2A HK12107171A HK1166533A1 HK 1166533 A1 HK1166533 A1 HK 1166533A1 HK 12107171 A HK12107171 A HK 12107171A HK 1166533 A1 HK1166533 A1 HK 1166533A1
- Authority
- HK
- Hong Kong
- Prior art keywords
- safety
- instructions
- creating
- control unit
- application program
- Prior art date
Links
- 238000000034 method Methods 0.000 title abstract 2
- 238000003745 diagnosis Methods 0.000 abstract 3
- 238000009434 installation Methods 0.000 abstract 1
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/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/1004—Adding special bits or symbols to the coded information, e.g. parity check, casting out 9's or 11's to protect a block of data words, e.g. CRC or checksum
-
- 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/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/10—Protecting distributed programs or content, e.g. vending or licensing of copyrighted material ; Digital rights management [DRM]
- G06F21/12—Protecting executable software
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
- G06F21/57—Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/60—Protecting data
- G06F21/64—Protecting data integrity, e.g. using checksums, certificates or signatures
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2221/00—Indexing scheme relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F2221/03—Indexing scheme relating to G06F21/50, monitoring users, programs or devices to maintain the integrity of platforms
- G06F2221/033—Test or assess software
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
DE102009019089A DE102009019089A1 (de) | 2009-04-20 | 2009-04-20 | Verfahren und Vorrichtung zum Erstellen eines Anwenderprogramms für eine Sicherheitssteuerung |
PCT/EP2010/002435 WO2010121795A1 (de) | 2009-04-20 | 2010-04-20 | Verfahren und vorrichtung zum erstellen eines anwenderprogramms für eine sicherheitssteuerung |
Publications (1)
Publication Number | Publication Date |
---|---|
HK1166533A1 true HK1166533A1 (en) | 2012-11-02 |
Family
ID=42543305
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
HK12107171.2A HK1166533A1 (en) | 2009-04-20 | 2012-07-23 | Method and apparatus for creating an application program for a safety- related control unit |
Country Status (8)
Country | Link |
---|---|
US (1) | US8910131B2 (ja) |
EP (1) | EP2422271B1 (ja) |
JP (1) | JP5436660B2 (ja) |
CN (1) | CN102460397B (ja) |
DE (1) | DE102009019089A1 (ja) |
ES (1) | ES2417309T3 (ja) |
HK (1) | HK1166533A1 (ja) |
WO (1) | WO2010121795A1 (ja) |
Families Citing this family (20)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DE102005061393A1 (de) * | 2005-12-22 | 2007-07-05 | Robert Bosch Gmbh | Verfahren zur Verteilung von Softwaremodulen |
EP2495625B1 (de) * | 2011-03-04 | 2020-06-17 | Siemens Aktiengesellschaft | Verfahren und Programmiersystem für die Authentifizierung eines sicherheitsrelevanten Programms einer Automatisierungseinrichtung |
JP5816019B2 (ja) * | 2011-07-29 | 2015-11-17 | Ntn株式会社 | 冗長機能付きステアバイワイヤ式操舵装置の制御装置 |
DE102012012521A1 (de) | 2012-06-26 | 2014-01-02 | Inter Control Hermann Köhler Elektrik GmbH & Co. KG | Vorrichtung und Verfahren für eine sicherheitskritische Anwendung |
US8938710B2 (en) * | 2012-12-28 | 2015-01-20 | The Mathworks, Inc. | Preventing interference between subsystem blocks at a design time |
DE102013218814A1 (de) * | 2013-09-19 | 2015-03-19 | Siemens Aktiengesellschaft | Verfahren zum Betreiben eines sicherheitskritischen Systems |
DE112013007560T5 (de) * | 2013-10-31 | 2016-08-11 | Mitsubishi Electric Corporation | Programmerzeugungsgerät, Programmerzeugungsverfahren und Programm |
WO2015145562A1 (ja) * | 2014-03-25 | 2015-10-01 | 三菱電機株式会社 | プログラミング装置及び実行コード生成方法 |
DE102014208774A1 (de) * | 2014-05-09 | 2015-11-12 | Siemens Aktiengesellschaft | Rechenvorrichtung mit einer Manipulations-Erkennung sowie Verfahren zur Erkennung einer Manipulation einer Rechenvorrichtung |
KR101906823B1 (ko) * | 2016-03-07 | 2018-12-05 | 주식회사 럭스로보 | 멀티 모듈 컴파일 시스템 및 멀티 모듈 컴파일 방법, 그리고 컴파일러 프로그램을 갖는 컴퓨터 판독가능 저장매체 |
JP6520772B2 (ja) * | 2016-03-14 | 2019-05-29 | オムロン株式会社 | 評価システム、評価プログラムおよび評価方法 |
EP3355230A1 (de) * | 2017-01-25 | 2018-08-01 | Siemens Aktiengesellschaft | Verfahren und vorrichtung zum rechnergestützten erstellen und ausführen einer steuerfunktion |
EP3499324B1 (de) * | 2017-12-12 | 2021-01-27 | Sick Ag | Verfahren zur modularen verifikation einer konfiguration eines geräts |
US10503634B1 (en) * | 2018-05-25 | 2019-12-10 | Microsoft Technology Licensing, Llc | Semantic comparison of computer compiler traces |
DE102018120344A1 (de) * | 2018-08-21 | 2020-02-27 | Pilz Gmbh & Co. Kg | Automatisierungssystem zur Überwachung eines sicherheitskritischen Prozesses |
DE102018120347A1 (de) * | 2018-08-21 | 2020-02-27 | Pilz Gmbh & Co. Kg | Automatisierungssystem zur Überwachung eines sicherheitskritischen Prozesses |
DE102018129354A1 (de) * | 2018-11-21 | 2020-05-28 | Phoenix Contact Gmbh & Co. Kg | Verfahren zum Bearbeiten von Anwendungsprogrammen auf einem verteilten Automatisierungssystem |
DE102021004639A1 (de) * | 2021-09-14 | 2023-03-16 | Hydac Electronic Gmbh | Sensorvorrichtung zum Ermitteln einer Größe |
US11962705B2 (en) * | 2021-10-07 | 2024-04-16 | Capital One Services, Llc | Secure serverless computing framework |
CN117032940B (zh) * | 2023-10-08 | 2024-02-13 | 北京小米移动软件有限公司 | 资源调度的系统、方法、装置、电子设备及存储介质 |
Family Cites Families (24)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR920001574B1 (ko) * | 1987-05-29 | 1992-02-18 | 후지쓰 가부시끼가이샤 | 전송선로를 통해 전송되는 신호의 에러 검출 방법 및 시스템 |
JPH06242957A (ja) * | 1993-02-16 | 1994-09-02 | Fujitsu Ltd | プログラム実行制御装置 |
JPH07295602A (ja) * | 1994-04-22 | 1995-11-10 | Shimadzu Corp | 二重化制御装置 |
US6868538B1 (en) * | 1996-04-12 | 2005-03-15 | Fisher-Rosemount Systems, Inc. | Object-oriented programmable controller |
JPH10187202A (ja) * | 1996-12-24 | 1998-07-14 | Toshiba Corp | マイクロプロセッサ制御装置 |
US6161051A (en) * | 1998-05-08 | 2000-12-12 | Rockwell Technologies, Llc | System, method and article of manufacture for utilizing external models for enterprise wide control |
US6201996B1 (en) * | 1998-05-29 | 2001-03-13 | Control Technology Corporationa | Object-oriented programmable industrial controller with distributed interface architecture |
US6647301B1 (en) * | 1999-04-22 | 2003-11-11 | Dow Global Technologies Inc. | Process control system with integrated safety control system |
DE10108962A1 (de) * | 2001-02-20 | 2002-09-12 | Pilz Gmbh & Co | Verfahren und Vorrichtung zum Programmieren einer Sicherheitssteuerung |
WO2003001343A2 (en) * | 2001-06-22 | 2003-01-03 | Wonderware Corporation | Supervisory process control and manufacturing information system application having an extensible component model |
US6880149B2 (en) * | 2002-04-01 | 2005-04-12 | Pace Anti-Piracy | Method for runtime code integrity validation using code block checksums |
SE0202019D0 (sv) * | 2002-06-28 | 2002-06-28 | Abb As | Revalidation of a compiler for safety control |
US7076311B2 (en) * | 2002-07-09 | 2006-07-11 | Rockwell Automation Technologies, Inc. | Configurable safety system for implementation on industrial system and method of implementing same |
DE10240584A1 (de) * | 2002-08-28 | 2004-03-11 | Pilz Gmbh & Co. | Sicherheitssteuerung zum fehlersicheren Steuern von sicherheitskritischen Prozessen sowie Verfahren zum Aufspielen eines neuen Betriebsprogrammes auf eine solche |
SE524639C2 (sv) * | 2002-10-15 | 2004-09-07 | Abb As | Feldetektering i en industriell kontroller under säkerhetsrelaterad styrning |
US7818729B1 (en) * | 2003-09-15 | 2010-10-19 | Thomas Plum | Automated safe secure techniques for eliminating undefined behavior in computer software |
US7203885B2 (en) * | 2003-09-30 | 2007-04-10 | Rockwell Automation Technologies, Inc. | Safety protocol for industrial controller |
DE102004035456A1 (de) * | 2004-07-22 | 2006-02-16 | Robert Bosch Gmbh | Verfahren zum Steuern von technischen Vorgängen und Vorrichtung zum Überwachen des Ablaufs eines Steuerprogramms auf einem Rechengrät |
DE102004055971B8 (de) * | 2004-11-19 | 2012-06-21 | Kw-Software Gmbh | Verfahren und Vorrichtung zur sicheren Parametierung gemäß IEC 61508 SIL 1 bis 3 oder EN 954-1 Kategorie 1 bis 4 |
DE102005046696B4 (de) * | 2005-09-29 | 2009-11-05 | Fujitsu Siemens Computers Gmbh | Verfahren zum Erzeugen von geschütztem Programmcode und Verfahren zum Ausführen von Programmcode eines geschützten Computerprogramms sowie Computerprogrammprodukt |
US8161465B2 (en) * | 2006-07-27 | 2012-04-17 | Oracle International Corporation | Method and apparatus for performing conditional compilation |
JP4849261B2 (ja) * | 2007-05-14 | 2012-01-11 | オムロン株式会社 | 安全アプリケーション作成支援装置 |
JP5174798B2 (ja) * | 2009-01-26 | 2013-04-03 | 三菱電機株式会社 | 安全制御プログラムの安全性診断装置及び安全性診断方法 |
DE102009011679A1 (de) * | 2009-02-23 | 2010-08-26 | Pilz Gmbh & Co. Kg | Verfahren und Vorrichtung zum Erstellen eines Anwenderprogrammes für eine Sicherheitssteuerung |
-
2009
- 2009-04-20 DE DE102009019089A patent/DE102009019089A1/de not_active Withdrawn
-
2010
- 2010-04-20 ES ES10720342T patent/ES2417309T3/es active Active
- 2010-04-20 JP JP2012506391A patent/JP5436660B2/ja active Active
- 2010-04-20 WO PCT/EP2010/002435 patent/WO2010121795A1/de active Application Filing
- 2010-04-20 EP EP10720342.4A patent/EP2422271B1/de active Active
- 2010-04-20 CN CN201080027502.3A patent/CN102460397B/zh active Active
-
2011
- 2011-10-19 US US13/276,882 patent/US8910131B2/en active Active
-
2012
- 2012-07-23 HK HK12107171.2A patent/HK1166533A1/xx not_active IP Right Cessation
Also Published As
Publication number | Publication date |
---|---|
CN102460397B (zh) | 2016-01-20 |
EP2422271B1 (de) | 2013-06-19 |
US8910131B2 (en) | 2014-12-09 |
WO2010121795A1 (de) | 2010-10-28 |
JP5436660B2 (ja) | 2014-03-05 |
DE102009019089A1 (de) | 2010-11-04 |
JP2012524352A (ja) | 2012-10-11 |
CN102460397A (zh) | 2012-05-16 |
EP2422271A1 (de) | 2012-02-29 |
ES2417309T3 (es) | 2013-08-07 |
US20120096428A1 (en) | 2012-04-19 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
HK1166533A1 (en) | Method and apparatus for creating an application program for a safety- related control unit | |
HK1166525A1 (en) | Safety controller for an automated plant and method for creating an application program for a safety controller | |
ATE408335T1 (de) | Verfahren zur steuerung einer erntemaschine | |
ATE509305T1 (de) | Verfahren und vorrichtung zum programmieren und/oder konfigurieren einer sicherheitssteuerung | |
WO2013037693A3 (de) | System und verfahren zur automatisierten erstellung von roboterprogrammen | |
US20130304248A1 (en) | Method and Apparatus for Automated Configuration of a Monitoring Function of a Machine Tool | |
WO2013192219A3 (en) | Cam integrated cnc control of machines | |
EP2382555A4 (en) | SYSTEM, METHOD AND COMPUTER PROGRAM FOR PATTERN BASED INTELLIGENT CONTROL, MONITORING AND AUTOMATION | |
WO2009114309A3 (en) | Apparatus for optimizing a chemical looping combustion plant using a model predictive controller | |
MX2022004595A (es) | Arquitectura de control y metodos para sistemas de tratamiento de la sangre. | |
WO2011074838A3 (ko) | 로봇 동기화 장치 및 그 방법 | |
WO2010060573A3 (de) | Sicherheitssteuerung und verfahren zum steuern einer automatisierten anlage mit einer vielzahl von anlagenhardwarekomponenten | |
HK1166523A1 (en) | Safety-related control unit, and method for controlling an automated system | |
ATE507515T1 (de) | Fertigungsanlage oder automatisierungsanlage mit signalerzeugung mittels direktantrieb und verfahren zum erzeugung von signalen in einer solchen anlage | |
ATE509304T1 (de) | Verfahren und vorrichtung zum programmieren und/oder konfigurieren einer sicherheitssteuerung | |
EP2515190A4 (en) | TOOLING MACHINE WITH NUMERICAL CONTROL | |
WO2011015191A3 (de) | Spezifikations-verfahren zur erzeugung von datenverarbeitungssystemen | |
LT3730334T (lt) | Variklinės transporto priemonės valdymo prietaisas, atitinkama variklinė transporto priemonė, valdymo būdas ir kompiuterio programa | |
MX2012010627A (es) | Sistemas para la simulacion de maquinay prediccion de respuestas de proceso. | |
EP2339416A3 (en) | System and method for controlling a machine | |
ATE255736T1 (de) | Verfahren und system zur adaptiven steuerung komplexer fertigungsketten | |
MX2013014841A (es) | Metodos de perforacion de pozos con respuesta automatica a deteccion de eventos. | |
ATE552537T1 (de) | Konfigurierbares mehrfach variables steuersystem | |
MX342236B (es) | Metodo y perfil de secado. | |
EP4116033A4 (en) | MACHINE TOOL, MACHINE TOOL CONTROL METHOD AND MACHINE TOOL CONTROL PROGRAM |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PC | Patent ceased (i.e. patent has lapsed due to the failure to pay the renewal fee) |
Effective date: 20200423 |