Rockwell Automation T3835 ICS Regent Software Validation Package for Winterpret - Manual (Page 4)

Software Validation Package for W INTERPRET (T3835)
4
Industrial Control Services
W INTERPRET Application Compiler/Download Integrity Check
The method for checking the integrity of the Application
Compilers and download process has these steps:
1. The compiler generates from the application Source File
an application Object File of MC68000 machine
instructions. The separate Validator program generates
a Check File derived from the same Source File. The
Check File is an assembly code representation of the
source program (as opposed to the machine-coded Object
File).
Having diverse representations of the application program
deriving from the same source ensures that there is little
likelihood of a common-cause corruption that would go
undetected. Independent generation of machine code and
assembly text provides a supplemental check of the
compiler's code generation.
2. The application Object File is downloaded into triplicated
memories in the Regent. This is the actual executable
application code that is run in the Regent controller.
3. To provide integrity checking of the compile and download
process, the application Object File is uploaded from the
Regent and disassembled, creating an Echo File.
The disassembler is a "third-party" product developed by
an agent not connected with Triplex. This gives it the
advantage of having been made in a different environment
than Triplex tools, thus providing a level of diversity in the
check loop.
4. The Checker program then compares the disassembled
Echo File with the application Check File instruction-
by-instruction to see that they match, closing the loop.
The Checker program will report any discrepancies
between instructions in the two files. Once the match is
verified, it can be assumed the compile/load process is
error-free.