© 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

Table of contents

Itris Automation Square: our company, our technology

PLC Checker

PLC Converter

Contact information and corporate documents

October 9, 2013 2

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

ITRIS AUTOMATION SQUARE

Software editing company

October 9, 2013 3

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

Itris Automation Square

Based in Grenoble (French Alps)

Established in 1995 as a system integrator

2008: became a software editor

Dual competence : automation & science

17 years R&D developing enhancement tools for PLC programs

October 9, 2013 4

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

Our references

October 9, 2013 5

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

Our technology

Program imports

Coding rules checkingDocumentation

PLC code controlled generation

MetricsC code

generation

PLC Converter: Modernisation of PLC installation base

PLC DocGen : auto generation of documentation and workflow

PLC Checker : Quality measure and compliance tests with coding standards

(testing phase)

October 9, 2013 6

Analyzers: 40 languages for 9 brands and 20 PLC models currently supported :

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

PLC CHECKER

Automatic testing of PLC programs quality

October 9, 2013 7

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

PLC Checker

Automatic static analysis tool

Requires a set of rules and a PLC

program to give result

Supports all analyzer from Glips

technology

Designed as a collaborative tool

between software stakeholderResults

Analysis done on Glips format

User Interfaces

Set of rules

Option

October 9, 2013 8

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

Why follow programming rules?

Consistency across PLCs of one plant/one company

Same guidelines for all stakeholders: Quality/Methode team, development team, project management, maintenance, direction

Corporate consistency for variable naming, application structure, variable elaboration and consumption

Quality management

Formal programming methods – team & subcontractors coordination

Avoid critical programming mistakes

Easier maintenance readability of the code + shorter bug fixing

October 9, 2013 9

Certification bodies requirements

FDA, IEC 61508, ISO 50128, OMAC, IAEA, DNV ISDS, etc...

Objective criteria about code acceptance

Quick, efficient, repeatable verification

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

PLC program quality: what does it mean?

Safety Property

- Dead code

- Variables written

before read

Abstract Interpretation

Software does not fail

ConceptionProperty

- Respected coding

standard

- Program execution

order is correct

Static Analysis

Software is maintainable

Function & timing property

- Traffic light sequence

is always green> yellow

> red and conditional

- In safe mode, all

critical commands are

deactivated

Model Checking

Spec is well implemented

PLC Checker

October 9, 2013 10

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

October 9, 2013 11

Dead code

Measure of the cyclomatic complexity

The Squale quality Model & PSaQC – by Det Norsk Veritas

Testability

Variable overlap

Variable written from different tasks

Infinite loop

Code structuration

Variable written from different routines

Variable being read before being written

Application configuration

Naming & comment of elements

Code in comment

Unused FBs

Mnemonics should not contain a physical address nor special character

PLC program quality: what does it mean?

Reliability

Changeability

Efficiency

Maintainability

Reusability

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

PLC CONVERTER

Automatic Translation of PLC Programs

October 9, 2013 12

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

PLC Converter : 4 steps

October 9, 2013 13

through Itris cloud app

PLC Converter preserves the semantics of the code

By importing the generated code in the development environment of the target PLC

PLC Converter runs then as a batch process on Itris Automation Square servers

Automatic translation of the program

Export of the existing application and upload of the files

Delivery of the new application and of a conversion report that lists the few issues

specific to the target PLC

Validation of the automatic translation

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

PLC Converter : usage

PLC Converter translates automatically 100% of :

the database

the variables

the source code

Remaining part to be converted manually :

axis cards

regulation cards

communication cards

related to the specific features of the PLC

Use PLC Converter as a code generator:

Convert specific functions or function blocs into GLIPS

Store them into that high level of abstraction language

Convert them when needed into the chosen target PLC

October 9, 2013 14

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

CONTACT & INFORMATION

Don’t hesitate to ask for more!

October 9, 2013 15

© 2

008-2

013 Itr

is A

uto

mation S

quare

SA

S

For more information

Corporate website: www.automationsquare.com

Trial website: www.plcchecker.com

Presentations: www.slideshare.net/ItrisAutomationSquare/

Your contact person

Valerie Fontaine

Business Developer EMEA

@: valerie.fontaine@automationsquare.com

Mobile: +33 6 52 69 97 52

October 9, 2013 16