System und Verfahren zur automatischen Prüfung eines Programms für sicherheitsgerichtete Automatisierungssysteme

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, DRAHT, RAINER, NEUPAERTL, HEINRICH, SCHWARTZ, MARIO, GRAMBERG, OLIVER
Format:	Patent
Sprache:	ger
Schlagworte:	CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION ORPROCESSING OF GOODS CONTROL OR REGULATING SYSTEMS IN GENERAL CONTROLLING 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üfende 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.