TrustedTM PD-T8015 TrustedTM Toolset Application Validator Software Package Introduction The IEC1131 TOOLSET Application Validators are a suit of four programs that enable the applications developer to validate and verify application programs generated by the IEC1131 TOOLSET.
TrustedTM Application Validators T8015 Issue Number Date 7 Issue 7 Oct 05 Oct 05 Revised by Technical Check J W Clark Authorised by Modification Format PD-T8015 2
TrustedTM Application Validators T8015 This page is intentionally blank Issue 7 Oct 05 PD-T8015 3
TrustedTM Application Validators T8015 Table of Contents 1. Description ...................................................................................................................................7 1.1. Validator #1 – Cross Reference Checker ....................................................................................7 1.1.1. Using Validator #1........................................................................................................................7 1.1.2.
TrustedTM Application Validators T8015 Notice The content of this document is confidential to ICS Triplex Technology Ltd. companies and their partners. It may not be given away, lent, resold, hired out or made available to a third party for any purpose without the written consent of ICS Triplex Technology Ltd. This document contains proprietary information that is protected by copyright. All rights are reserved.
TrustedTM Application Validators T8015 Revision and Updating Policy All new and revised information pertinent to this document shall be issued by ICS Triplex Technology Ltd. and shall be incorporated into this document in accordance with the enclosed instructions. The change is to be recorded on the Amendment Record of this document.
TrustedTM Application Validators T8015 1. Description 1.1. Validator #1 – Cross Reference Checker This Validator processes the cross reference file that is output as a result of using the IEC1131 TOOLSET 'Cross Reference' tool. The Validator processes this file then presents the user with a graphical display of variable usage. This enables the user to easily identify variables that are shared between programs within an application. Programs that share one or more variables are dependent on each other, i.e.
TrustedTM Application Validators T8015 1.2. Validator #2 – TIC Code Cross Reference Checker This Validator performs the same task as Validator #1 to produce a graphical display of variable usage and program dependencies that the applications developer can use to aid program verification and retest.
TrustedTM Application Validators T8015 1.4. Validator #4 – TIC Version Checker This Validator is used to compare the compiled TIC code produced by the IEC1131 TOOLSET TM compiler with the application loaded into the Trusted Main Processor. The intended use of this TM validator is to confirm that the application being executed in a Trusted system matches the toolset copy of the TIC code.
TrustedTM Application Validators T8015 1.5. Program Dependency Tree The program dependency tree produced by Validators #1 and #2 shows program and variable dependencies by displaying them in a tree hierarchy. The top level nodes in the tree give the programs from the application. These expand to list the variables used by a program, and these in turn expand to list the programs that use a variable.
TrustedTM Application Validators T8015 1.6. Errors and Warning The following ‘Errors’ and ‘Warnings’ by the Application Validators as they are detected. 'Not all dependency information has been examined' This warning is displayed if an attempt is made to exit the program, or print a dependency report, before all the dependency information has been viewed. The dependency information is considered viewed when all the top level program nodes in the view tree have been expanded.
TrustedTM Application Validators T8015 'Error accessing application history file !' This message is displayed when a file I/O error occurs when accessing the application history file. 'Error reading Uchar' 'Error accessing download database file' 'Error reading uint16' 'Error reading uint32' 'Error reading in ReadChars' 'Error reading in ReadCharsFrom' 'Error Loading CODEPROG' These messages are displayed when an error occurs while reading from the download database file.
TrustedTM Application Validators T8015 This page is intentionally blank Issue 7 Oct 05 PD-T8015 13
