Home

PLC Checker User Guide

Contents

1. PLC Checker User Guide 6 Concepts 57 ol Pok de D EA AA 57 GLI Soo EIA OO A eee ee EN 57 6 1 Rules activation e ea es esera miae ate eee Goh NE te amp ws 57 BES les OR ada 31 Gaze Rules identi s sr ou ea te ones rasa eds 58 Clo Code MEN 546445566 Suri 58 OLO agen cova o eee heat OGRA A aa A a oe 58 6 1 7 To enable a rule using other rules 58 6 1 8 To enable one rule or rules group in a list 59 6 1 9 Identifier for CSV format export excesos eee been bee ac daa er ns 59 6 1 10 Node visibility for protected files bay eb eee REE eK SHO EG es 59 6 1 11 List of editable properties for protected files 2 2 cis ei dee eh EE HH od 59 OLI more seven cee ee ee Pee SESERABRECEE SERRE REESE ASS 59 6 1 13 warningThreshold property 59 6 1 14 errorThreshold property 59 6 1 15 defaultResultld property A 59 6 1 16 errorMessage property ar S 60
2. Code filter treatments See Concepts Rules Code filter January 2011 71477 D cris inion square PLC Checker User Guide Data filter variables See Concepts Rules Data filter Check type checkType The block contains dead code containsCode This check type insure that each of the code blocks defined by the treatments property contains at least one instruction The block is present present This check type insure that at least one of the code blocks defined by the treat ments property is present in the application This is used to check that application follows a given conception plan The block is NOT present notPresent This check type insure that each of the code blocks defined by the treatments property is NOT present in the application This is used to check for example that temporary codes adjustment simulation validation are removed fro application The block contains dead code containsDeadCode This check type insure that each instruction of each of the code blocks defined by the treatments property can be executed in the application The set of the unreached instructions is added to the result file This allows to find unused code that can be source of lost of time during maintenance 7 7 Equation check equationCheck Mi equationCheck Figure 7 7 Equationcheck 7 7 1 Usage This rule works on writing references of variables It allows to check wh
3. Figure 4 7 Copy program code 30 77 January 2011 Automation Square CS ITRIS PLC Checker User Guide 4 1 2 Creation on IAS with wizard PLC Checker project to be defined e Access to My projects page top left corner AAA This page is your logged homepage into automationsquare com It gives you possibility to run all Itris AutomationSquare programs Please this action you want to perform Today View Your existing Projects Figure 4 8 Access to the projects page e Create a new project to contain the programs or select an existing project Vos projets Page principale Figure 4 9 New project creation e This page allows the creation of new project 1 Give a name and a description of the project 2 Some complementary informations can be specified for the project name customer address and rules file Those project informations are a default values for all corresponding program s data 3 Enter the program characteristics name description PLC type Associate a right to the program from the box PLC Checker Right one right program e If you do not already have right for this action please use right order interface or contact the commer cial O automationsquare com e If you have right for this action select a right to be associated from the box PLC Checker Right 4 A Additionals information can be entered for the program name customer address r
4. Figure 5 2 Export L5K file 5 3 ASC AWL GR7 and SCL Export files generation from Step To analyze a STEP7 application with PLC Checker you have to e create and export the symbols of this application in an ASC file using the German abbreviations e create and export the contact code CONT in an AWL file e create and export all graph blocs GRAPH in GR7 files e export structural codes SCL in SCL files 5 3 1 Create ASC file e To create an ASC file you have to open the symbols editor ci 4 AT J SIMATIC Manager 57_Prol Cs Siemens Step s proj 57_Pro1 ioj xj Ep Fichier Edition Insertion Syst me cible Affichage Outils Fen tre 7 x alel ae de EJE wal lo Sl E Aucun filtre gt E 57_Frol B Sources Em Station SIMATIC 300 fgg CPUSTSCI1 ee M n monigues H en Programme 71 Ouvrir un objet Ctrl lt 5 Couper Ctrl x Copier Ctro Caller trl Effacer Suppr Systeme cible Imprimer Renommer Fz Propri t s de l objet Alt Entr s Propri t s sp cifiques de l objet Ouwre un objet s lectionn Figure 5 3 Open symbol table e In the symbols editor use the Table gt Export menu January 2011 49 77 o res gp mation square PLC Checker User Guide Editeur de mn moniques Programme Sf 1 Mn moniques 5 7 aj xj Table Edition Insertion Affichage Outils Fen tre _ e x LE Ouvrir Chrl 0 k Fermer Ctrl F4 1 Enr
5. Rename gy Import gy Export i mM gt E 3 Refresh best Figure 8 1 New file creation 1 In the Eclipse Navigator view use right clic on the project or folder were you want to create the rules files 2 In the contextual menu select New gt File 3 Enter the file name with extension gqr for example My_rules_file gqr The extension must be gqr glips quality rules and must respect the lowercase 4 Clic on Finish 74117 PLC Checker User Guide A ITRIS Y Automation Square Hew File File Create a new file resource Enter or select the parent Folder File name My rules _File gqr Advanced gt gt cms Figure 8 2 New rules file creation A complete rules file is created This file already contains basics rules The file is opened in the PLC Checker rules editor You have to define the code sections initialization inputs acquisition outputs emission etc and also the variables types inputs outputs alarms etc If necessary you ll have to define the addresses of the supervision tables Resource My_rules_tile eqr Eclipse Plattorm File Edit Navigate Search Project Run Window Help To HSOlQa e lee 85 Navigator 3A 7 O ES test project A My_rules file gqr An outline is not available ile BE outline 53 ON id INITIALISATION E Resource B tmy rules file agr X E B3 D finition des blocs de
6. Eclipse Plattorm File Edit Navigate Search Project Run Window Help ITS LEDE SAn ee tS Navigator 2 gt 0 f My rules file ggr X al E 3 y 83 Chaque type de blocs de code de l application est pr sent MO 1 y a du code dinitialisation M 0 Il y a du code d acquisition des entr es 10 Il y a du code d acquisition des t l commandes M oO Il y a du code de mise jour des modes de marche Il y a du code de mise jour des d fauts et alarmes 0 Il y a du code de mise 4 jour des informations pour la supervision Il y a du code de mise 4 jour des sorties 10 L ensemble du code appartient un type E 83 L application est bien comment e et les symboles sont de qualit Toutes les objets ont un symbole de plus de 5 caract res M Tous les objets ont un symboles n ayant pas de r f rence leur adresse physique MS Tous les objets ont un commentaire de plus de 1 caract res M Y Les variables pour la supervision sont bien dans les tables M Les t l commandes sont l int rieur des tables de t l commandes Les t l r glages sont l int rieur des tables de t l r glages Les t l signalisations sont l int rieur des tables de t l signalisations Les t l mesures sont l int rieur des tables de t l mesures Ea test project A My_rules_file agr B Outline 28 OA z mAs An outline is not available Propert Value errorThreshold warningThresh
7. digital inputs as the ID dig_in rulesGroup named analog inputs as the ID ana_in a rule working on inputs can used the following variables property dig_in ana_in e Example 2 rulesGroup named digital inputs as the ID dig_in rulesGroup named analog inputs as the ID ana in a rulesGroup named inputs with ID all in can regroups all inputs using the variable property dig_in ana_in a rule working on inputs can used the following variables property all_in 64 77 January 2011 f LA Automation S PLC Checker User Guide Ulomation square Mon premier fichier de r gles ggr X E M 82 Les entr es a E Les entr es TOR id entreeTOR l Pa EE Les entr es analogiques id entreeA N E Les t l commandes DL E Les consignes oe rape Les entr es ne sont jamais lues Propri t Valeur name Les entr es ne sont jamais lues id treatments variables tentreeTOR Hentreearia checkType nok yritbenInBlack Figure 6 4 Re use filter example 6 3 Result file The results of the PLC Checker analyze maid on the application file s using a rules file are putted in a file with the gqre extension glips quality result In this file the errors are ordered by two ways 1 by rules order using the checked rules tree of the rules file Only the enabled rules are displayed 2 and by application workshop order Each error is attached to an element of the applic
8. seau Simulation de modules Configurer le diagnostic de processus Param trage de l interface PIPZ Modifie divers param tres individuels de cette application dh Figure 5 6 STEP7 workshop parameters e In Language tab select German abbreviations and clic on OK Param tres E x Langue G n ral Alfichage Colonnes Num ro de message Archivage Langue Abr viations fran ais Exemple 1 Exemple 2 U ET 0 5 44 0 C Anglaises 211 0 5040 Annuler Aide Figure 5 7 Select German abbreviations e To create the AWLfile source LIST must be generated Open CONT LIST LOG code editor January 2011 51 77 P cris Automation Square PLC Checker User Guide Dle 85 tee do o Sa a 57 Prol s M fd Station SIMATIC 300 Ouvrir un objet Chera lio I Y CPUS13C 1 ee 1 Programme 571 Chris 7 Copier Ctrl 0 Soller tri Effacer Suppr Ins rer un nouvel objet Systeme cible R assignation Comparaison de blocs Donn es de r f rence Imprimer Renommer Fz Propri t s de l objet Alt Entr e Propri t s sp cifiques de l objet Ouwre un objet s lectionn Figure 5 8 Open CONT LIST LOG editor e Close all edited objects Menu File gt Close HA CONT LIST LOG 0B1 NES iol xi Fichier Edition Insertion Syst me cible Test Affichage Outils Fen tre HMouveau Ctrl h Ouvrir Chrl 0 Ctri F3 Ctrl F4 Ouvrir en
9. 6 1 17 noMatchMessage properly 60 II GS AE AA RAR 60 6 2 1 Generality 408 4 6ee Bowe 6 eo I OO eho ee SG Be ee 60 6 2 2 Limitations c o 60 6 2 3 Symbols filters nnn A 60 6 2 4 Symbols filters using regular expressions WWA 61 6 2 5 _ Attributes GEL Qe 61 6 2 6 Absolutes addresses filters 61 67 Filters intersecctim O ww A 62 A Filters union EE A E AN 62 Oem Filters differenc A 62 SAA Filters usage E S O CS 2 62 6 3 ee dd MN a 63 Ma ntine results SR 63 7 The rules 64 7 1 Rules group rulesGroup 64 7 1 1 Wee 2 ee 64 7 1 2 Qe me 64 7 2 Read Check readCheck MM ok ae eee ee eee eee he ee eee oe ee 65 7 21 A ee ee 65 7 2 2 PO we eee 65 7 3 Write Check writeCheck TETERA 65 Ts USAS andara ooo IA G 65 iZ PON e ava 4 ee AAA 66 7 4 Symbol check symbolCheck 67 MAL USA oe ae ee ee Re we ee eee eee ee Ae ee ee ee ee E 67 TAZ o se aga kee deen Phase ewabeeee be aeeeees SPR ee eee eH 67 7 5 Attribute check attributeCheck tebe ee enue ee eee eee eee eee ee eee 68 RC 68 Lo A 2 2 koe a ee ea Aras 68 7 6 Code blocks check blockCheck Pa eR eRe RE ORE Pe ee ee ee ee ore 69 TiN AI 69 102 PONO oa ros en See NE ESE AA 69 7 7 Equation check equationCheck UE Re ram de 70 R aaa aa AR AAA AAA 70 ASA o ah ee eee ek ee ee ee ee ee ee eee ee ee
10. 70 4177 January 2011 PLC Checker User Guide LA Automation Square 8 Rules file creation and edition 8 1 Rules file creation pe ee ee eee ene ee eeeweeese 82 Adal 8 3 Cancel modifications 4 26 4 2 UN se ew 8 4 Copy and past rules 8 Delete rules 64446 das eed ew EE Re ee Be 8 6 Operations on rules properties 8 7 Printing rules We 9 Final license contract for PLC Checker January 2011 5 77 Cian maton square PLC Checker User Guide 6 171 January 2011 Chapter 1 Preamble This document is the user guide of the PLC Checker software of Itris Automation Square After a short introduction the Eclipse platform dedicated to PLC Checker is presented installation updates usage The rules files creation and edition and the PLC export files generation are explained in the two following chapters Next chapter describes the PLC Checker project creation the way to launch the PLC Checker and how to show PLC Checker results An introduction to the filter and rules concepts and a description of the result file are given in the following chapter The last two chapters show the rules references and the link to the PLC Checker license contract TTT Chapter 2 Introduction PLC Checker analyzes a PLC code to check if it respects programing and conce
11. Ey E JE 1 Fl 4 gt My project 4 2 my_program cycle_avalant GR7 cycle montant GR7 A FB SCL A FCSCL list AWL mnemoniques asc Eee L regles_plc_checker stenZ aar New Open Open With gt ES Copy Ctrl C p Outline 2 Pare Paste Ctrl V An outline is not available Delete Delete Move Rename F2 gy Import 7 g ua Export TE E Refresh FS iption Resource Path Location Run As EN Debug As Get last action result Profile As gt Run PLC Checker for Unity Team gt Run PLC Checker for Step7 Compare With Run PLC Checker for Step5 Replace With gt Run PLC Checker for RSLogix5000 r GLIPS Tools Run PLC Checker for Pi7Pro E 4 My projec a JAYS nm Properties Alt Enter Figure 4 34 Get last action results e View result file gqre on Eclipse platform When asked to by the Eclipse platform you have to choose the result file name Clic on OK 46 77 January 2011 D ITRIS Automation Square PLC Checker User Guide Enter or select the parent folder My_project my_program a 123 My project 2 my_program File name results gqre O Figure 4 35 Result file name e If the result file already exists the following dialog box appears Clic on Yes to delete the existing result file Clic on No to go back to the result file name definition Clic on Cancel to cancel getting results e The result
12. are found click on the following button to upload them www automationsquare com Figure 4 3 Select PLC application export file s e Download the rules file on the server from the website step 3 1 If you are not at step 2 clic on the corresponding link Load a rules file 28 77 January 2011 Automation Square CS ITRIS PLC Checker User Guide 2 Search on your disk the rules file using the File field 3 Clic on the Add all files button to upload files on the IAS server Actions Mozilla Firetox Fichier Edition Affichage Historique Marque pages Outils Qe X Cc x FEST nitos 1iwww automationsquare comjactions view 18 1696 Y 2 Load PLC Files into repository Everything is loaded 4 Choose a valid key Key associated Go to next step 5 Launch PLC Checker Unlimited Action still to be Launch PLC Checker Unlimited PL7 Pro via the PL7 Pro launched 6 Close the action Program File Upload Wizard for Schneider Electric PL7 PRO Please choose all the files you have for your PLC program and then click on Add all Files button You can as well checkthe content of files you have already uploaded below Mandatory files Rules file GQR iis HIN ot Re cone This file contains rules j Hoyte get Mis maz Use Rules Editor to create or edit such a file CADocuments and Settii _P Optional files No optional file When all available files are found click on
13. characteristics of the project previously created on the website On Eclipse platform select a new the PLC Checker project then clic on Next button Alt Shift N gt Project Open File Elie Close Ctrl W File Close All Ctrl Shift W Untitled Text File Save Ctr S Other Ctri N Save As i Save All Ctri Shift S Revert Move Select a wizard Rename Create new PLC Checker 2 Refresh Convert Line Delimiters To Wizards Print type filter text Switch Workspace 4 gt General ES Project Restart d 4 gt Itris Automation Square Import PLC Checker Export Properties Alt Enter Exit Location Cancel 0 items selected Figure 4 25 New project Enter the program code of your project in the Code field Clic on the Finish button The platform create on your workspace a folder named like the project defined on the website The platform also copy in that folder the files contained in you project on the IAS server Enter new project informations New program PLC Project My_project PLC Application my_program Description IAS Right o m gt l tino Figure 4 26 Enter program code 40 77 January 2011 a ITRIS Automation S PLC Checker User Guide _ Aulomation square 4 2 Run PLC Checker 4 2 1 Run PLC Checker from an Eclipse platform e Import application file s in your w
14. code de l application renseigner pog Code d initialisation 4 renseigner i Acquisition des entr es renseigner i S Acquisition des t l commandes et t l r glages renseigner g Mise jour des modes de marche renseigner i S Le process renseigner i BY Mise jour des d fauts et alarmes renseigner g Mise jour des informations pour la supervision renseigner i S Mise jour des sorties renseigner i S Ensemble du code E 83 D finition des types de donn es de l application renseigner BB Les variables syst mes BB Les constantes BB Les entr es ANA i B Les entr es du process i Les symboles des t l commandes renseigner FA M oc adraccec dac t l cammandec ranceinnert Propert Value Code d initialisation renseigner enabledids visible editable grouplds csvld errorThreshold warningThreshold treatments init_ ple variables 0 items Descri tion Resource In Folder January 2011 Figure 8 3 The new rules file 15117 LA ITRIS UA tion S k ulpmation square PLC Checker User Guide IMPORTANT Before to modify a treatments property code sections or a variables property variables types you ll have to read the Concepts Filters section in order to take account of the formalism used for those proper ties E Resource My rules file oqr Eclipse Platform File Edit Navigate Search P
15. generates an error reference to 10 MW_MOTOR_SPEED at address MW 10 generates an error reference to MW AMBIANCE at address MB10 generates an error reference to MB AMBIANCE at address M10 does not generate an error no reference test for type represented by only one character P UMP_I101_ PRESSURE at address M10 does not generate an error 10 is compared to 101 Megabyte January 2011 69 77 LA inion square PLC Checker User Guide Variables belong to memory zone memFilter This rule allows to check that each variable of the variables sub set variables properties belongs to the sub set defined by the memFilter property This rules is used for example to check that all remote controls are in the defined memory range 7 5 Attribute check attributeCheck Mi attributeCheck Figure 7 5 Attributecheck 7 5 1 Usage This rule allows to check the specified attribute attribute property only on selected elements types see elements types selection below The list of available attributes depends on element type and on PLC programming tool Unity Pro PL7 Pro Step7 RSLogix5000 7 5 2 Properties Name name See Concepts Rules Rule name Identifier id See Concepts Rules Rule identifier Code filter treatments See Concepts Rules Code filter Data filter variables See Concepts Rules Data filter Mini
16. is useful for example to check that the outputs are written from only one equation Set only once SetOnce This rule checks that each variable of the variables sub set variables properties is set only once in the code filter treatments properties Reset only once ResetOnce This rule checks that each variable of the variables sub set variables properties is reset only once in the code filter treatments properties Written from one code block only writtenFromOneBlockOnly This rule check that all writings of each variable of the variable sub set variables properties found in the code sub set treatments properties are in the same block of codes Example In a PL7 Pro application the blocks of codes are the sections the SR and the events This rule is useful to check application modularity Written before read writtenBeforeRead This rule check that each variable of the variable sub set variables properties is written before read in the code sub set treatments properties This rule can check application reactivity Written in block writtenInBlock This rule check that each variable of the variable sub set variables proper ties 1s written at least once in the code sub set treatments properties This rule allows to check that all application variables are used Not written in block notWrittenInBlock This rule check that each variable of the variable sub set variables properties is NOT written in the code sub set trea
17. its identifier ID property 7 1 2 Properties Name name See Concepts Rules Rule name Identifier id See Concepts Rules Rule identifier Code filter treatments See Concepts Rules Code filter 66 77 LA tion S PLC Checker User Guide Automation Square Data filter variables See Concepts Rules Data filter 7 2 Read Check readCheck MF readCheck Figure 7 2 Readcheck 7 2 1 Usage A readCheck element allows to check that the number of readings made in the codes sub set defined by treatments properties on the variables sub set defined by variables properties is not to big maxRead property nor to small minRead property 7 2 2 Properties Name name See Concepts Rules Rule name Identifier id See Concepts Rules Rule identifier Code filter treatments See Concepts Rules Code filter Data filter variables See Concepts Rules Data filter Minimal number of readings minRead A readCheck rule is often used with a minRead of 1 In that case the variables from the data filter that are NOT read in the code filter are added to the result file This can be used to check the application modularity Note If this property is empty then no error is generated Maximal number of readings maxRead A readCheck rule is often used with a maxRead of 0 In th
18. keyword or The keyword is used to search object that has the correct direct attribute value The objects for which this attribute is not available are not selected The keyword is used to search object that has the correct direct of inherited attribute value If the attribute is not available for the object then the attribute is also searched in the parents of the object The name of the attribute is put after the keyword The keyword is used between the name of the attribute and the filter that defines the set of authorized values for this attribute The filter definition is into parentheses If a regular expression is used in this filter then the regular expression is also into parentheses like for symbols filters Example language ladder ou comment spare 99999 6 2 6 Absolutes addresses filters An absolutes addresses filter defines a sub set using the object address An addresses filter appears like this lt memory plan name gt lt addresses interval gt It always begins by the character followed by the memory plan name where to find the object ex MW or KD The character is between the memory plan name and the addresses interval The filter ended by the limits of the addresses interval There are four kind of possible syntax for the addresses interval e unique address for example MW 10 e finite interval for example MW 0 100 e inte
19. system ay a From directory C Documents and Settings dministrateur Mes documents affaire y Browse gt affaire Filter Types Select All Deselect All Into folder myproject myfolder Browse Options I Overwrite existing resources without warning Create complete folder structure Create selected folders only Figure 3 28 In the directory select the file s to be imported After confirming the desired file is imported into the workspace 3 5 Comparing files Comparing files in the Eclipse environment is a very easy operation Select first the both files to be compared The popup menu obtained by a right clic allows you to perform a crossed comparison between selected files menu compare with each other Resource Eclipse Platform File Edit Navigate Search Project Run Window Help ri Q E lA gl 27 Resource a project EC demo_formation project B Outline 2 Bra An outline is not availal 23 Import e Export E Refresh db 4 amp RE E E l doc eclipse tutoriel 10 matches in workspace FU project 2 items selected Figure 3 29 Launch files comparison Selecting the menu input allows to open the difference editor January 2011 23 71 PL ITRIS s Automation Square PLC Checker User Guide Resource Compare Origin txi modit txt Eclipse Platform File Edit Navigate Search Project Run Win
20. the following button to upload them www automationsquare com Figure 4 4 Select rules file e Associate a right to the project from the website step 4 If you do not already have right for this action please use right order interface or contact the commercial automationsquare com y Actions Mozilla Firefox Fichier Edition Affichage Historique Marque pages Outils 2 Ly v IG Googte Required Step status todo Y 1 Action identification This action is identified Support 3 Pre load a Rule file No rule file 4 Choose a valid key No Key available 5 Launch PLC Checker Unlimited PL Pro 6 Close the action Itris Automation Square Contact Form Use the following formular to contact us Subject Question www automationsquare com L Figure 4 5 Ordering a right If you have right for this action select a right to be associated and clic on the Associate button January 2011 29 77 f TRIS ulomation square PLC Checker User Guide Actions Mozilla Firetox Fichier Edition Affichage Historique Marque pages Outils lt E G x fel https www automationsquare com actions view 18 1696 PLC Checker Unlimited Schneider Electric PL7 PRO check_LTP_D10 Required Step status todo Y 1 Action identification This action is identified Change your identification 3 Pre load a Rule file No rule file Load a Rule file One or sever
21. y 7 75 Figure 3 30 Look for differences You can shift between differences by clicking the small white squares on the right side of the window or by using up and down arrows on the top right side To exit the comparison mode only close the main window 3 6 Local history Eclipse provides a local history feature for all text files not only txt that belong to a project Traces of iterative modifications of text files are kept At Anytime the user is able to check the differences between the current version and the former ones and get back to a previous version quickly and easily 3 6 1 Compare with a older version Only select one file in the Eclipse environment Select Compare gt Local history with the popup menu Resource Eclipse Platform File Edit Navigate Search Project Run Window Help E 23 Resource A LS project EC demo_formation programdata modif txt projec Open Open with 4 Copy 3 Delete Move a pz Outline 2 lt Rename An outline is not av 23 Import e Export 2 Refresh Compare With Replace With d 2 Properties New gt lipse tutoriel 10 matches in workspace E we project ESE eel RE project demo_formation origin txt Figure 3 31 Launch local history comparison 2477 January 2011 D ITRIS tion S PLC Checker User Guide Automation Square The windows that pops up looks pretty m
22. 1 13 warningThreshold property The warningThreshold property is reserved for future usage 6 1 14 errorThreshold property The errorThreshold property is reserved for future usage 6 1 15 defaultResultId property The defaultResultId property defines where to display the error in the PLC application tree of the result file January 2011 61 77 LA inion square PLC Checker User Guide 6 1 16 errorMessage property The errorMessage property defines the error message to be displayed in case of error This property can contain variables between characters and When error message is emitted those variables are replaced by their values Here are some usefull variables respect the uppercase e FUNCTION contains the name of the bloc of code related to the error e LOCATION contains the name and the offset of the bloc of code e VARIABLE contains the name of the variable related to the error e STR is an additional information depending on the checked rule 6 1 17 noMatchMessage property The noMatchMessage property defines the message to be displayed when the set of data or code on which the rule is checked 1s empty 6 2 Filters This section introduce the filters concept used in the rules file 6 2 1 Generality The filters allow to define sub set of elements Two elements set are taken into account the set of the application code and the set
23. 16 www automationsquare com Figure 4 2 Project description e Download the PLC application export file s on the server from the website step 2 1 If you are not at step 2 clic on the corresponding link Upload files with the wizard below 2 Search on your disk the mandatory and optional files using the File field 3 Clic on the Add all files button to upload files on the IAS server Actions Mozilla Firetox Fichier Edition Affichage Historique Marque pages Outils 2 o hd G x lt es https funww automationsquare com actions view 18 1696 latory files not 3 Pre load a Rule file No rule file 4 Choose a valid key Key associated Go to next step 5 Launch PLC Checker Unlimited Launch PLC Checker Unlimited PL7 Pro via the Action still to be launched PL Pro wizard 6 Close the action Program File Upload Wizard for Schneider Electric PL7 PRO Please choose all the files you have for your PLC program and then click on Add all Files button You can as well check the content of files you have already uploaded below Mandatory files Export file from PL7 PRO FEF This type of file contains Contains all useful stuff hardware conf database code comments z pe Seti NeR Use PL PRO application export function File CADocuments and Setii L Parcourir Optional files No optional file When all available files
24. Aide Glips e o AS Poste de travail Le gt E Sressource Ate monprojet Si dossier 1 project 4 ype Texte seulem D octets v marrer A A amp A Poste de travail BN plateforme curs Ressource Plate EacApocuments Es 1209 n 12 58 Figure 3 23 Drag n Drop files 3 4 2 Importing files The import feature using the dialog boxes is more complex It is more suitable for importing only few files among others of a folder selecting them becomes easier choose Import In the following example you wish to import files into myfolder myfolder must be selected right click and 20 77 January 2011 P cris tion S PLC Checker User Guide _ Automation Square Go Into Open in Mew Window Copy B Faste 2 Delete Move Rename pA Export Refresh Team k Compare With k Restore From Local History Properties Figure 3 24 Contextual menu Import Among all the alternatives importing files from the file sytem is the most interesting E imoore x Select Import resources from the local File system into an existing project i Select an import source E Archive file g Checkout Projects from CYS Existing Projects into Workspace mne File system E Preferences Team Project Set Back Finish Cancel Figure 3 25 Select file system source for import You must now select the hard disk directory from wh
25. CHECKER 2 0 2009042716 Install Location ciiglipsieclipse Change Location Required space Unknown Free space 56 D00KB caca Figure 3 12 Download overview e After download you are asked to check the update emittor because of unsigned updates Clic on Install all 14 77 January 2011 De res tion S PLC Checker User Guide lt Automation Square Update Manager Downloading J LTT pluginsi r itris glips launcher glips_ lips 2 0 2008122013 jar 230K of 1091K bytes Run in Background Cancel Details gt gt Figure 3 13 Downloading updates Verification Feature Yerification db Warning You are about to install an unsigned Feature You may choose to install the Feature or cancel its installation This feature has not been digitally signed The provider of this Feature cannot be verified Feature name GLIPS Platform Feature Identifier Fr itris glips platform_ 0 27009042716 Provider Ttris fr File Identifier Fr itris glips platform_ 0 270090427716 Install Install All Figure 3 14 Check updates emitter e After installation restart the platform as asked to Clic on Yes Progress Information 1 Installing plug in Fr itris glips platf Eristglipscore Thread class Figure 3 15 Updates installation January 2011 15477 LA tion S k Automation Square PLC Checker User Guide ri Install Update gt You Will need to restar
26. GRAPH bloc generate the source menu File gt Generate a source CUGRAPH FB37 DB37 Nouveau Ctrl M Ouvrir Chrl 0 Fermer Ctrl F4 Enregistrer Chrl 5 Enregistrer sous Propri t s Verifier la coh rence Ctri Ait k Compiler Ctrl B Modifier Mettre jour le num ro du DB d instance G n rer le DB d instance G n rer une source Ctrl T Modifier numero de bloc Imprimer Gr Apercu ay ant impression Mise en page Configuration de l imprimante 1 CIELAICIELA CPU 414 3 DPICIELZ1 1FB37 OFF 2 CIELZICIELZ CPU 414 3 DPICIELZA AFBES OFF 3 CIELA CIELZ CPU 414 3 DPICIELZ 1FB24 OFF 4 CIEL2 OK _JLICIELZ CPU 414 3 DP FBS OFF Quitter Alt F4 G n re une source partir du bloc en cours SIMATIC Hors ligne FE E Figure 5 14 Generate each GRAPH source January 2011 55 77 XX ITRIS s Automation Square PLC Checker User Guide e Give a name to each GR7 source file and press OK 56 77 Entr e Affichage Projet vue dez composants Enligne Hors ligne Horn Chemin d acc s CIEL2 jc WiemensStep ss prop Ciel2 Parcourir E CIELZ Zi E Cf CIEL2 af CPU 414 3 DP S E CIEL2 gts CIEL Mom de l objet FE 37 Type dobiet source GRAPH y Annuler Aide Figure 5 15 Name of GR7 files January 2011 D rris tion S PLC Checker User Guide Automation Square 5 3 4 Export files e Select L
27. IST and GRAPH sources resp AWL and GR7 files previously generated and also the SCL sources Copy sources using contextual menu Export source ee RE E KJ SIMATIC Manager CIELZ C Siemens Step 7s 7proj Cielz E E Of x En Fichier Edition Insertion Syst me cible Affichage Outils Fen tre x Ble gt E al ab EE da E Ta E Aucun filtre gt 8 CIEL2 Ciel Source LIST i CPU 414 3 DP Hesabed ascii Er En CIEL2 23 Requete Moby ES source SCL 8 Sources 195 De Source GRAPH EN CIEL z A Source SCL En un objet Ctrl lt 0 Couper Ctrl4x Copier Ctro Goller trl Effacer Suppr Ins rer un nouvel objet Syst me cible Compiler Ctrl B Exporter source Imprimer Propri t s sp cifiques de l objet Copie la source s lectionn e dans le r pertoire cible choisi Figure 5 16 Select sources to export e Select folder where to export sources files Exporter sources LE Mes documents Poste de travail AIC Lor Favoris r seau Nom de fichier Ciel AWL Type Sources Pal grr scl inp 29 2dg 2d def KES Y Annuler ee Figure 5 17 Select destination folder Before to be analyzed by the PLC Checker the ASC AWL GR7 and SCL files must be imported in the Eclipse platform workspace January 2011 57177 LA tion S dub sas PLC Checker User Guide 5 4 XEF export file generation from Unity Unity application must be exported in a XEF export fi
28. Navigate Search Project Run Window Help d Y z w v ctl 1a Qriv IC 4 13 My project 4 2 my_program cycle avalant GR7 E cycle_montant GR7_ E FBSCL B FOSA list AWL E mnemoniques asc Dz Outline 2 An outline is not New Open Copy Paste X Delete Move Rename y Import t5 Export 2 Refresh Run As Debug As Profile As Team Compare With Replace With Ctrl C Ctrl V Delete F2 Description Resource Location gt b gt gt gt GLIPS Tools b Run PLC Checker for Step7 H E 7 items selected Figure 4 28 Launch PLC Checker via Eclipse platform e If some files contains unsaved modifications then the following dialog box appears Clic on Deselect All if you DO NOT want to take account of the unsaved modifications for this analyze Note that the unsaved modifications wont be deleted If you want to save modifications before to launch the analyze then clic on Select all Clic on OK to continue Clic to Cancel to cancel the analyze Select the resources to save 4 regles_plc_checker_step ggr My_project my_progr E list AWL My_project my_programylist AWL Select All Deselect All Figure 4 29 Save files modifications before the analyze e A dialog box opens to save the result file gqre We have the ability to rename it or change its
29. aded Y 3 Pre load a Rule file done Y 4 Choose a valid key Key associated Go to next step 6 Close the action Launch PLC Checker You can check validity of your program files by looking at repository content below Click on button to launch PLC Checker on your Schneider Electric PL7 PRO program Ifyou want to launch PLC Checker from Eclipse create a new project and give the following key XXXXXX Laun Che Type Name Size Date LTP_D10_V24 FEF 2 39 mb 19 Jun 09 09 36 42 A a crea bc Itp_rules gqr 63 33 kb 19 Jun 09 10 26 33 www automationsquare com Figure 4 33 Launch PLC Checker via the wizard on the website January 2011 45 77 CS ITRIS aqua PLC Checker User Guide 4 3 View PLC Checker results 4 3 1 View results on Eclipse platform e Get last action results ONLY in the case of existing PLC Checker project creation on Eclipse platforme 1 create a new project on the Eclipse platform see Existing PLC Checker project creation on Eclipse platforme getting files and characteristics of the project located on IAS server and previously created via the web site 2 Select the rules file 3 open the right clic contextual menu 4 Get the last action result using this contextual menu GLIPS tools Get last action results File Edit Navigate Search Project Run Window Help Vit AA er Siam Project plo gt
30. al rights matches your 4 Choose a valid key requirements 5 Launch PLC Checker Unlimited PL Pro 6 Close the action Associate a key Associate orphan right to an existing program https www automationsquare com rights associate 1696 18 www automationsquare com a Figure 4 6 Associate a key Note your program code it will be useful for IAS project creation on the Eclipse platform of the PLC Checker Actions Mozilla Firefox Fichier Edition Affichage Historique Marque pages Outils 2 9 ay Cc Xx a le https www automationsquare com actions view 18 1696 YY gt egi PLC Checker Unlimited Schneider Electric PL7 PRO check_LTP_D10 Right Reference XKKGEGXRBCLORYRE _ rogram Code KKXXXX Required Step sta us odo Y 1 Action identification This action is identified Change your identification Y 2 Load PLC Files into repository Everything is loaded Y 3 Pre load a Rule file done Y 4 Choose a valid key Key associated Go to next step 6 Close the action Launch PLC Checker You can check validity of your program files by looking at repository content below Click on button to launch PLC Checker on your Schneider Electric PL7 PRO program Ifyou wantto launch PLC Checker from Eclipse create a new project and give the following Xj 90000 gt Type Name Size Date A LTP_D10_V24 FEF 2 39 mb 19 Jun 09 09 36 42 63 33 kb 19 Jun 09 09 39 10 se www automationsquare com
31. at case the variables from the data filter that are read in the code filter are added to the result file This can be used to check the application modularity Note If this property is empty then no error is generated 7 3 Write Check writeCheck MA writecheck Figure 7 3 Writecheck 7 3 1 Usage A writeCheck element allows to check that the writings made in code sub set code filter on variables sub set data filter are done in the mode defined by the checkType property January 2011 67 77 i D cris Automation S pra PLC Checker User Guide 7 3 2 Properties Name name See Concepts Rules Rule name Identifier id See Concepts Rules Rule identifier Code filter treatments See Concepts Rules Code filter Data filter variables See Concepts Rules Data filter Type of checking checkType Written from one task only writtenFromOneTaskOnly This rule check that all writtings of each variable of the variable sub set found in the code sub set can be executed from only one task Example a PL7 Pro application mays contain the MAST task a FAST task and one task per events This rule is useful to identify critical variables due to concurrents accesses Written only once writtenOnce This rule checks that each variable of the variables sub set variables prop erties is written only once in the code filter treatments properties This
32. ated Go to next step 5 Launch PLC Checker Unlimited Action still to be Launch PLC Checker Unlimited PL7 Pro via the PL7 Pro launched 6 Close the action Program File Upload Wizard for Schneider Electric PL7 PRO Please choose all the files you have for your PLC program and then click on Add all Files button You can as well check the content of files you have already uploaded below Mandatory files Rules file GQR WEAR OTe eones This file contains rules i 9 ro TE gestis OS Use Rules Editor to create or edit such a file C Documents and Setti P Optional files No optional file When all available files are found click on the following button to upload them www automationsquare com a Figure 4 32 Select rules file e Run PLC Checker on the server from the website step 5 1 If you are not at step 5 clic on the corresponding link Launch PLC Checker via the wizard 2 Launch the analyze using the Launch PLC Checker button Actions Mozilla Firefox Fichier Edition Affichage Historique Marque pages Outils 2 Qe a v g x eS https fuv automationsquare com actions viewt18 1696 All files are uploaded PLC Checker Unlimited Schneider Electric PL7 PRO check_LTP_D10 Right Reference XKGEGXRBCLORYRE Program Code XXXXXX Required Step status todo Y 1 Action identification This action is identified Ch Y 2 Load PLC Files into repository Everything is lo
33. ation workshop In most of the cases this element must be edited in order the error to be corrected 6 3 1 Printing results file To print or included the results file in a document the results file must be open and then saved with html name extension The menu File gt Save as displays the save as dialog box Change name extension in the File name field replacing gqre by html respect lowercase and then clic OK The html file is now in the Navigator view Then open the html file with your system editor contextual menu Open with gt System editor and use his print menu File gt Print or copy menu Edit gt Copy functions January 2011 65177 Chapter 7 The rules 1 Rules group rulesGroup 2 Read Check readCheck 3 Write Check writeCheck Symbol check symbolCheck Attribute check attributeCheck Code blocks check blockCheck NI ON Nn R Equation check equationCheck 7 1 Rules group rulesGroup E rulesGroup Figure 7 1 Rulesgroup 7 1 1 Usage A rulesGroup element can be used 1 to structure a rules file It is only used to regroup the rules For example a rulesGroup element can regroup all code filters another one can regroup all rules related to written data 2 as part of a filter created by intersection of its parents and its children 3 to define a data or code filter that can be reused using
34. box 3 3 2 Identification When you are asked identify yourself by typing in the window your login and password that you obtain when you register on our website at register page January 2011 17477 f A TRIS Ba manon square PLC Checker User Guide Entrez votre nom d utilisateur et votre mot de passe pour AutomationSquare API Authentication Utilisateur nom prenom serveurmail com Mot de passe 060000000509 E Sauvegarder votre mot de passe Figure 3 19 login 3 3 3 Work bench When first starting the platform the following welcome screen is displayed You may follow the Eclipse tutorials You also may quit this screen by clicking on go to the work bench or closing the inner window Workbench Welcome to Eclipse Overview Tutorials Get an overview of the features Go through tutorials Samples What s New Try out the samples Find out what is new Figure 3 20 Eclipse welcome page The Eclipse work bench includes several windows The default layout is as shown on the following picture 18 77 January 2011 CS TRIS PLC Checker User Guide ulomafion square File Edit Navigate Search Project Run Window Help BE Outline 23 An outline is not available E T ches gt lo items A Description Resource Path Location Type n 0 items selected Figure 3 21 Eclipse default layout On the left part is the explo
35. d A Automation Square PLC Checker User Guide Itris Automation Square January 2011 http www automationsquare com Cian maton square PLC Checker User Guide UIT January 2011 Contents 1 Preamble 2 Introduction 3 Eclipse plateform tutorial 3 1 Installation A 2 0 00 3 1 1 Hardware and software configuration needed 3 1 2 Usage ANY WO 3 1 3 Platform installation ME oo 3 2 Software updat o preprcinss or EE m 3 3 Launching the platform S A 3 3 1 Workspace RA R 3 3 2 Identification EES nnn A A 3 3 3 Work bench IR o ee 3 4 Import Export files into from the project OO A Dras N Drop EE A dw www www www ww N A Importing files ie A A A 3 omis files WR O O 3 6 ee story WWW D L o mpare With a AMA o OO Ho lacing by an AI A o n 4 PLC Checker project creation and usage 4 1 PLOMO e crea 4 1 1 Defau
36. description and validate with the Add button Figure 4 15 New project description e Select the project that will contain the programs 34 77 January 2011 CS TES PLC Checker User Guide AUIBMSNON square vos projets Vos projets Default project to make life easier New project 8 New PLC Checker project Figure 4 16 Project selection e Create a new program Creation 2011 12 06 11 57 28 Parameters Open Figure 4 17 New program creation e Enter the program name and description and the PLC type and validate with the Add button my_programi Description Type Siemens 57 300 57 400 C7 The following information is used to identify precisely and contractually the PLC and his associated code PLC site site AF4 PLC Site address PLC project Figure 4 18 New program description e Select the program January 2011 35177 C3 TRIS Aulomation square PLC Checker User Guide Crestion 2011 12 06 11 57 38 Parameters Open Program count 1 Related Programs No result available for this program Figure 4 19 Program selection e Associate a right to the program If you do not already have right for this action please use right order interface or contact the commer cial O automationsquare com If you have right for this action select a right to be assoc
37. directory 42 77 January 2011 gt ITRIS KMS PLC Checker User Guide Automation Square Save file to another location Enter or select the parent folder My_project my_program Lal a gt My_project 2 my_program File name mnemonics gqre o a na Figure 4 30 Save rules file modifications before the analyze e During the analyze a dialog box allow you see progression and to Cancel execution The analyze phases are Sent files application and rules to the IAS server Read application file Analyze application file following rules file Update results create results file on Eclipse workspace Open results file with result viewer embedded in the Eclipse platform January 2011 43 77 Automation Square CS ITRIS PLC Checker User Guide 4 2 2 Run PLC checker from the website e Download the PLC application export file s on the server from the website step 2 1 If you are not at step 2 clic on the corresponding link Upload files with the wizard below 2 Search on your disk the mandatory and optional files using the File field 3 Clic on the Add all files button to upload files on the IAS server Y Actions Mozilla Firefox Fichier Edition Affichage Historique Marque pages Outils 7 3 Pre load a Rule file No rule file Load a Rule file 4 Choose a valid key Key associated Go to next step 5 Launch PLC Checker Unlimited 3 Launch PLC Ch
38. dow Help ES 9 ry 1 17 eo Ts Navigator 22 E project EC demo_formation f s as 8 a Compare origin Ext madiF txt E Text Compare EI I amp E project demo_formation origin txt project demo_formationfmodif Ext en eclipse update 1 png en eclipse update 2 png en eclipse update 3 png Select the file containing th en eclipse update 5 png Confirm DE Outline 2 Iik en eclipse update 6 png Click on the Help gt Software When the Wizard jae up selec Unselect websites already inc An outline is not available Click on Finish K en eclipse update 7 png Click on the Help gt Softuard en eclipse update 1 png _ When the Wizard FE en eclipse update 2 png Unselect websites already i en eclipse update 3 png Select the file containing 1 en eclipse update 5 png Confirm en eclipse update 6 png Click on Finish en eclipse update 7 png Select all the features neede Select all the features neet en eclipse update 8 png Lien erlinse undate 9 nnri int LA Accept the terms of the licen y Fc iten er linse undat e 9 nne y en eclipse update 8 png Accept the terms of the lice vw Tasks Search z Bote ieee sore 10 matches in workspace HL project E 05
39. e new PLC Checker Refresh Convert Line Delimiters To Wizards Print Ctri P type filter text Switch Workspace 4 amp General ES Project Restart o 4 Itris Automation Square Import I PLC Checker Export Properties Alt Enter Exit Location 0 items selected Figure 4 23 New project e Choose the plc type PL7 Pro Unity Step 7 RSLogix5000 in the New PLC Program e Enter the project name description and the PLC type e Associate a right to the program If you do not already have right for this action please use right order interface or contact the commer cial O automationsquare com If you have right for this action select a right to be associated please select one in the IAS Right e Click on Finish button The platform creates your workspace directory with the name of the project defined befor 38 77 January 2011 CS ITRIS PLC Checker User Guide Automation Square Enter new project informations Exiting program Code New program PLC Siemens 57 300 57 400 C7 Project My_project PLC Application my_program Description Figure 4 24 New Plc checher project January 2011 39 77 f TRIS pe manon square PLC Checker User Guide 4 1 5 Existing PLC Checker project creation on Eclipse platforme e Create a PLC Checker project in the Eclipse platform that gets the contain and
40. ecker Unlimited PL7 Pro via the P L7 P ro wizard 6 Close the action Program File Upload Wizard for Schneider Electric PL7 PRO Please choose all the files you have for your PLC program and then click on Add all Files button You can as well check the content of files you have already uploaded below Mandatory files Export file from PL7 PRO FEF Hae se Heal eerie Contains all useful stuff hardware conf database code comments How to get this file peo Oe Use PL PRO application export function File C Documents and Setti Parcourir Optional files No optional file When all available files are found click on the following button to upload them Add all files www automationsquare com 4 Figure 4 31 Select PLC application export file s e Download the rules file on the server from the website step 3 44 77 1 If you are not at step 2 clic on the corresponding link Load a rules file 2 Search on your disk the rules file using the File field 3 Clic on the Add all files button to upload files on the IAS server January 2011 PLC Checker User Guide 1 ITRIS mation Square Actions Mozilla Firefox Fichier Edition Affichage Historique Marque pages Outils o o G x Best nitos 1iwww automationsquare comjactions view 18 1696 Pl a v Y 2 Load PLC Files into repository Everything is loaded 4 Choose a valid key Key associ
41. egistrer Ghri 5 Propri t s Importer Exporter Imprimer Ctrl P pergu avant impression Mise en page 1 vissage _MEF1_TSESISIMATIC 400CPU 416 2 DP Mn moniques 2 069 DA US USA A MmMn moniques 3 PORT_HE2IAPI_PORTICPO 416 2 DP Mn moniques 4 MIRGITERIE_ POSS MIROITERIE CPU 416 2 DP Mn moniques Quitter Alt F4 Copie la table des mn moniques ou une partie de celle ci dans un Fichier au Format NUM E Figure 5 4 Export the symbol table e Choose the ASCII Format ASC file type the name and the directory of the ASC file to create and clic on Save Enregistrer dans Mes documents IC A e Lok Favoris r seau Hom de fichier 5 Prot Type Format ASCII ASC Annuler dh Figure 5 5 Define ASC file name American Standard Code for Information Interchange 50 77 January 2011 f De ITRIS tion S PLC Checker User Guide Automation Square 5 3 2 Create AWL file e To create the AWL file you have first to insure that your STEP7 workshop uses the German abbrevia tions menu Tools gt Parameters Ep Fichier Edition Insertion Syst me cible Affichage Outils Fen tre 7 Param tres 1 x Biblioth ques de textes Langue de visuel Gestion multilingue des textes Reassignation Proprietes d ex cution Comparaison de blocs Donn es de r f rence k Definir les donn es globales Configuration du r
42. ers Open Program count 2 Related Programs A LUPFLH ag No result available for this program NEK SNO y View Move No result available for this program 3 New Program Figure 4 11 Copy program code e The detailed specifications of a each program can be changed later by clicking on button View 32177 January 2011 D ITRIS Automation Square PLC Checker User Guide Program My_program1 This page manages all facets of programs from content repository to history and possible actions to realize on program E tity Workers Checker History Rights Repository LUPFLH Schneider Electric Premium Quantum M340 2011 12 06 11 26 39 Figure 4 12 Detailed specifications January 2011 33177 ITRIS Care square PLC Checker User Guide 4 1 3 Creation on IAS without wizard e Access to My projects page top left corner Welcome to Automation Square This page is your logged homepage into automationsquare com It gives you possibility to run all Itris AutomationSquare programs Please this action you want to perform Today View Your existing Projects Figure 4 13 Access to the projects page e Create a new project to contain the programs or select an existing project Vos projets Vos projets Default project to make life easier XI New project P New PLC Checker project Figure 4 14 New project creation e Enter the project name and
43. es entr es sont lues au moins une fois Les entr es ANA ne sont lues que lors de l acquisition des entr es BH v rifications relatives aux modes de marche Les modes de marche sont mis jour avant d tre utilis s Hill R gles de l art Ill Y Description Resource In Folder Location M A Figure 8 4 Basic rules included in the new rules files 3 2 Add a rule All operations on rules are available in the contextual menu obtained by a right clic in the rules editor Use New to add a new rule e New gt Sibling gt Before add a rule before the selected one e New gt Sibling gt After add a rule after the selected one If the selected rule is a rulesGroup then you can also add a child rule e New gt Child gt First add a Child in head of the list of children of the selected rulesGroup e New gt Child gt Last add a Child in tail of the list of children of the selected rulesGroup Then choose the rule type to be added rulesGroup writeCheck symbolCheck commentCheck blockCheck readCheck 76 77 January 2011 LA PLC Checker User Guide lt Automation Square E Resource my rules file oqr Eclipse Platform File Edit Navigate Search Project Run Window Help ES ll a r ES Resource Bs Navigator A p roti D New MT F gt e rl ur Sibling MESA rulesGroup F writeCheck my_rules file ggr TA pog RAGE ID items symbolCheck v 1 Cut Re
44. es whose ID are ID1 ID2 and ID3 have the following groupIds property grouplds ID1 D2 ID3 During the rules file edition the rules editor plugin ensure that only one of the three nodes is enabled 6 1 9 Identifier for csv format export This property named csvid allows to add 4 columns in the csv Comma Separated Value file which is generated by the Eclipse platform when creating the result file Those columns contain e the counter of all occurrences founded under the corresponding node e the errors counter e the warnings counter e the infos counter 6 1 10 Node visibility for protected files This property named visible allows to mask when false the node and his sub tree during rules file edition when this rules file is protected locked property true for the first node of the rules file 6 1 11 List of editable properties for protected files The property named editable contains the list of properties that can be changed when the rules file is protected locked property true for the first node of the rules file 6 1 12 Errors severity This property named severity allows to define the way the errors are added to the result file 23 99 29 gt The value can be fatal error warning info or nolog The value nolog allows to only count the objects code or data corresponding to one or more specification defined by one or more rules 6
45. ether at least one read reference of the X variable var filter is used or not in the instruction that writes the Y variable variables filter For example it is possible to check that all outputs S_ writings depend on an authorization variable aut_ le s_ f aut_ ae 7 7 2 Properties Name name See Concepts Rules Rule name Identifier id See Concepts Rules Rule identifier Code filter treatments See Concepts Rules Code filter Data filter variables See Concepts Rules Data filter This is the selection of the variables whose writing references will be checked 72177 January 2011 f LA Automation S PLC Checker User Guide ulomation square Used variable filter var This filter allows to define the set of variables whose read references are searched in the writing references of the variables defined by the previous filter variables filter January 2011 13117 Chapter 8 Rules file creation and edition 8 1 Rules file creation To create a rules files follow this steps Resource Eclipse Platform 0 Pa File Edit Navigate Search Project Run Window Help Js ri gt tal al Er E Resource Ne 7 A A a a Go Into Open in New Window C Folder A val Le sas sees Mbs lle A B Copy B Untitled Text File t DE E Faste Ano Delete FF Other Ctro Move
46. file gqre is displayed on the result viewer embedded in the Eclipse platform Ressource Nouveau_projet App_Step7 results gqre Plateforme Eclipse Fichier Editer Navigation Rechercher Projet Ex cuter Fen tre Aide M H Sia ive ihi Fe erc LEE B Explorateur de projets 53 gim E gt a R gles v rifi es 20 fatals 65 erreurs 2 gt a Programme automate 20 fatals 65 erreurs Bl 12 Nouveau_projet 5 App_Step7 cycle avalant GR7 E cycle montant GR7 B FB SCL E FC SCL list AWL list errors list map mnemoniques asc PDIAG S7 regles_plc_checker_step7 gqr X result csv x results csv A results gqre DETE mi Dz Structure 23 N x Structure non disponible z A T ches 53 _ 0 l ments Er Description Ressource Chemin Emplacement Type Figure 4 36 Result File ATT January 2011 Chapter 5 PLC export files generation 5 1 FEF export file generation from PL7 Pro PL7 Pro application must be exported in a FEF export file in order to be analyzed by PLC Checker You can create an FEF export file with the File gt Export application menu in PL7 Pro software 1 In PL7 Pro menu select File gt Export application 2 In the Export application dialog box give a name to the FEF file 3 DO NOT change directory where the FEF file will be created and clic on Save Before to be analysed by the PLC Checker the FEF file
47. for project creation PLC Checker usage and results visualization 1s the following e Preamble 1 Create an user account on Itris Automation Square website 2 Buy PLC Checker rights to Itris Automation Square commercial automationsquare com 3 Obtain rules file from your client or your quality service or create and edit your own rules file 4 Generate your PLC application Export file s from your PLC workshop e Create project 1 Create a PLC Checker project on the Eclipse plateforme a Name and describe your project on the Eclipse plateforme b Associate a right to your project on the Eclipse plateforme 2 Create a PLC Checker project on the Itris Automation Square website a Name and describe your project on the website step 1 b Associate a right to your project on the website step 4 e Execute PLC Checker Method 1 from the Eclipse platform 1 Create an PLC Checker project in your workspace of the Eclipse platform that gets the contents and the characteristics of the PLC Checker project previously created on the website 2 Import PLC application export file s in this project folder on your Eclipse workspace 3 Import the rules file in this project folder on your Eclipse workspace 4 Execute PLC Checker from your Eclipse workspace Method 2 from the website 1 Upload PLC application export file s to the server from the website step 2 2 Upload rule file to the
48. iated using the Right tab and clic on the Associate the right to the program button Note Projects gt My project gt my program Program my_program1 This page manages all facets of programs from content repository to history and possible actions to realize on program E LT jj identity Workers AHistory ights Repository This program has currently no affected right Associate a right Figure 4 20 Rights page Associate a key Associate orphan right to an existing program Figure 4 21 Right selection e Note the 6 chars program code it will be useful for IAS project creation on the Eclipse platform of the PLC Checker 36 77 January 2011 B ITRIS Automation Square PLC Checker User Guide Program my_program1 This page manages all facets of programs from content repository to history and possible actions to realize on program Ple_rf4822 2011 12 06 12 13 25 Figure 4 22 Copy program code January 2011 37177 C3 ITRIS ron square PLC Checker User Guide 4 1 4 New PLC Checker project creation on Eclipse platforme e Create a PLC Checker project in the Eclipse platform then clic on Next button Alt Shift N gt Project Open File Elie Close Ctrl W File Close All Ctrl Shift W Untitled Text File Save Ctr S Other Save As 7 Save All Ctri Shift S Revert Move Select a wizard Rename Creat
49. ich the files will be imported January 2011 21 77 D ITRIS malon S Automation Square PLC Checker User Guide TT i x File system Source must not be empty A From directory y Browse o Filter Types Select Al Deselect All Into folder myproject myfolder Browse Options D Overwrite existing resources without warning Create complete Folder structure Create selected folders only lt Back Next gt cis Cancel Figure 3 26 Select directory for import Click on Browse A folder selection box pops up Import from directory xl Select a directory to import from Bureau E A Mes documents E Mes images i My eBooks a Security 4 siemens kuhn E trfhum E B Poste de travail E GTCPILATPI C A Documents and Settings f easyphp 4 gips 1 03 1386 MASTERS a mysql 3 phpAdmin LCD De 0 Elle l Dossier affaire Annuler Nouveau dossier CA Figure 3 27 Browse directory to select one Once the source folder 1s chosen confirming displays the list of importable files Select now the files to be imported in our case we choose spec2 txt specification 22177 January 2011 gt i TRIS PLC Checker User Guide Aulomation square emoe j x File system Import resources From the local file
50. install From the search result list Select the Features to install EAL clips platform update site Deselect Al More Info Properties Select Required Error Details Le site de mise jour contenant les versions des dispositifs et des plug ins de l atelier GLIPS 2 of 2 selected M Show the latest version of a feature only Filter patches included in other patches on the list Finish Cancel Figure 3 10 Updates selection e Accept license contract then clic on Next January 2011 13 77 De rris t Automation Square PLC Checker User Guide E Install Feature License Some of the Features have license agreements that you need to accept before proceeding with the installation Gr GLIPS Platform 2 0 2009042216 Bv updating this product you acknowledge that you have read and accepted the latest version of its license agreement dated January 6th 2009 and available on Itris Automation Square website fa automationsquare comilicenses html Le PLE CHECKER 2 0 2009042216 Ido not accept the terms in the license agreements Back inis Cancel Figure 3 11 License e The overview of updates to be installed is presented Clic on Finish to launch updates download Install Installation The Following Features will be installed You can select a feature and change the location where the Feature will be installed Features to install LR GLIPS Platform 2 0 2009042216 GbE PLC
51. le in order to be analyzed by PLC Checker You can create an XEF export file with the File gt Export application menu in Unity software 1 In Unity menu select File gt Export application 2 In the Export application dialog box give a name to the XEF file 3 DO NOT change directory where the XEF file will be created and clic on Save Before to be analysed by the PLC Checker the XEF file must be imported in the Eclipse platform workspace Note that for unity v6 0 also the export file must be a XEF file and not a ZEF file which is the default export format of Unity v6 0 58 77 January 2011 Chapter 6 Concepts 6 1 Rules This section introduce part of the concepts used for the rules files 6 1 1 Generality A rules file has a hierarchic structure that can be represented by a tree The nodes of this tree are rules groups rulesGroup The leaves of this tree describe the rules to check or are rules groups used to define reusable filters 6 1 2 Rules activation The nodes and leaves of rules file can be activated or deactivated using the associate box displayed at their left A deactivated node and his children will not be read nor used during PLC Checker execution By this way with rules file split in independent parts it is possible to check only some parts of this rules file with PLC Checker Mon premier fichier de r gles ggr X Y E M 88 Les filtres de code H A Les filtres de donn es fl BE Les r gle
52. ligne Enregistrer Chrl 5 Enregistrer sous Propri t s V rifier et actualiser les acc s Verner la coherence GET UE Compiler Ctrl B G n rer source Ctrl T Imprimer Ctrl P Apercu avant impression Mise en page 157 ProliStation SIMATIC 3001 CPUS1SCH1 0 0B1 CFF 2 issage_MEF1_TSBS SIMATIC 40010PU 416 2 DP 10B1 OFF SUS9_ AUS USA OB1 CFF 4 PORT_HC214PI_PORTICPU 416 2 DP AUDT114 C0FF Alt F4 4 Ferme le bloc la source en cours E offline E Quitter Figure 5 9 Close all edited objects e Generate the program source Menu File gt Generate source 52 77 ee s z 11 KJ SIMATIC Manager S7_Prol C Siemens Step s7proj57_Pro1 ioj xj En Fichier Edition Insertion Syst me cible Affichage utils Fen tre x k Aucun filtre gt January 2011 D cris tion S PLC Checker User Guide _ Automation Square HES CONTLIST LOG Programmation de blocs 3 E oj xj Fichier Affichage Outils Nouveau Ctrl h Cro OUYVTIF G n rer source Chrl T 1 57_Proi station SIMATIC 300 CPUS13C 11 OB1 OFF 2 Vissage_MEF1_TSBSiSIMATIC 400 CPU 416 2 DP OB1 OFF 59 riUS9iWS91 OB1 OFF 4 PORT HCPAPT PORTICPU 416 2 DP AUDT114 0ff Quitter Alt F4 1 Erreurs 3 R f rences crois es G n re une source partir des blocs que vous s lectionnez Figure 5 10 LIST source generation e Give a name of the
53. lt PLC Checker project creation with a wizard on Itris Automation Square website 4 1 2 Creation on IAS with wizard PLC Checker project to be defined 4 1 3 Creation on IAS without wizard 4 1 4 New PLC Checker project creation on Eclipse platforme 4 1 5 Existing PLC Checker project creation on Eclipse platforme 42 R n LO COCO 66 i 8 Rae ROAR EERO SH eo ren 4 2 1 Run PLC Checker from an Eclipse platform A 2 2 Run PLC checker from the website eos dsc 4 4 0 3 Bee ew oe du Al View PLE Checker ESS dea A obus Ss 4 3 1 View results on Eclipse platform ee 4 ace ee eed we seu 5 PLC export files generation 5 1 FEF export file generation from HEESE nee oe hoe ede eek eee ee kee es 5 2 LSK export file generation from RSLogix5000 5 3 ASC AWL GR7 and SCL Export files generation from Step Sod CEAS ME yw ee eG a eee ae a ee eee ee Re Re A Io Crewe lt a ases sde beeen eee KE EKER PES ee eee se gt Cde ORO gee ahah eee eae eee ee ee eee ee ea ee ee eG 5 3 4 Export files eee eee eee ee Rea ee Re Eee Re ES 5 4 XEF export file generation from Unity 24 25 25 29 32 36 38 39 39 42 44 44 i D cris Automation Square
54. mal Processor frequency of 1GHz e 200 Mo of free disk space e 512 MB of RAM 3 1 2 Usage Warning the use of Itris Automation Square products is payable in SaaS mode Software as a Service and is conditioned by a commercial validation In case of problem please contact the commercial automationsquare com Creating a user account on the site Itris Automation Square is indispensable to use Itris Automation Square products In order to use Itris Automation Square products the user has to identify himself when asked to by entering in the oppropriate windows his login and password defined during his inscription on IAS website Megabyte 9 77 LA tion S pemain aguse PLC Checker User Guide fe Authentication Required Enter username and password For Automationsquare API Authentication User Mame Password Use password manager Figure 3 1 login 3 1 3 Platform installation The installation program is available here and is nammed InstallPlcChecker20111121 exe Launch the InstallPlc Checker20111121 exe in order to install the platform The installation program creates an entry in the windows start menu Detailed procedure e Choose installer language Installer Language gt Please select a language c Figure 3 2 Choose language e On the welcome message clic on Next Welcome to the PLC Checker Setup Wizard This wizard will guide you through the i
55. mal length minLength This property defines the minimal length of the value of the selected attribute Maximal length maxLength This property defines the maximal length of the value of the selected attribute Attribute name attribute This property defines the name of the attribute whose value has to be checked Attribute value expression expression This property defines the expression that the attribute value has to match for no error to be generated 70 77 January 2011 PLC Checker User Guide LA Automation Square Check only selected elements types The following properties are use to select when equal to true the elements types whose selected attribute has to be checked by this rule e instruction e typeDeclaration e typeDesignation variableDeclaration variableDesignation prototypeDeclaration prototypeDesignation e grafcetTransitionIncluded e program grafcetStepIncluded e label procedureDeclaration procedureDesignation instructionL ist e operator e rung 7 6 Code blocks check blockCheck 5 blockCheck Figure 7 6 Blockcheck 7 6 1 Usage This set of rules work on the code blocks The checking depends on the checkType property see below For example code blocks for PL7 Pro applications are the sections and SR 7 6 2 Properties Name name See Concepts Rules Rule name Identifier id See Concepts Rules Rule identifier
56. must be imported in the Eclipse platform workspace Exporter une application 2 x ap_01_10_v34 FEF AIRAX_ES FEF api v0 4 FEF api_he Ej amidon v02 evol FEF El ap11_2 v0 6 FEF 5 aventi E amidon FEF ap3_8 v0 4 FEF barill_ amp5 FEF ap v0 4 FEF barill_e ampS_modif_11 FEF Sl ap5_6 v0 4 FEF baril gt Nom de fichier BARILL_1 FEF Type Sources Application FEF X Annuler 7 Figure 5 1 Export FEF file 5 2 LSK export file generation from RSLogix5000 RSLogix5000 application must be exported in a L5K export file in order to be analyzed by PLC Checker You can create an L5K export file with the File gt Save as menu in RSLogix5000 software 1 In RSLogix5000 menu select File gt Save as 2 In the Save as dialog box give a name to the L5K file 3 choose the file type RSLogix 5000 Import Export File L5K 4 DO NOT change directory where the L5K file will be created and clic on Save Before to be analyzed by the PLC Checker the L5K file must be imported in the Eclipse platform workspace 48 77 LA lion S PLC Checker User Guide __ Automation Square Enregistrer sous Enregistrer dans 9 Projects M O e El Samples Mes documents r cents E Bureau Mes documents EL Poste de travail e File name Demo v DY Favoris r seau Save as type RSLogix 5000 Import E xport File L5K y Anmuer Help
57. nstallation of PLE Checker Itis recommended that you dose all other applications before starting Setup This will make it possible to update relevant system files without having to reboot your computer Click Next to continue Figure 3 3 Welcome in installation program 10 77 January 2011 Automation Square CS ITRIS PLC Checker User Guide e In order to instal the PLC Checker platform you have to agree the license License Agreement Please review the license terms before installing PLO Checker Press Page Down to see the rest of the agreement ITRIS AUTOMATION SQUARE LICENSE AGREEMENT PLC CHECKER Eclipse Platform If you accept the terms of the agreement dick I Agree to continue You must accept the agreement to install PLC Checker MullsoFt Install System 2 46 Figure 3 4 Licence e Choose the installation directory by default C IAS then clic on Install G PLC Checker Setup Chooze Install Location Choose the folder in which to install PLC Checker Setup will install PLC Checker in the following folder To install in a different folder dick Browse and select another folder Click Install to start the installation Destination Folder Space required 189 8MB Space available 578 468 Nullsoft Install System v2 46 Figure 3 5 Choose the installation directory e After installation clic on Finish to close the installation program and to run the PLC Checke
58. object to be generated Entr e Affichage BE vue des composants Enligne Hors ligne Chemin d acc s En Frol C SiemensiStepris pros 7 Prol Parcourir 57 Prol C Station SIMATIC 300 g E CPU313C11 Sje Programme 571 pu a SOUICEs Nom de l objet 57 Prot Type d objet Source LIST Annuler Aide Figure 5 11 Name of AWL file e Use buton All gt select all blocs select only the Sort by program structure option Select the symbolic operands and clic on OK January 2011 53177 D ITRIS Automation Square PLC Checker User Guide G n rer source 57 Prol Cucle Execution Figure 5 12 Configure source to be generated 54 77 January 2011 LA PLC Checker User Guide Automation Square 5 3 3 Create GR7 file e To create the GR7 sources select all GRAPH blocs and open the GRAPH editor J SIMATIC Manager CIELZ C Siemens Step s 7proy Cielz E jol x Ep Fichier Edition Insertion Syst me cible Affichage Outils Fen tre x 28 HI 3 ja i Ei CELZ Ek go CPU 414 3 DP Ouvrir un objet Chrl Alk o Couper Ctrl Copier Ctrl C Coller Ctrl Effacer Suppr Ins rer un nouvel objet Systeme cible R assignation Comparaison de blocs Donn es de r f rence Imprimer Propri t s sp cifiques de l objet Ouwre un objet s lectionn Figure 5 13 Open all GRAPH blocs in GRAPH editor e For each
59. of objects using the symbol of those objects also called mnemonic and using more powerful syntaxes than simple symbols filters This kind of filter is defined by a regular expression into parentheses The regular expression describes the sub set of symbols to be selected The regular expression can contains meta characters and quantifiers Meta characters e all characters Ex t t toto tati etc e alternative Ex tata titi gt tata or titi e group Ex tG ou ti gt titi or touti characters class Ex a cD F g gt ag bg cg Dg Eg ou Fg e allow to define unauthorized characters Ex a y z az bz yz are not OK e allow to use a Meta character or a quantifier as simple character Ex A WU Ws OT Quantifiers e previous set of characters can appears 0 or more times Ex all string of characters even an empty string e previous set of characters can appears 1 ou more times Ex 0 9 all numbers from O up to 9999999 5 4 e previous set of characters can appears 0 ou 1 time Ex test _ a z test test_a test_b test_z 6 2 5 Attributes filtres Those attributes filters allow to define sub set of objects using the an attribute of the object Data or Code The list of available attributes depends on the kind of object and on the PLC programming tool UNITY PRO PL7 PRO STEP 7 RSLOGIX An attribute filter always begins by the
60. of the application data So there is two kind of filters the code filters and the data filters e The code filters are defined using the treatments properties of the rules file elements e The data filters are defined using the variables properties of the rules file elements For each element to be checked by PLC Checker the analyze 1s limited e to the sub set defined by his treatments property for the codes e to the sub set defined by his variables property for the data e Example A rule verifying a variable is never written gives the set of variables in the variables sub set defined by the variables property never written in the sub set of code defined by the treatments property 6 2 2 Limitations 32 22 22 22 The treatments and variables properties can not contain space character and must begin by the or operator 6 2 3 Symbols filters A symbols filter allows to define sub set of objects using the symbol of those objects also called mnemonic The generic characters and are authorized and have the usual signification e Example with filter DF_ the DF_HIGHTEMP and DF_LOWTEMP are selected in the sub set with filter T _ the TC_ON and TR TEMP_WATER are selected in the sub set 62 77 January 2011 LA Automation S PLC Checker User Guide ulomation square 6 2 4 Symbols filters using regular expressions This kind of symbols filter allows to define sub set
61. old treatments variables minLength maxLength noMatchMessage logDuplicate Copy notAbsoluteCheck fal Paste memFilter defaultResultid lt tir cl 7 Delete E Resource Fl Tasks 52 O items Description Resource In Folder if iiel Figure 8 6 Copy Past rules properties 8 7 Printing rules file To print or included the rules file in a document the rules file must be saved with name extension html The menu File gt Save as displays the save as dialog box Change name extension in the File name field replacing gqr by html respect lowercase and then clic OK The html file is now in the Navigator view Then open the html file with your system editor contextual menu Open with gt System editor and use his print menu File gt Print or copy menu Edit gt Copy functions 78 77 January 2011 Chapter 9 Final license contract for PLC Checker The license contract can be found at this address http www automationsquare com licenses html 79 77
62. orkspace 1 Use the file explorer of your OS to copy the application export file s to be used 2 Past this those file s in your project folder on the Navigator view of Eclipse platform e Import rules file in your workspace 1 Use the file explorer of your OS to copy the rules file to be used 2 Past this file in your project folder on the Navigator view of Eclipse platform Resource Eclipse Platform File Edit Navigate Search Project Run Window Help Q v v yl ve y tp v v Project Explorer 2 a LE My project a amp my_program E cycle_avalant GR7 cycle_montant GR7 E FB SCL B FC SCL E list AWL mnemoniques asc A regles_plc_checker_step7 gqr o Outline 23 An outline is not available Zi T ches E 7 pB Eten Description Resource Path Location amp My_project my_program Figure 4 27 Project folder view by Eclipse Navigator e Run PLC Checker from the Eclipes Navigator 1 Select the application export file s FEF pour PL7PRO ASC AWL GR7 et SCL pour STEP7 XEF pour UNITY PRO L5K pour RSLogix5000 to check and the rules file GQR to be used to 2 Open right clic contextual menu 3 Launch the analyze using the GLIPS tools Run PLC Checker for lOperating System 4177 January 2011 A ITRIS mation Square PLC Checker User Guide la Resource Eclipse P latform File Edit
63. ote_Ctrl kW N e Define the set of remote controls via one or more address intervals or variable name formats in the variables property 5 When you need to add a rule that check all remote controls you will use Remote_Ctrl as variables property for your new rule Note The ID property must be limited to alphanumeric characters A Z a z 0 9 and underscore _ The special characters are not allowed 6 1 5 Code filter This property named treatments allows to define set of codes selected from the whole application code 6 1 6 Data filter This property named variables allows to define sets of data from the whole application data 6 1 7 To enable a rule using other rules This property named enabledIds contains a boolean expression of rules IDs This allows to validate statically not dynamically a rule or a rules group using one or more other nodes previously defined A rule or rules group is enabled when this property is true The rules IDs used in the boolean expression are evaluated as true or false depending if their are enabled or not This boolean expression supports the OR AND and NOT operators but does not support parentheses The standard notation ID1 OR ID2 and the post fixed one ID1 ID2 OR are supported The rules ID used in the boolean expression ahve to be defined before their use in the enabledIds property e Examples Here are some cases for the enablelds pro
64. perty of rule named rule3 with ID1 ID2 and ID4 the values of the ID properties of three previously defined rules named respectively rulel rule2 and rule4 1 enabledIds ID1 OR ID2 rule3 is enabled when rule OR rule2 is enabled 2 enabledIds ID1 ID2 OR rule3 is enabled when rule OR rule2 is enabled 3 enabledIds ID1 AND ID rule3 is enabled when rulel AND rule are enabled 4 enabledIds ID1 D2 AND rule3 is enabled when rulel AND rule2 are enabled 5 enabledIds ID1 ID2 ID4 OR AND rule3 is enabled when rulel AND rule2 OR rule4 are enabled 6 enabledids ID1 AND 4D2 OR 1D4 gt The parentheses are not supported Unexpected result may occurs 7 enabledIds rule3 may be enabled or not by the end user using the check box see rule activation section above 8 enabledIds true rule3 is always enabled the final user can not use the check box to disable this rule 9 enabledIds false rule3 is always disabled the final user can not use the check box to enable this rule may be you better have to delete this rule no 60 77 January 2011 LA Automation S PLC Checker User Guide ulomation square 6 1 8 To enable one rule or rules group in a list This operation uses the grouplds property This grouplds property contains a rules ID list This allows to enable one and only one rule or rules group of a list e Example The three nod
65. ption rules defined in a rules file After checking a results file is generated The non respects of rules are logged in the results file This PLC Checker version work with PLC programs of Schneider Electric PL7 PRO Siemens Step 7 Schneider Electric Unity and Rockwell Automation RSLogix5000 workbenches Step to follow for PLC Checker usage in SaaS Software as a Service are described in this user guide The PLC Checker obtains the Grand Prix de l Innovation 2004 organised by AUTOMATION OPTIMATION EUROPE in the meilleur logiciel d automatisme et de gestion industrielle category 8 77 Chapter 3 Eclipse plateform tutorial The aim of this tutorial 1s to install and to get started with the Eclipse platform You will find more details about the installation and the necessary plugins the definition of the workspace workplan and project concepts and finally the most significant functions will be detailed more precisely 3 1 Installation This section contains the installation procedure for the Eclipse platform 3 1 1 Hardware and software configuration needed The Itris Automation Square workshop is integrated in the Eclipse 3 7 1 The PLC Checker is preinstalled This platform and the workshop specific code need the Sun java virtual machine JRE 5 0 This software configuration require a PC with following minimals characteristics e Microsoft Windows 2000 XP Professional Windows 7 e Mini
66. r 11477 January 2011 f De ITRIS Automation Square PLC Checker User Guide A E AM Installing Please wait while PLC Checker is being installed Extract Perth 100 me Extract Brisbane 100 Extract Broken_Hill 100 Extract Currie 100 Extract Darwin 100 Extract Euda 100 Extract Hobart 100 Extract Lindeman 100 Extract Lord Howe 100 Extract Melbourne 100 Extract Perth Nullsoft Install System v2 46 SE RES lt Back Next gt Figure 3 6 Installation Completing the PLC Checker Setup Wizard PLE Checker has been installed on your computer Click Finish to close this wizard Figure 3 7 Close installation program 3 2 Software update The search of available updates is done automatically by the platform when 1t starts 12 77 January 2011 LA tion S PLC Checker User Guide lt Automation Square Automatic Update Search 7 IL E Figure 3 8 Automatic search for update e When plugins updates are found the platform ask you to view and install them Clic on Yes Automatic Updates mp New updates are available Do you want to review and install them now ty e j Figure 3 9 Ask for installation e Available updates can be seen Let all updates selected and clic on Next Up dates Search Results Select features to
67. rer You may view and browse your working space On the right part the big grey window displays the used editors when opening files of the work space At the bottom left a structured overview of the current editor is displayed It is empty in the present case At the bottom is the to do window in which you will find tasks to do Eclipse allows you to develop and add more tasks in order to inevitably proceed everything without omission Warning updating platform is done automatically each time you start it If the interface does not seem to answer make sure it is not an Update Updating Software 44 Figure 3 22 updating January 2011 19 77 F LA ITRIS Automation Square PLC Checker User Guide 3 4 Import Export files into from the project File import must be done only using the Eclipse feature There is no way using the Microsoft file browser Im features are described hereunder porting or exporting data can be completed in different ways in the workspace The drag n drop and use of import 3 4 1 Drag N Drop operation does not erase the files from their original location The following snapshots show the different steps to import files into the workspace using the drag n drop way A file browser must be open and you only need to drag the desired files and drop them to the workspace This VNG PCICPO1 Ressource Piateforme Eclipse p Fichier Editer Naviguer Rechercher Projet Ex cuter Fen tre
68. roject Run Window Help ES ES E Q z A e L E Resource S Navigator 3 O f y rules EE E E feemRegles de l art 315 test 83 Chaque type de blocs de code de l application est pr sent ed M 1 y a du code dinitialisation eee e oO Il y a du code d acquisition des entr es sons MO Il y a du code d acquisition des t l commandes MO Il y a du code de mise jour des modes de marche oO Il y a du code de mise jour des d fauts et alarmes MO Il y a du code de mise 4 jour des informations pour la supervision MO Il y a du code de mise 4 jour des sorties MO L ensemble du code appartient un type 33 L application est bien comment e et les symboles sont de qualit MO Toutes les objets ont un symbole de plus de 5 caract res A9 Tous les objets ont un symboles n ayant pas de r f rence leur adresse physique M S Tous les objets ont un commentaire de plus de 1 caract res 83 Les variables pour la supervision sont bien dans les tables MO Les t l commandes sont l int rieur des tables de t l commandes Me Les t l r glages sont 4 l int rieur des tables de t l r glages Les t l signalisations sont l int rieur des tables de t l signalisations o Outline 3 O MG Les t l mesures sont l int rieur des tables de t l mesures An outline is not available M 88 Le programme est bien structur E EH v rifications relatives aux entr es Les entr es ne sont pas crites A Toutes l
69. rval without upper limit for example MW 100 e the whole memory plan for example MW January 2011 63177 f Pas Automation S pra PLC Checker User Guide 6 2 7 Filters intersection The data and code sub sets used for the analyze correspond to the intersection of the sub sets defined for this rule and of those of her parents e Example the A sub set 1s the father of the B sub set which is the father of the rule that works on the intersection of A and B sub sets E Mon deuxi me fichier de r gles agr X f M 8 Ensemble A amp Ensemble B DO EE Propri t Valeur name Cette r gle v rifie que les l ments appartenant l intersection des ensembles 4 et B ne sont jamais crits treatments variables checkType writtenOnce Figure 6 3 Filter intersection 6 2 8 Filters union A sub set can be defined as union of two or more sub sets using the operator e Example DF_ AL_ ER_ 6 2 9 Filters difference A sub set can be the difference of two sub sets using the operator In that case the A B sub set is made of the A set from which the B set elements are removed e Example DF_ DF_ 6 2 10 Filters usage To define a sub set rules file element of rulesGroup type are used This rulesGroup element must have an identifier Id property To reuse this sub set use the character before the element ID e Example 1 rulesGroup named
70. s du groupe 1 actuellement activ es e 0 E Les r gles du groupe 2 actuellement d sactiv es fl E Les r gles du groupe 3 actuellement aciv es Figure 6 1 Rules activation 6 1 3 Rules name This property is named name E mon premier fichier de r gles ggr X M YY Les filtres de code M YY Les filtres de donn es 83 Les r gles du groupe 1 actuellement activ es Y Les r gles du groupe 2 actuellement d sactiv es 82 Les r gles du groupe 3 Propri t Valeur name Les r gles du groupe 3 EM treatments variables Figure 6 2 Rules naming Each element of the rules file has a name This is a comment that tells what the element represents To change 1t enter the name property 59 77 LA inion square PLC Checker User Guide Note This name is used in the results file in the Checked rules section You better have to systematically name each rules file element 6 1 4 Rules Identity This property named id is used when you want to reuse elsewhere in the rules file the set of code or data defined by this element via treatments and or variables properties e For example you can define the set of all remote control variables in your application create a rules group in your rules file that will represent this set Define his name name property Define set of remote control variables Define his ID id property Rem
71. server from the website step 3 3 Execute PLC Checker on the server from the website step 5 e View results on the Eclipse platform 1 If you have choose method 2 you need to create an PLC Checker project in your workspace of the Eclipse platform that gets the contents and the characteristics of the PLC Checker project previously created on the website see method 1 2 View results file gqre on Eclipse platform 26 77 Ct TRIS PLC Checker User Guide ulomation Square 4 1 PLC Checker project creation 4 1 1 Default PLC Checker project creation with a wizard on Itris Automation Square website e Choose the PLC workshop type PL7 Pro Unity Step 7 RSLogix5000 and the kind of verification Single Run Unlimited then clic on button Launch Wizard Actions Mozilla Firefox a Edition Affichage Historique Marque pages Outils 2 e A A Mes hips div automationsquare comfactions home AS IN Welcome to Automation Square Homepage Download f This page is your logged homepage into automationsquare com It gives you possibility to run all Itris AutomationSquare programs Please this action you wantto perform Today Support nizi A View Your existing Projects View Status of my actions Create a new project PLC Checker PLC Converters Precise Action Precise Action PLC Checker Single Run PL Pro PLC Checker Single Run Rockwel PLC Checker Single Run Step PLC Checker Single R
72. source u attributeCheck Copy blockCheck readCheck oO DJ o Outline 2 lt O e equationCheck An outline is not available Son i memory Check ee fefStructureCheck Edit treatments attribute fefattributeCheck Sort childs by name Figure 8 5 New rule creation 8 3 Cancel modifications Use Undo in contextual menu to go back and cancel modifications You can redo modifications using the Redo in the contextual menu Note When you come back up to the state saved on disk the contextual menu Undo is disabled 8 4 Copy and past rules A set of contiguous rules with the same father can be copy using the copy command in the contextual menu The Cut command enable to copy and cut the selection you can Past one or more times the previously copied selection The rules selection is pasted after the rule selected Note If the selected rule is a rulesGroup and if it does not contain any child then the rules selection is pasted as child of the selected ruleGroup 3 5 Delete rules use the Delete command in the contextual menu in order to remove the rules selection The rules selection is not copied 8 6 Operations on rules properties You can copy cut past properties contains using the contextual menu displayed by a right clic on property field when it is edited cursor displayed January 2011 THT x ITRIS s Automation Square PLC Checker User Guide Resource My_rules_tfile eqr
73. t the workbench for the changes to take effect Would At J ou like to restart now No Figure 3 16 Asking to restart 16 77 January 2011 f LA Automation S PLC Checker User Guide ulomation square 3 3 Launching the platform To launch the platform clic on the icon from the Windows desktop or choose the Glips platform item from the Start Menu At the end of the installation the platform will start automatically AR eclipse INDIGO Figure 3 17 Eclipse Logo 3 3 1 Workspace When launching the platform the following dialog box pops up Select a workspace Eclipse Platform stores your projects in a folder called a workspace Choose a workspace folder to use For this session D Use this as the defauk and do not ask again Figure 3 18 Workspace selection The workspace 1s a hard disk drive directory reserved for Eclipse needs In this specified folder Eclipse builds up another folder called metadata containing all the data it needs to work Note that it is important 1 To split the Eclipse workspace from your current work folders 2 Not to use the Windows explorer to generate files in the workspace for this purpose use the import export function or file drag n drop function 3 To have only one workspace The metadata contains the Eclipse project list Once the folder chosen you will get rid of the start question on next starts of the platform by ticking the option of the dialog
74. tments properties This rule is useful to check application modularity 68 77 January 2011 LA Automation S PLC Checker User Guide ulomation square 7 4 Symbol check symbolCheck M symbolcheck Figure 7 4 Symbolcheck 7 4 1 Usage This rule allows to check 1 that all application elements data and code have a symbol 2 that the length of this symbol is not too short nor too long 3 that the symbol does not contains reference to the physical address 4 and that a group of elements identify by the symbol are in the given memory plan 7 4 2 Properties Name name See Concepts Rules Rule name Identifier id See Concepts Rules Rule identifier Code filter treatments See Concepts Rules Code filter Data filter variables See Concepts Rules Data filter Symbols minimal length minLength This property defines for all application elements code and data filters the minimal length of its associated symbol Symbols maximal length maxLength This property defines for all application elements code and data filters the maximal length of its associated symbol Symbol does not refer to absolute memory address notAbsoluteCheck This boolean allows to select the application elements code and data filters whose symbol refers either to their absolute address or to their type e Examples W_10_MOTOR_SPEED at address MW 10
75. uch like the one to compare files at the top which is the local history of the file Successively selecting versions gives you the differences between the current version and the selected one Compare with Local History Local History of origin txt 9 Today Jun 17 2009 O 1 29 15 PM O 1 28 08 PM Text Compare Workspace File Local History Jun 17 2009 1 31 15 PM en eclipse update 1 png When the Wizard pops up en eclipse update 2 png Unselect websites already included en eclipse update 3 png en eclipse update 1 png Select the file containing the site en eclipse update 5 pna Confirm en eclipse update 6 png Click on Finish I jan an linss iwndetra 7 nnal l gt When the Wizard pop up en eclipse update 2 png Unselect websites already includec en eclipse update 3 png Select the file containing the sit en eclipse update S png Confirm en eclipse update 6 png Click on Finish fen or linoa mimita nnal A m Figure 3 32 Local history comparison 3 6 2 Replacing by an older version In the popup menu choosing Replace by local history replacing the current version by an older version becomes possible at the same time viewing the differences January 2011 25177 Chapter 4 PLC Checker project creation and usage The synthetic procedure
76. ules file those Informations can override equivalent global project information for this particular program 5 Create an other s new program s 6 To finish Clic on button Create Project January 2011 31 77 TRIS Aulomaiion square PLC Checker User Guide Project Checker creation This page is imended to cresie a new project to manage quality using PLC Checker Project creation Project global dats Project onsracteristios The comem of those fields is a detsul value for corresponding program s data Name Project for Project she cry O O gt informaron located in mis cel can override equivalen gions project Information for mis particular program o O PLC ste chy Orok PLC Checker Rules se GroR pour test platetorme eclipse oct 2011 3 crested 2011 11 2 s ny Standard Rules Set Information for program 2 Informacion located in is cell can override equivalen global project Information for Tis particular program el Eel s A AAA Figure 4 10 New project description e Note your 6 chars program code it will be useful for PLC Checher project creation on the Eclipse platform of the PLC Checker Crestion 2011 12 08 11 26 39 Paramet
77. un Uni PLC Checker Unlimited PL Pro Currently unavailable features PLC Checker Unlimited Rockwell The following features are currently unavailable on Itris PLC Checker Unlimited Step Aut g PLC Checker Unlimited Uni utomation Square website Please contact us contact PLC Metrics Orphee Termin www automationsquare com a Figure 4 1 Choose PLC Checker functionality e Name the project from website step 1 1 Give a name and a description of the project 2 Some complementary informations can be specified for the project This can be modified later by using link Change your identification 3 Clic on button Identify January 2011 2777 pP malion Square PLC Checker User Guide A ITRIS Actions Mozilla Firefox Fichier Edition Affichage Historique Marque pages Outils 2 Qe y C x es https funww automationsquare com actions view 18 1696 YY hg IG Googte P a gt Required Step Support Mandatory files not 2 Load PLC Files into repository uploaded 3 Pre load a Rule file No rule file 4 Choose a valid key No Key available 5 Launch PLC Checker Unlimited PL Pro 6 Close the action Identify your action Name check_LTP_D10 Description Check LTP_P10 during programmation Optional informations Customer My client Address his address Project Change all LTP PLC reference LTP_D10 PLC function Luggage Transport PLC to door

Download Pdf Manuals

Related Search

Related Contents

Martha Stewart Living 0463800600 Instructions / Assembly  EME Owners Manual Liteway 3&4 Plus  G series User Manual    binomio rcn/kcn - Certificazione Energetica  BlackBerry Q10 Smartphone  mode d'emploi  Philips In-Ear Headphones  DVD Service Manual - Wiki Karat    

Copyright © All rights reserved. Failed to retrieve file