Rockwell Automation T8015 Trusted Application Validators - Manual

SDS-8015
Trusted
TM Industrial Control System
Trusted TM Application Validators - T8015
Issue 5 Jan 2006
INTRODUCTION
The
IEC-1131 TOOLSET Application
Validators comprises a set of three specially
developed Windows based programs that
support the user when using the IEC-1131
TOOLSET
to develop safety related
applications.
APPLICATION VALIDATOR 1
A primary goal for applications engineers when
using ISaGRAF in safety-related applications is
to
minimise the interaction between
applications programs within an ISaGRAF
project. Interaction is most likely to occur
when two or more programs access the same
variable. Changes to one program that
accesses a shared variable must be tested, as
should those other programs that read/write
the same variable.
Application Validator 1 implements a cross-
reference check of the application programs to
determine the identity, and number, of
programs accessing the same variable. The
file generated by the IEC-1131 TOOLSET
cross-reference function contains details of
programs and variables within the users
application. The first application validator
processes this file to build a table of
dependencies. The dependencies are defined
by programs that share one or more variables.
A ‘tree view’ (see SCREEN DISPLAY overleaf)
is presented to the user with nodes highlighted
in red to show those programs and variables
that interact. This information enables the user
to identify which programs must be re-tested
due to direct or indirect changes, i.e. via
shared variables.
APPLICATION VALIDATOR 2
The second validator is used, in
conjunction with the first, to trap any
dependencies
that the IEC-1131
Compiler introduced either through
optimisation or error. This validator
processes the intermediate (TIC) code
produced by the IEC-1131
Compiler and
once again presents the user with a
‘tree
view’ of the application
dependencies that have been
determined.
APPLICATION VALIDATOR 3
The third validator provides the user
with the ability to compare two versions
of a compiled program. This validator
can show the user which programs differ
from one version of the application to
another enabling him to ensure that
appropriate testing is performed and
that the changes are indeed what were
expected.
FEATURES
Windows NT/XP
applications
On screen and
printed reports
available
Results presented
in ‘easy to use’
format