DE10158317A1 - Verfahren zur Generierung und/oder Ausführung eines diversitären Programmablaufs - Google Patents
Verfahren zur Generierung und/oder Ausführung eines diversitären ProgrammablaufsInfo
- Publication number
- DE10158317A1 DE10158317A1 DE10158317A DE10158317A DE10158317A1 DE 10158317 A1 DE10158317 A1 DE 10158317A1 DE 10158317 A DE10158317 A DE 10158317A DE 10158317 A DE10158317 A DE 10158317A DE 10158317 A1 DE10158317 A1 DE 10158317A1
- Authority
- DE
- Germany
- Prior art keywords
- program
- processing
- programmable
- generated
- machine
- 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.)
- Granted
Links
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/14—Error detection or correction of the data by redundancy in operation
- G06F11/1479—Generic software techniques for error detection or fault masking
- G06F11/1487—Generic software techniques for error detection or fault masking using N-version programming
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
- Programmable Controllers (AREA)
- Numerical Control (AREA)
Abstract
Die Erfindung betrifft ein Verfahren zur Generierung und/oder Ausführung eines diversitären Programmablaufs aus einem Programmquellcode (Q) für bzw. auf mindestens zwei Bearbeitungseinheiten (BE1, BE2) von Werkzeug-, Produktionsmaschinen und Robotern. Dabei wird mit dem Programmquellcode (Q) mittels eines Compilers (C) ein Maschinencode (MC) für mindestens eine Bearbeitungseinheit (BE1, BE2) mit einem programmierbaren Bearbeitungsbaustein (BB1, BB2) generiert. Aus dem Programmquellcode (Q) wird mittels eines Umsetzers (U) oder Interpreterprogramms eine Beschreibungsdatei (B) erzeugt. Diese wird in mindestens einer weiteren Bearbeitungseinheit (BE1, BE2) interpretativ von mindestens einem programmierbaren Bearbeitungsbaustein (BB1, BB2) abgearbeitet. Die in mindestens einem gemeinsamen Speicher (S) abgelegten Daten der Bearbeitungseinheiten (BE1, BE2) werden jeweils mittels Datenvergleichs (DV1, DV2) auf Übereinstimmung geprüft.
Description
- Die Erfindung bezieht sich auf ein Verfahren zur Generierung und/oder Ausführung eines diversitären Programmablaufs aus einem Programmquellcode für bzw. auf mindestens zwei Bearbeitungseinheiten von Werkzeug-, Produktionsmaschinen und Robotern.
- Um Maschinen, Produktionsgüter, Personen im Sicherheitsbereich von Maschinen etc. vor Gefahren zu schützen, werden üblicherweise Sicherheitsbereiche eingerichtet, die beispielsweise durch Sensoren überwacht werden. Eine auf die Sicherheit der Maschine gerichtete Verknüpfungslogik auf einer programmierbaren Steuerung führt beim Verletzen des Sicherheitsbereiches eine definierte Aktion aus.
- Die sicherheitsbezogenen Aktionen können unter anderem Stillsetzen, Handlungen im Notfall, Geschwindigkeitsbegrenzung, Positionsbegrenzung usw. umfassen. Dabei bieten die sicherheitsbezogenen Aktionen oder Sicherheitsfunktionen einen Systemdurchgriff direkt bis hin zu den elektrischen Antrieben und Messsystemen. Eine zuverlässige Funktion von sicheren Funktionsbausteinen in auszuführenden Programmen ist dabei wesentlich.
- Der Begriff sicherheitsgerichtet bedeutet in diesem Zusammenhang, dass systematische und zufällige Fehler, sowie Ausfälle, erkannt und beherrscht werden. Eine Möglichkeit hierzu bietet der Einsatz von Diversität, bei Rechner- oder Steuerungssystemen von Werkzeug-, Produktionsmaschinen und Robotern, bei der beispielsweise mehrere Programme erstellt werden, welche die gleiche Spezifikation erfüllen sollen. Dabei ermöglicht ein Vergleich der von einzelnen Programmvarianten berechneten Ergebnisse neben der Entwurfsfehlererkennung auch eine Erkennung permanenter und transienter Hardwarefehler.
- Üblicherweise wird hierzu ein Verknüpfungsprogramm redundant parallel bearbeitet und die Ergebnisse zyklisch verglichen. Im Fall einer Abweichung der Rechenergebnisse wird umgehend ein sicherer Zustand der Maschine oder eines Teilbereichs der Maschine eingeleitet.
- Aufgabe der Erfindung ist es, die Generierung von diversitären Programmen aus einem Programmquellcode zu ermöglichen.
- Gemäß der Erfindung wird diese Aufgabe dadurch gelöst, dass
- 1. 1.1 aus dem Programmquellcode mittels eines Compilers Maschinencode für mindestens eine Bearbeitungseinheit mit einem programmierbaren Bearbeitungsbaustein generiert wird,
- 2. 1.2 aus dem Programmquellcode mittels eines Umsetzers oder Interpreterprogramms eine Beschreibungsdatei erzeugt wird,
- 3. 1.3 die Beschreibungsdatei in mindestens einer weiteren Bearbeitungseinheit interpretativ von mindestens einem programmierbaren Bearbeitungsbaustein abgearbeitet wird und
- 4. 1.4 die in mindestens einem gemeinsamen Speicher abgelegten Daten der Bearbeitungseinheiten jeweils mittels Datenvergleichs auf Übereinstimmung geprüft werden.
- Mit Hilfe des erfindungsgemäßen Verfahrens ist es dem Anwender vorteilhaft möglich, nur einen Programmquellcode zu erstellen, mit dem mindestens zwei diversitäre Programme generiert werden können. Die Beschreibungsdatei gewährleistet dabei Konformität der auf den Bearbeitungseinheiten parallel, d. h. gleichzeitig abzuarbeitenden Programmen. Die Abarbeitungszeit der Programme auf den unterschiedlichen Bearbeitungseinheiten ist unterschiedlich, da mindestens ein Programmcode interpretativ abgearbeitet wird. Eine Programmdiversität ist damit gegeben. Für den Anwender oder Systemprogrammersteller ergibt sich ein wesentlicher Zeit- und damit Kostenvorteil, da er einen Programmquellcode nur einmal eingeben muss.
- Ein erstes vorteilhaftes Verfahren der Erfindung ist dadurch gekennzeichnet, dass bei einem negativ ausfallenden Datenvergleich die programmierbaren Bearbeitungsbausteine einen sicheren Zustand von mindestens einem Teil oder Abschnitt der Werkzeug-, Produktionsmaschine oder des Roboters einleiten. Dadurch ist gewährleistet, dass bei einer Unstimmigkeit der vorliegenden oder zu berechnenden Daten ein sicherer Zustand der Maschine oder eines Teils der Maschine eingenommen wird.
- Ein weiteres vorteilhaftes Verfahren der Erfindung ist dadurch gekennzeichnet, dass mindestens zwei von der Hardware gleiche, programmierbare Bearbeitungsbausteine in den Bearbeitungseinheiten verwendet werden.
- Ein weiteres vorteilhaftes Verfahren der Erfindung ist dadurch gekennzeichnet, dass mindestens zwei von der Hardware unterschiedliche programmierbare Bearbeitungsbausteine in den Bearbeitungseinheiten verwendet werden. Damit ist das erfindungsgemäße Verfahren auch vorteilhaft auf unterschiedliche Bearbeitungsbausteine anwendbar. Insbesondere bei fortschreitender technischer Entwicklung oder aufgrund von Kostengründen, können somit die Bearbeitungsbausteine unterschiedlich sein. Aus der Beschreibungsdatei werden für den jeweiligen Bearbeitungsbaustein passend interpretativ abzuarbeitende Befehle bereitgestellt.
- Ein weiteres vorteilhaftes Verfahren der Erfindung ist dadurch gekennzeichnet, dass für mindestens einen Bearbeitungsbaustein BB1, BB2 ein anwender- oder maskenprogrammierbarer Logikbaustein verwendet wird. Somit können vorteilhaft optimale Lösungen mittels FPGA (Field Programmable Gat Array) oder ASIC (Application Specific Integrated Circuit) realisiert werden.
- Ein weiteres vorteilhaftes Verfahren der Erfindung ist dadurch gekennzeichnet, dass die Quelldatei im wesentlichen von einem graphischen Programmeditor generiert wird. Somit können Verknüpfungen und Zusammenhänge vorteilhaft graphisch programmiert werden, wobei der graphische Editor auch aus der ihm vorliegenden Information die Quelldatei erzeugen kann.
- Ein weiteres vorteilhaftes Verfahren der Erfindung ist dadurch gekennzeichnet, dass aus der Quelldatei direkt oder mittels eines Umsetzers oder Interpreterprogramms eine Beschreibungsdatei erzeugt wird. Somit kann die Beschreibungsdatei automatisch aus dem Quellcode erzeugt werden.
- Ein weiteres vorteilhaftes Verfahren der Erfindung ist dadurch gekennzeichnet, dass aus der Beschreibungsdatei mittels eines Umsetzers der Maschinencode erzeugt wird. Damit kann die Beschreibungsdatei sowohl Grundlage eines compilierten Maschinencodes, sowie eines Programmcodes sein, der interpretativ auf einer Bearbeitungseinheit abgearbeitet wird.
- Ein Ausführungsbeispiel der Erfindung ist in den Zeichnungen dargestellt und wird im folgenden näher erläutert. Dabei zeigen:
- Fig. 1 ein Blockschaltdiagramm zur Erzeugung eines diversitären Programmablaufs und
- Fig. 2 eine schematische Darstellung zur Ausführung von diversitären Programmen auf Bearbeitungseinheiten.
- In der Darstellung gemäß Fig. 1 ist ein Blockschaltdiagramm zur Erzeugung eines diversitären Programmablaufs dargestellt. Dabei wird ausgehend von einem Programmquellcode Q über einen Compiler C ein Maschinencode MC generiert, der von dem Bearbeitungsbaustein BB1 auf der Bearbeitungseinheit BE1 abgearbeitet wird.
- Erfindungsgemäß wird aus dem Programmquellcode Q mittels eines Umsetzers oder eines Interpreterprogramms eine Beschreibungsdatei B erzeugt, die interpretativ von dem Bearbeitungsbaustein BB2 auf der Bearbeitungseinheit BE2 abgearbeitet wird. Die interpretative Bearbeitung auf dem Bearbeitungsbaustein BB2 gewährleistet einen unterschiedlichen Zeitbedarf in der Abarbeitung im Vergleich zur Bearbeitungszeit, die zur Abarbeitung des Maschinencodes MC auf dem Bearbeitungsbaustein BB1 benötigt wird. Die Bearbeitungseinheiten BE1 und BE2, sowie die Bearbeitungsbausteine BB1 und BB2 können unterschiedlich aufgebaut sein. Sie bearbeiten zwar im Ursprung die Syntax des Programmquellcodes Q, jedoch werden auf unterschiedlichen Pfaden mittels unterschiedlicher Programme unterschiedliche Befehlsfolgen generiert, die von den Bearbeitungsbausteinen BB1 und BB2 abgearbeitet werden. Die Beschreibungsdatei B beinhaltet dabei relevante Informationen, die im Programmquellcode Q hinterlegt sind. Sie dient als Basis für die Bearbeitungseinheit BE2, die mittels eines fest installierten Software-Interpreterbausteins IB interpretativ den Inhalt der Beschreibungsdatei B abarbeiten.
- Da die graphische Programmierung mittels eines graphischen Programmeditors GP eine komfortable Möglichkeit darstellt, einen Programmablauf einfach in ein Rechensystem einzugeben oder zu visualisieren, ist auch hier die Möglichkeit vorgesehen, direkt aus dem graphischen Programmeditor GP die Beschreibungsdatei B zu erzeugen und/oder aus dem graphischen Programmeditor GP einen Programmquellcode Q zu generieren. Da diese Möglichkeiten optional sind, sind die hierzu gehörenden Pfeilverbindungen, die Datenpfade darstellen sollen, gestrichelt eingezeichnet. In der Darstellung sind des Weiteren sämtliche Datenpfade durch Pfeile oder Doppelpfeile gekennzeichnet.
- In der Darstellung gemäß Fig. 2 ist eine schematische Darstellung zur Ausführung von diversitären Programmen auf Bearbeitungseinheiten BE1, BE2 dargestellt. Dabei sind die bereits in Fig. 1 erläuterten Bearbeitungseinheiten BE1 und BE2 in dieser Darstellung durch einen weiteren symbolischen Programmblock, nämlich einen Datenvergleich DV1, DV2, sowie durch die aus dem Programmquellcode mittels Compiler C und Umsetzer U generierten sicheren Funktionsbausteine SF1, SF2 ergänzt. Diese sind in die Bearbeitungseinheiten BE1 und BE2 eingezeichnet.
- Über eine Sensorik S1, S2 gelangt eine Information, wie beispielsweise Not-Aus- oder Türsensorsignale, in die Bearbeitungseinheit BE1, BE2, die zusammen mit Programmbefehlsfolgen zu bestimmten Rechenergebnissen führt. Ergebnis kann beispielsweise sein, dass ein Aktor A1, A2, wie beispielsweise eine Bremse (Bremssignal) oder ein Sicherheitsschütz, angesprochen wird. Dabei sind Sensoren S1, S2 und Aktoren A1, A2 mindestens jeweils zweikanalig ausgeführt. In die beiden dargestellten Bearbeitungseinheiten BE1 und BE2 gelangen jeweils Sensorsignale, die aufgrund ihrer Ausführung eine gleiche Information zweikanalig liefern. Im Fehlerfall, d. h. wenn beispielsweise das Sensorsignal S1 nicht mit dem Sensorsignal S2 übereinstimmt wird die Maschine mittels der sicheren Funktionsbausteine SF1, SF2 in einen sicheren Maschinenzustand überführt.
- Zu den Sensorsignalen S1, S2 können noch weitere Ein-/Ausgabeinformationen EA1, EA2 gelangen, die über einen Datenbus DB1, DB2 in einen Speicher S, beispielsweise ein Dual Port RAM, geschrieben werden. In diesen Speicher S werden ebenso Berechnungsdaten der Bearbeitungseinheiten BE1, BE2 abgelegt. Nach jedem oder nach definierten Programmablaufschritten wird mittels eines Datenvergleichs DV1, DV2 im Speicher S die Plausibilität der dort abgelegten Daten durch die Bearbeitungseinheiten BE1 und BE2 überprüft. Wird hier eine Unstimmigkeit festgestellt, so gehen die jeweiligen Bearbeitungseinheiten BE1 und BE2 in einen sicheren Maschinenmodus über, in dem sie sichere Funktionsbausteine SF1 und SF2 (Softwarebausteine) ausführen.
- Um zu vermeiden, dass systematische und/oder transiente Hardware- oder Programm- oder Datenfehler unbemerkt bleiben, wird in mindestens einer Bearbeitungseinheit BE1, BE2 ein kompilierter Maschinencode MC ausgeführt, während in mindestens einer weiteren Bearbeitungseinheit BE1, BE2 der Inhalt der Beschreibungsdatei B interpretativ ausgeführt wird. Als programmierbare Bearbeitungsbausteine BB1, BB2 können dabei unter anderem gleichartige oder jeweils unterschiedliche Controller, FPGAs und ASICs verwendet werden. Hierbei handelt es sich um anwender- oder maskenprogrammierbare Logikbausteine, die je nach Anwendungsfall und Optimierungsmöglichkeit angesetzt werden.
Claims (8)
1. Verfahren zur Generierung und/oder Ausführung eines
diversitären Programmablaufs aus einem Programmquellcode für bzw.
auf mindestens zwei Bearbeitungseinheiten von Werkzeug-,
Produktionsmaschinen und Robotern, dadurch
gekennzeichnet, dass
1. 1.1 aus dem Programmquellcode (Q) mittels eines Compilers (C)
Maschinencode (MC) für mindestens eine
Bearbeitungseinheit (BE1, BE2) mit einem programmierbaren
Bearbeitungsbaustein (BB1, BB2) generiert wird,
2. 1.2 aus dem Programmquellcode (Q) mittels eines Umsetzers (U)
oder Interpreterprogramms eine Beschreibungsdatei (B)
erzeugt wird,
3. 1.3 die Beschreibungsdatei (B) in mindestens einer weiteren
Bearbeitungseinheit (BE1, BE2) interpretativ von
mindestens einem programmierbaren Bearbeitungsbaustein
(BB1, BB2) abgearbeitet wird und
4. 1.4 die in mindestens einem gemeinsamen Speicher (S)
abgelegten Daten der Bearbeitungseinheiten (BE1, BE2) jeweils
mittels Datenvergleichs (DV1, DV2) auf Übereinstimmung
geprüft werden.
2. Verfahren nach Anspruch 1, dadurch
gekennzeichnet, dass bei einem negativ ausfallenden
Datenvergleich (DV1, DV2) die programmierbaren
Bearbeitungsbausteine (BB1, BB2) einen sicheren Zustand von mindestens einem
Teil oder Abschnitt der Werkzeug-, Produktionsmaschine oder
des Roboters einleiten.
3. Verfahren nach Anspruch 1 oder 2, dadurch
gekennzeichnet, dass mindestens zwei von der
Hardware gleiche, programmierbare Bearbeitungsbausteine
(BB1, BB2) in den Bearbeitungseinheiten (BE1, BE2) verwendet
werden.
4. Verfahren nach einem der vorstehenden Ansprüche,
dadurch gekennzeichnet, dass mindestens
zwei von der Hardware unterschiedliche programmierbare
Bearbeitungsbausteine (BB1, BB2) in den Bearbeitungseinheiten
(BE1, BE2) verwendet werden.
5. Verfahren nach einem der vorstehenden Ansprüche,
dadurch gekennzeichnet, dass für
mindestens einen Bearbeitungsbaustein (BB1, BB2) ein anwender- oder
maskenprogrammierbarer Logikbaustein verwendet wird.
6. Verfahren nach einem der vorstehenden Ansprüche,
dadurch gekennzeichnet, dass die
Quelldatei (Q) im wesentlichen von einem graphischen Programmeditor
(GP) generiert wird.
7. Verfahren nach einem der vorstehenden Ansprüche,
dadurch gekennzeichnet, dass aus der
Quelldatei (Q) direkt oder mittels eines Umsetzers (U) oder
Interpreterprogramms eine Beschreibungsdatei (B) erzeugt
wird.
8. Verfahren nach einem der vorstehenden Ansprüche,
dadurch gekennzeichnet, dass aus der
Beschreibungsdatei (B) mittels eines Umsetzers (U) der
Maschinencode (MC) erzeugt wird.
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
DE10158317A DE10158317B4 (de) | 2001-11-28 | 2001-11-28 | Verfahren zur Generierung und Ausführung eines diversitären Programmablaufs |
EP02025398A EP1316884A3 (de) | 2001-11-28 | 2002-11-14 | Verfahren zur Generierung und/oder Ausführung eines diversifizierten Programmablaufs |
US10/306,790 US7213239B2 (en) | 2001-11-28 | 2002-11-27 | Method of generating and/or executing a diversified program flow |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
DE10158317A DE10158317B4 (de) | 2001-11-28 | 2001-11-28 | Verfahren zur Generierung und Ausführung eines diversitären Programmablaufs |
Publications (2)
Publication Number | Publication Date |
---|---|
DE10158317A1 true DE10158317A1 (de) | 2003-06-12 |
DE10158317B4 DE10158317B4 (de) | 2009-06-18 |
Family
ID=7707225
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
DE10158317A Expired - Fee Related DE10158317B4 (de) | 2001-11-28 | 2001-11-28 | Verfahren zur Generierung und Ausführung eines diversitären Programmablaufs |
Country Status (3)
Country | Link |
---|---|
US (1) | US7213239B2 (de) |
EP (1) | EP1316884A3 (de) |
DE (1) | DE10158317B4 (de) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP2902905A1 (de) * | 2014-01-23 | 2015-08-05 | Bernecker+Rainer Industrie-Elektronik Gesellschaft MbH | Verfahren zur Überprüfung der Abarbeitung von Software |
WO2020038626A1 (de) * | 2018-08-21 | 2020-02-27 | Pilz Gmbh & Co. Kg | Automatisierungssystem zur überwachung eines sicherheitskritischen prozesses |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
FR2898706B1 (fr) * | 2006-03-17 | 2008-06-13 | Alstom Transport Sa | Dispositif de commande securise a diversification d'un systeme ferroviaire |
US8452983B2 (en) * | 2007-03-23 | 2013-05-28 | Siemens Product Lifecycle Management Software Inc. | System and method for protecting numerical control codes |
ATE464592T1 (de) * | 2007-08-22 | 2010-04-15 | Siemens Ag | Betriebsverfahren für eine steuereinrichtung einer sicherheitsgerichteten automatisierungseinrichtung zum überprüfen der zuverlässigkeit eines automatisierungssystems |
DE102010053668A1 (de) * | 2010-12-07 | 2012-06-14 | Klaus-Dieter Becker | Vorrichtung und Verfahren zur Erstellung eines Programms für computergesteuerte Maschinen |
Family Cites Families (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5905855A (en) * | 1997-02-28 | 1999-05-18 | Transmeta Corporation | Method and apparatus for correcting errors in computer systems |
US6892382B1 (en) * | 1999-05-06 | 2005-05-10 | Sun Microsystems, Inc. | Method and apparatus for implementing deployment descriptors in an enterprise environment |
US7051316B2 (en) * | 1999-10-05 | 2006-05-23 | Borland Software Corporation | Distributed computing component system with diagrammatic graphical representation of code with separate delineated display area by type |
WO2002023857A2 (en) * | 2000-09-11 | 2002-03-21 | Viafone, Inc. | Method and system for integrating applications and mobile networks |
US20020065067A1 (en) * | 2000-11-30 | 2002-05-30 | Arjun Khare | Method for determining whether data service connectivity is supported in a wireless communication system |
US7155381B2 (en) * | 2001-03-12 | 2006-12-26 | Sun Microsystems, Inc. | Module for developing wireless device applications using an integrated emulator |
US6928648B2 (en) * | 2001-04-20 | 2005-08-09 | Sun Microsystems, Inc. | Method and apparatus for a mobile multimedia java framework |
US6931627B2 (en) * | 2001-05-16 | 2005-08-16 | Sun Microsystems, Inc. | System and method for combinatorial test generation in a compatibility testing environment |
-
2001
- 2001-11-28 DE DE10158317A patent/DE10158317B4/de not_active Expired - Fee Related
-
2002
- 2002-11-14 EP EP02025398A patent/EP1316884A3/de not_active Withdrawn
- 2002-11-27 US US10/306,790 patent/US7213239B2/en not_active Expired - Fee Related
Non-Patent Citations (2)
Title |
---|
HÖSCHER, H. und RADER, J., Mikrocomputer in der Sicherheitstechnik, Verlag TÜV Rheinland, Köln, 1984, S. 7-81 und 7-82 * |
Lexikon der Informatik und Datenvorbereitung herausgegeben von Hans-Jochen Schneider, 3. Aufl. Oldenbourg-Verlag, München, Wien, 1991, S. 91, 92 und 410 * |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP2902905A1 (de) * | 2014-01-23 | 2015-08-05 | Bernecker+Rainer Industrie-Elektronik Gesellschaft MbH | Verfahren zur Überprüfung der Abarbeitung von Software |
WO2020038626A1 (de) * | 2018-08-21 | 2020-02-27 | Pilz Gmbh & Co. Kg | Automatisierungssystem zur überwachung eines sicherheitskritischen prozesses |
US11846923B2 (en) | 2018-08-21 | 2023-12-19 | Pilz Gmbh & Co. Kg | Automation system for monitoring a safety-critical process |
Also Published As
Publication number | Publication date |
---|---|
US20030125824A1 (en) | 2003-07-03 |
EP1316884A2 (de) | 2003-06-04 |
US7213239B2 (en) | 2007-05-01 |
DE10158317B4 (de) | 2009-06-18 |
EP1316884A3 (de) | 2004-12-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
EP2422271B1 (de) | Verfahren und vorrichtung zum erstellen eines anwenderprogramms für eine sicherheitssteuerung | |
EP2399174B1 (de) | Verfahren und vorrichtung zum erstellen eines anwenderprogrammes für eine sicherheitssteuerung | |
EP1362269B1 (de) | Verfahren und vorrichtung zum programmieren einer sicherheitssteuerung | |
EP1738233B2 (de) | Sicherheitssteuerung | |
EP3173884B1 (de) | Verfahren zum programmieren einer sicherheitssteuerung | |
EP2363770B1 (de) | Sicherheitsvorrichtung mit einer konfigurierbaren Sicherheitssteuerung | |
EP2325708B1 (de) | Echtzeit-Laufzeitsystem und Funktionsmodul für ein solches Laufzeitsystem | |
EP2422244B1 (de) | Sicherheitssteuerung und verfahren zum steuern einer automatisierten anlage | |
EP0742498A2 (de) | Einbeziehen von einkanaligem Programmcode in eine zweikanalige sicherheitsgerichtete Systemstruktur | |
EP3841438B1 (de) | Automatisierungssystem zur überwachung eines sicherheitskritischen prozesses | |
EP3098673B1 (de) | Verfahren und vorrichtung zur automatischen validierung von sicherheitsfunktionen an einem modular aufgebauten sicherheitssystem | |
DE10219501A1 (de) | System und Verfahren zur Verbesserung von Fehlerbeherrschungsmassnahmen, insbesondere in Automatisierungssystemen | |
EP2098928A1 (de) | Verfahren und Vorrichtung zum Programmieren und/oder Konfigurieren einer Sicherheitssteuerung | |
DE102009019096A1 (de) | Sicherheitssteuerung und Verfahren zum Steuern einer automatisierten Anlage | |
DE10158317A1 (de) | Verfahren zur Generierung und/oder Ausführung eines diversitären Programmablaufs | |
EP2835699A1 (de) | Vorrichtung und Verfahren zum Konfigurieren und/oder Programmieren einer Sicherheitssteuerung | |
EP3588216B1 (de) | Verfahren und system zum fehlersicheren bereitstellen eines analogen ausgabewertes | |
WO2020038627A1 (de) | Automatisierungssystem zur überwachung eines sicherheitskritischen prozesses | |
EP3757688B1 (de) | Verfahren zur konfiguration einer industriellen maschine | |
EP2482154A1 (de) | Verfahren und Bediengerät zum Bedienen einer sicherheitsgerichteten industriellen Automatisierungskomponente | |
EP3940467A1 (de) | Steuerungssystem zur steuerung einer vorrichtung oder anlage | |
EP2312408B1 (de) | Modulare Sicherheitssteuerung | |
DE102022207612A1 (de) | Computer-implementiertes Verfahren zur Verifikation einer Softwarekomponente einer automatisierten Fahrfunktion | |
EP2495625B1 (de) | Verfahren und Programmiersystem für die Authentifizierung eines sicherheitsrelevanten Programms einer Automatisierungseinrichtung | |
EP3647889A1 (de) | Fehlersichere sequenzkontrolle von prozessen |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
OP8 | Request for examination as to paragraph 44 patent law | ||
8125 | Change of the main classification |
Ipc: G06F 1136 |
|
8339 | Ceased/non-payment of the annual fee |