Software Validation Package for Winternet Owner manual

ManualsBrandsRockwell Automation ManualsEquipmentT7835 ICS Regent+Plus

ICS Regent

+Plus

-7

045

Industrial Control Services

Software Validation Package for

INTERPRET

Integrity Checking and Validation Software

for Application Programs and Guarded Peer

Link Configuration

835)

Issue 1,

March, 06

The Software Validation Package for WINTERPRET

is a PC

sed software system designed to help assure the integrity of

Regent application programs by providing a high degree of

fault detection, covering:

errors in entering and editing application programs

transient or permanent faults in the PDS (PC) hardware

(including disk, RAM, CPU and communications) or

operating system software

transient or permanent faults in the serial

communications between the PDS and the Regent

controller

potential faults or errors in the WINTERPRET

program

executable files.

By applying the tools in the Integrity Checker System the

application developer assures to a high degree of certainty

that:

the application program is an accurate implementation of

the specified application functions

the application program is securely downloaded into the

Regent triplicated memories

The Software Validation Package for WINTERPRET

is required

for safety critical applications that require TÜV certification

to Safety Risk Class 5.

Summary of content (14 pages)

PAGE 1
ICS Regent+Plus ® PD-7045 Software Validation Package for W INTERPRET Integrity Checking and Validation Software for Application Programs and Guarded PeerLink Configuration (T7835) Issue 1, March, 06 The Software Validation Package for WINTERPRET is a PCbased software system designed to help assure the integrity of Regent application programs by providing a high degree of fault detection, covering: · errors in entering and editing application programs · transient or permanent faults in the PDS (PC) h
PAGE 2
Software Validation Package for W INTERPRET (T7835) Theory of Operation The Integrity Checker comprises four different programs: the Validator, the Checker, the GPL Checker and the GPL Printer. The Validator and the Checker are used to validate the compilation and download process of safety-related application programs, including those implemented with Ladder Logic and Scaling function block types.
PAGE 3
Software Validation Package for Winterpret (T3835) Figure 1. Application Source Integrity Checker Operation. WINTERPRET Editor Integrity Check WINTERPRET will provide a Print function that produces a hard copy representation of the Source File. After entering a logic specification into the WINTERPRET Editor, a Regent user can make a hard copy of the Source File the editor produced and see that it reflects the original specification.
PAGE 4
Software Validation Package for W INTERPRET (T7835) WINTERPRET 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.
PAGE 5
Software Validation Package for Winterpret (T3835) Checking Guarded Peer-Link Compiler/Download Integrity Figure 2 is a data flow of the integrity check for the Guarded Peer-Link Compiler and download. Figure 2. Guarded Peer-Link Integrity Checker Operation. The Integrity Checker functions described above provide error detection for application programs implemented in Ladder Logic and Scaling function block types.
PAGE 6
Software Validation Package for W INTERPRET (T7835) Link. To validate the download of Guarded Peer Link templates, the GPL Checker and GPL Printer are used. The GPL Checker uploads the Guarded Peer Link template files from the Regent controller and re-converts the template data into readable form in the GPL Echo File.
PAGE 7
Software Validation Package for Winterpret (T3835) Table 1. Failure Modes and Effects Analysis of Application Program Creation and Download Path.
PAGE 8
Software Validation Package for W INTERPRET (T7835) 1. Insert the WINTERPRET base package distribution disk into drive A: or B: 2. Start Windows (if it isn’t already running). 3. Choose Run from the Program Manager’s File menu. 4. Type a:\setup.exe in the text box. (if you inserted the WINTERPRET base package disk in drive B: type b:\setup.exe.) Choose OK or press ENTER. 5.
PAGE 9
Software Validation Package for Winterpret (T3835) Validator and create the assembly code listings for each program function block, then run Checker to retrieve and compare the Regent’s version of the program to WINTERPRET’s version. Operation Instructions for Validator Start Validator by selecting the program icon for the application or run the program from the Windows Program Manager. Log on using a WINTERPRET user name and password.
PAGE 10
Software Validation Package for W INTERPRET (T7835) check program path: Attempting to get the function block list... OK Uploading: OK Comparing... Compiled file: Uploaded file: Function Block 1 : All instructions match. OK Uploading: . . .
PAGE 11
Software Validation Package for Winterpret (T3835) provides tag names for the imported and exported variables. The project also provides the variable types, and values for comparison to the template values.
PAGE 12
Software Validation Package for W INTERPRET (T7835) gplcheck Loading project dictionary. OK Reading import templates. OK Creating import file. OK Processing import templates. OK Reading export template. OK Processing export template. Computing template CRC. OK OK Template checking completed. Successful. Figure 4. Messages Displayed by GPLCHECK.
PAGE 13
Software Validation Package for Winterpret (T3835) Import template definitions for REGENTA Tue Mar 15 15:24:31 1994 Binary image: C:\WINTERP\REGENTA\2NETWORK\2NWIMAGE.BIN Mon Mar 14 10:24:31 1994 Provider node 2 Provider template CRC = 0x9f41 Name Type Power Up Val No imports from this node. Timeout Val Timeout Action Timeout Val ----1 -2.
PAGE 14
Software Validation Package for W INTERPRET (T7835) gplprint
Network listing file successfully written. Figure 7. Messages Displayed by GPLPRINT. Network configuration for: C:\WINTERP\2NET_DIR\2NETWORK.DAT Tue Mar 15 11:35:22 1994 Participating projects: REGENTA REGENTB Variables provided by REGENTA: CR1 CR10 CR2 FP9 Variables provided by REGENTB: No variables provided by this project. Figure 8. Sample Listings for GPLPRINT.