© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

Itris Automation Square

Improving the quality of PLC programs

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

Inhaltsverzeichnis

Itris Automation Square: Unternehmen & Technologie

PLC-Checker

PLC-Converter

Kontaktdaten und weiterführende Informationen

8. Oktober 2013 2

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

ITRIS AUTOMATION SQUARE

Software-Hersteller

8. Oktober 2013 3

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

Unternehmenspräsentation

Firmensitz in Grenoble (Französische Alpen)

1995 als Dienstleister im Bereich Systemintegration gegründet

2008 Wandel vom Dienstleister zum Softwareeditor

Duale Kompetenz in den Bereichen der Informations- &

Automatisierungstechnik

17 Jahre Forschungs- und Entwicklungstätigkeiten in der

Verbesserung von SPS-Programmen

8. Oktober 2013 4

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

Referenzen

8. Oktober 2013 5

Endkunden aus verschiedenen Branchen:

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

Zugrundeliegende Technologie

(testing phase)

8. Oktober 2013 6

Programmimport

Codierungs-regeln

Dokumentation

PLC code controlled generation

MetricsC-Code

Generierung

PLC Converter: Modernisierung von SPS gesteuerten Installationen

PLC DocGen : Automatische Generierung von Dokumentation und Ablaufplänen

PLC Checker : Qualitätsmessung & Überprüfung auf Übereinstimmung mit Codierungsstandards

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

PLC-CHECKER

Automatische Qualitätsprüfung von SPS-Programmen

8. Oktober 2013 7

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

PLC-Checker

Automatische, statische Analyse

Bedarf von Codierungsregeln und

einem SPS-Programm :

Standardmäßiges Angebot von

generischen Codierungsregeln

Herstellung eines Regeleditors für

spezifische Regeln

Unterstützung aller Analysen von

Glips-Technologie

Cloud Anwendung:

gemeinsame Entwicklungs-

umgebung zum Informations-

austausch und zur Verfolgung der

Qualitätsentwicklung während

des gesamten Lebenszyklus

Ergebnisse

Analyse im Glips-Format

NutzerInterfaces

Option

8. Oktober 2013 8

Codierungsregeln

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

Qualitätsmanagement

Nutzbarkeit

Leistung

Betriebssicherheit

Funktionalität

Bug-Aufklärungsrate

Wartungskosten

Codierungsaufwand

Wiederverwendbarkeit

Prüffreundlichkeit

Beständigkeit

VeränderlichkeitFähigkeit

Wartbarkeit

Coupling

Abfertigungsausnahmen

Fehlertoleranz

Verständlichkeit

Lesbarkeit

Architektur

Source: PSaQC (~“Psychic”) PLC Software automated Quality Contro, DNVl

8. Oktober 2013 9

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

Qualitätsmanagement

Nutzbarkeit

Leistung

Betriebssicherheit

Funktionalität

Bug-Aufklärungsrate

Wartungskosten

Codierungsaufwand

Wiederverwendbarkeit

Prüffreundlichkeit

Beständigkeit

VeränderlichkeitFähigkeit

Wartbarkeit

Coupling

Abfertigungsausnahmen

Fehlertoleranz

Verständlichkeit

Lesbarkeit

Architektur

Source: PSaQC (~“Psychic”) PLC Software automated Quality Contro, DNVl

8. Oktober 2013 10

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

October 8, 2013 11

Toter Programmcode

Messung der McCabe Metrik

The Squale quality Model & PSaQC – by Det Norsk Veritas

Prüffreundlichkeit

Überschneidungen von Variablen

Variablen werden aus unterschiedlichen Aufgaben geschrieben

Infinite loop

Struktur des Programmcodes

Variablen werden aus unterschiedlichen Subprogrammen geschrieben

Variable muss gelesen werden, bevor sie geschrieben wird

Konfiguration der Anwendung

Namierung & Kommentar der Elemente

Programmcode in Kommentaren

Ungenutzt FBs

Kürzel sollten keine physikalische Adresse oder spezifischen Buchstaben enthalten

SPS Programmqualität: Bedeutung

Ausfallsicherheit

Veränderlichkeit

Effizienz

Wartbarkeit

Wiederverwendbarkeit

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

Bedeutung der SPS-Programmqualität

Sicherheit Eigentum

- Totencode

- Variablen sollen zuerst

geschrieben worden,

bevor sie gelesen

werden

Abstrakte Interpretierung

Keine Softwares Erfolglosigkeit

KonzeptionProperty

- Codierungsstandard

respektieren

- Richtige Order der

Programmablauf

Statische Analyse

Instandhaltbarkeit des Softwares

Funktion & Zeitmanagement

Eigentum

- z.B. Traffic light ist

immer Grün > Gelb >

Rot und bedingend

- In Sicherheitsmode

sind alle entscheidende

Kontrolle deaktiviert

Modele Prüfung

Spezifitäten sind korrekt in den SPS Programm implementiert

PLC-Checker

8. Oktober 2013 12

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

PLC-CONVERTER

Automatische Übersetzung von SPS-Programmen

8. Oktober 2013 13

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

PLC Converter : 5 Etappen

8. Oktober 2013 14

Durch IAS Cloud App

Mittels einer zuvor ausgefüllten Excel® Tabelle mit einer Liste aller Variablen, die in den Code automatisch gefunden werden

PLC-Converter stellt den semantischen Aspekt der Codes dar

Durch den Import der generierten Codes in der Entwicklungsumwelt der Ziel-SPS

Lieferung der überarbeiteten Anwendung und eines Konversionsberichts mit einer Liste

der spezifischen Probleme

PLC-Converter läuft auf dem Server von Itris Automation Square

Zustimmung zur automatischen Übersetzung

Automatische Übersetzung des Programms

Vom Nutzer vorbereiteten Eingang/Ausgang mappen

Existierende Anwendungen exportieren und hochladen

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

Nutzung des PLC-Converters

Automatische Übersetzung des PLC-Converters:

der Datenbank

der Variabeln

des Quellcodes

Manuelle Konvertierung :

Axis Cards,

Regulation Cards,

Communikation Cards

Nutzung des PLC-Converters als Codegenerator:

Konvertierung bestimmter Funktionen oder FBs in GLIPS

Speicherung in der hochabstrakten Ebenensprache

Bei Bedarf spätere erneute Konvertierung im gewählten Zielprogramm

8. Oktober 2013 15

An spezifische Features des SPS Programms gebunden

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

KONTAKTDATEN &

WEITERFÜHRENDE INFORMATIONEN

Bei Rückfragen stehe ich Ihnen gern zur Verfügung!

8. Oktober 2013 16

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

Weiterführende Informationen

Unternehmenswebsite: www.automationsquare.com

Testwebsite: www.plcchecker.com

Präsentationen: www.slideshare.net/ItrisAutomationSquare/

Ihr Ansprechpartner

Valérie Fontaine

Business Developer EMEA

@: valerie.Fontaine@automationsquare.com

Mobile: +33 6 52 69 97 52

8. Oktober 2013 17