Application of object-oriented modeling tools to design the logic control system of a packaging machine

2nd IEEE International Conference on Industrial Informatics, INDIN'04

Volumn , Issue , 2004, Pages 569-574

  Bonfè, Marcello ^a   Fantuzzi, Cesare ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF MODENA AND REGGIO EMILIA   (Italy)

Author keywords

Discrete event systems; Logic controllers; Manufacturing systems; Verification

Indexed keywords

COMPUTATIONAL METHODS; CONTROL SYSTEMS; MANUFACTURE; PRODUCT DESIGN;

DISCRETE-EVENT SYSTEMS; LOGIC CONTROLLERS; VERIFICATION;

OBJECT ORIENTED PROGRAMMING;

EID: 28444498898     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. G. Frey and L. Litz, "Formal methods in PLC programming," in Proc. IEEE Conf. on Systems Man and Cybernetics (SMC) 2000, Oct. 2000, pp. 2431-2436.
2. D. Harel, "Statecharts: a visual formalism for complex systems," Science of Computer Programming, vol. 8, pp. 231-274, 1987.
3. I. Moon, G. Powers. J. Burch. and E. Clarke. "Automatic verification of sequential control systems using temporal logic," AIChE Journal, vol. 38, no. 1, pp. 67-75, 1992.
4. M. Rausch and B. Krogh. "Formal verification of PLC programs," in Proc. of ACC 1998, Philadelphia, USA, June 1998.
5. G. Canet, S. Couffin. J. Lesage, A. Petit, and P. Schnoebelen, 'Towards the automatic verification of PLC programs written in Instruction List," in Proc. of SMC 2000. IEEE, 2000, pp. 2449-2454.
6. Object Management Group, "UML, v.l.4. OMG specification," Document N. formal/2001-09-67, 2001. www.omg.org/uml.
7. International Electrotechnical Commission, "IEC 61131-3. Programmable Controllers - Part 3: Programming Languages (2nd Edition)," Final Draft International Standard (FDIS), 2002.
8. (8)_, "IEC 61499-1. Function Blocks for Industrial Process Measurement and Control - Part 1: Architecture," Public Available Specification (PAS), 2000.
9. B. Selic, G. Gullekson, and P. Ward, Real-Tune Object-Oriented Modeling. John Wiley & Sons, 1994.
10. Object Management Group, "UML, v. 2.0, OMG request for proposal," Document N. ad/2003-03-02, 2003, www.omg.org/uml.
11. D. Harel and O. Kupferman, "On object systems and behavioral inheritance," IEEE Trans, on Software Engineering, vol. 28, no. 9, pp. 889-903, Sept. 2002.
12. B. Rumpe and C. Klein. "Automata describing object behavior." in Specification of Behavioral Semantics in Object-Oriented Information Modeling, H. Kilov and W. Harvey. Eds. Kluwer Academic, 1996, pp. 265-286.
13. L. Pazzi, "Part-Whole Statecharts for the explicit representation of compound behaviours," in Proc. of UML 2000, ser. LNCS, A. Evans, S. Kent, and B. Selic, Eds., no. 1939, Springer, 2000, pp. 541-555.
14. K. McMillan, Symbolic Model Checking: an Approach to the State Explosion Problem. Kluwer Academic Publishers. 1993.
15. E. Allen Emerson. "Automated temporal reasoning about reactive systems," in Logics for Concurrency: Structure versus Automata, ser. LNCS, F. Moller and G. Birtwistle, Eds. Springer-Verlag, 1996, no. 1043, pp. 111-120.
16. D. Harel and A. Naamad. "The STATEMATE semantics of State-charts." ACM Transactions on Software Engineering and Method-ologies, vol. 5:4, pp. 293-333, October 1996.
17. W. Chan, R. Anderson, P. Beame, S. Burns, F. Modugno. D. Notkin, and J. Reese, "Model checking large software specifications," IEEE Trans, on Software Engineering, vol. 24, no. 7, pp. 498-520, July 1998.
18. W. Damm and D. Harel, "LSCs: breathing life into Message Sequence Charts," in Proc. of 3rd IFIP Int. Conf. FMOODS. Kluwer, 1999. pp. 293-312.
19. R. Sehlor and W. Damm, "Specification and verification of system-level hardware designs using timing diagrams," in Proc. European Conf. on Design Automation. IEEE Computer Society Press. 1993. pp. 518-524.