source: vis_dev/vis-2.1/examples/production_cell/check_result @ 11

Last change on this file since 11 was 11, checked in by cecile, 13 years ago

Add vis
File size: 2.1 KB
Line 
1# ABS: formula failed --- NOT[ AG(!((TC.Crane.HorizontalPos=OverFB * TC.CraneCNTR.HorizontalMove=GoLeft))) ]
2# ABS: formula failed --- NOT[ AG(!((TC.Crane.HorizontalPos=OverDB * TC.CraneCNTR.HorizontalMove=GoRight))) ]
3# ABS: formula failed --- NOT[ AG(!((TC.Crane.HorizontalPos=Middle * !(TC.Crane.VerticalPos=UpMost)))) ]
4# ABS: formula failed --- NOT[ AG(!((TC.Crane.HorizontalPos=OverDB * TC.Crane.VerticalPos=FBHight))) ]
5# ABS: formula failed --- NOT[ AG(!((TC.Crane.VerticalPos=UpMost * TC.CraneCNTR.VerticalMove=GoUp))) ]
6# ABS: formula failed --- NOT[ AG(!((TC.Crane.VerticalPos=FBHight * TC.CraneCNTR.VerticalMove=GoDown))) ]
7# ABS: formula failed --- NOT[ AG((!(TC.Crane.HorizontalMove=Stop) -> TC.CraneCNTR.VerticalPos=UpMost)) ]
8# ABS: formula passed --- NOT[ AG(!(((PR.Pr.PressPosition=Mid * AR.Arm.RALoadArm=Extended) * AR.Arm.RAAnglePos=OverLoadedPress))) ]
9# ABS: formula failed --- NOT[ AG(!(((PR.Pr.PressPosition=Top * AR.Arm.RAUnLoadArm=Extended) * AR.Arm.RAAnglePos=OverUnLoadedPress))) ]
10# ABS: formula failed --- NOT[ AG((DB.DBeltCNTR.PieceOutDB=Y -> AF(TC.CraneCNTR.PieceGrabbedFromDB=Y))) ]
11# MC: formula passed --- AG(!((TC.Crane.HorizontalPos=OverFB * TC.CraneCNTR.HorizontalMove=GoLeft)))
12# MC: formula passed --- AG(!((TC.Crane.HorizontalPos=OverDB * TC.CraneCNTR.HorizontalMove=GoRight)))
13# MC: formula passed --- AG(!((TC.Crane.HorizontalPos=Middle * !(TC.Crane.VerticalPos=UpMost))))
14# MC: formula passed --- AG(!((TC.Crane.HorizontalPos=OverDB * TC.Crane.VerticalPos=FBHight)))
15# MC: formula passed --- AG(!((TC.Crane.VerticalPos=UpMost * TC.CraneCNTR.VerticalMove=GoUp)))
16# MC: formula passed --- AG(!((TC.Crane.VerticalPos=FBHight * TC.CraneCNTR.VerticalMove=GoDown)))
17# MC: formula passed --- AG((!(TC.Crane.HorizontalMove=Stop) -> TC.CraneCNTR.VerticalPos=UpMost))
18# MC: formula failed --- AG(!(((PR.Pr.PressPosition=Mid * AR.Arm.RALoadArm=Extended) * AR.Arm.RAAnglePos=OverLoadedPress)))
19# MC: formula passed --- AG(!(((PR.Pr.PressPosition=Top * AR.Arm.RAUnLoadArm=Extended) * AR.Arm.RAAnglePos=OverUnLoadedPress)))
20# MC: formula passed --- AG((DB.DBeltCNTR.PieceOutDB=Y -> AF(TC.CraneCNTR.PieceGrabbedFromDB=Y)))
Note: See TracBrowser for help on using the repository browser.