CAAPE User's Manual - ALSTOM Signaling Inc.

Using Application Files7.10. APPLICATION DATA VERIFICATION7.10.1. Need for VerificationWARNINGVITAL SYSTEM OPERATION REQUIRES THAT:THE BOOLEAN EQUATIONS IN THE VITAL APPLICATION LOGICMUST BE WRITTEN CORRECTLY, SO THAT BY EXECUTING THELOGIC THE VPI SYSTEM OPERATES SAFELY IN ACCORDANCE WITHTHE RULES OF THE RAILROAD.THE APPLICATION LOGIC AND OTHER USER-ENTEREDAPPLICATION DATA MUST BE CORRECTLY CONVERTED BY CAAPEINTO APPLICATION DATA STRUCTURES IN PROM. FOR EXAMPLE,IN CREATING PROM DATA THE COMPILER PROGRAM MUST NOTCHANGE THE LOGIC OF AN EQUATION FROM WHAT THE USERORIGINALLY INTENDED.WARNINGTHE SAFETY OF THE APPLICATION LOGIC AS WRITTEN IS THERESPONSIBILITY OF THE APPLICATION ENGINEER; CAAPE DOESNOT MAKE ANY DETERMINATION REGARDING THE INHERENTSAFETY OF THE LOGIC EQUATIONS THAT WERE ENTERED.VERIFYING THE ACCURACY WITH WHICH CAAPE CONVERTEDUSER-ENTERED APPLICATION DATA INTO PROM DATASTRUCTURES IS AIDED BY CAAPE, BUT THE USER MUST MAKE AFINAL DETERMINATION USING INFORMATION SUPPLIED BY CAAPE.CAAPE’S COMPILERS ARE NOT THEMSELVES VITAL PROGRAMS.AN ADDITIONAL INDEPENDENT PROCESS IS NEEDED TO VERIFYTHAT THE COMPILE WAS DONE CORRECTLY. THIS PROCESS ISREQUIRED FOR ALL VITAL APPLICATIONS.P2512A, Rev. Oct/09 7–27 Alstom Signaling Inc.