SYSTEM AND METHOD FOR AUTOMATICALLY TESTING A PROGRAM FOR SAFETY-RELATED AUTOMATION SYSTEMS

Die Erfindung bezieht sich auf Verfahren zur automatischen Prüfung eines Programms für Automatisierungssysteme (1), insbesondere speicherprogrammierbare Steuerungen, hinsichtlich Einhaltung von Programmierrichtlinien für die Gestaltung von Programmen für Automatisierungssysteme, wobei - in einem ers...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	VERYHA, YAUHENI, NEUPAERTL, HEINRICH, SCHWARTZ, MARIO, GRAMBERG, OLIVER, DRATH, RAINER
Format:	Patent
Sprache:	eng ; fre ; ger
Schlagworte:	CALCULATING CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION ORPROCESSING OF GOODS COMPUTING CONTROL OR REGULATING SYSTEMS IN GENERAL CONTROLLING COUNTING ELECTRIC DIGITAL DATA PROCESSING FUNCTIONAL ELEMENTS OF SUCH SYSTEMS GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS ORELEMENTS PHYSICS REGULATING TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINSTCLIMATE CHANGE
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Die Erfindung bezieht sich auf Verfahren zur automatischen Prüfung eines Programms für Automatisierungssysteme (1), insbesondere speicherprogrammierbare Steuerungen, hinsichtlich Einhaltung von Programmierrichtlinien für die Gestaltung von Programmen für Automatisierungssysteme, wobei - in einem ersten Schritt eine Kopie eines Programms oder eines Programmteils aus einem Entwicklungssystem (21) für Automatisierungssysteme als zu prüfendes Programmkopie exportiert wird, - in einem zweiten Schritt die zu prüfende Programmkopie in eine Prüfeinrichtung (22) zur Prüfung von Programmen geladen wird, wobei die Prüfeinrichtung (22) Zugriff auf Programmierrichtlinien zur Programmprüfung hat, und - in einem dritten Schritt dort die Programmprüfung hinsichtlich einer Einhaltung der Programmierrichtlinien automatisch durchgeführt und das Prüfergebnis ausgegeben wird. The invention relates to a method for automatically testing a program for automation systems (1), in particular programmable logic controllers, with regard to maintaining programming guidelines for program design for automation systems, wherein, in a first step, a copy of a program or a part of a program is exported from a development system (21) for automation systems as a copy to be tested, in a second step, the program copy to be tested is loaded into a test device (22) for testing programs, wherein the test device (22) has access to programming guidelines for program testing, and in a third step, the program test with regard to maintaining programming guidelines is performed automatically and the test result is output. L'invention concerne un procédé de contrôle automatique d'un programme pour systèmes d'automatisation (1), en particulier pour commandes programmables, en termes de respect de directives de programmation pour la conception de programmes pour systèmes d'automatisation. Dans une première étape, une copie d'un programme ou d'une partie de programme est exportée d'un système de développement (21) pour systèmes d'automatisation pour constituer une copie de programme à contrôler. Dans une deuxième étape, la copie de programme à contrôler est chargée dans un dispositif de contrôle (22) destinée à contrôler des programmes, le dispositif de contrôle (22) ayant accès pour le contrôle des programmes à des directives de programmation. Dans une troisième étape, le contrôle du programme y est effectué automatiquement pour vérifier le respect des directives de programmation et le résultat du contrôle