Design and verification of mechatronic object-oriented models for industrial control systems

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn 2, Issue January, 2003, Pages 253-260

  Bonfè, Marcello ^a   Fantuzzi, Cesare ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF MODENA AND REGGIO EMILIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE REUSABILITY; CONTROL SYSTEMS; DESIGN; FACTORY AUTOMATION; FORMAL VERIFICATION; ITERATIVE METHODS; SPECIFICATIONS; STANDARDS;

COMPUTATIONAL PLATFORMS; IMPLEMENTATION ARCHITECTURE; INDUSTRIAL CONTROL SYSTEMS; MANUFACTURING MACHINE; METHODOLOGICAL FRAMEWORKS; OBJECT ORIENTED APPROACH; OBJECT ORIENTED MODEL; VERIFICATION TECHNIQUES;

MODEL CHECKING;

EID: 84938400112     PISSN: 19460740     EISSN: 19460759     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2003.1248708     Document Type: Conference Paper

References (18)

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. Hare, "Statecharts: a visual formalism for complex systems," Science of Computer Programming, vol. 8, pp. 231-274, 1987.
3. P. Ramadge and W. Wonham, "Supervisory control of a class of discrete event processes," SIAM Journal on Control and Optimization, vol. 25, no. 1, pp. 206-230, January 1987.
4. International Electrotechnical Commission, "IEC 61131-3. Programmable Controllers - Part 3: Programming Languages," 1993.
5. -, "IEC 61499. Function Blocks for Industrial Process Measurement and Control - Part 1: Architecture," Public Available Specification (PAS), 2000.
6. F. Bonfatti, G. Gadda, and P. Monari. "PLC software modularity and co-operative development" in Proc. of AIM2001, vol. 2. IEEE/ASME, 2001, pp. 775-780.
7. B. Selic, G. Gullekson, and P. Ward. Real-time Object-Oriented Modeling. John Wiley & Sons, 1994.
8. I. Jacobson, M. Christerson, P. Jonsson, and G. Overgaards Object-Oriented Software Engineering: a Use-Case driven Approach. Addison Wesley Longman, 1992.
9. B. Douglass. Real-Time UML, developing efficient objects for embedded systems. Addison Wesley Longman, 1999.
10. "UML, v. 1.4, OMG specification," Document N. formal/2001-09-67, 2001, www.omg.org/uml.
11. B. Selic and J. Rumbaugh, "Using UML for complex real-time systems," Objec Time Limited, www.rational.com/media/whitepapers/umlrt.pdf. 1998.
12. K. McMillan, Symbolic Model Checking: an Approach to the State Explosion Problem. Kluwer Academic Publishers, 1993.
13. 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.
14. D. Harel and A. Naamad, "The STATEMATE semantics of Slatecharts," ACM Transactions on Software Engineering and Methodologies, vol. 5:4, pp. 293-333, October 1996.
15. M. Dwyer, G. Avrunin, and J. Corbett, "Patterns in property specifications for finite-state verification," in Proc. of the 21st International Conference on Software Engineering, 1999.
16. V. Vyatkin and H. Hanisch, "Application of visual specifications for verification of distributed controllers," in Proc. IEEE Conf. on Systems, Man and Cybernetics, 2001, pp. 646-651.
17. R. Schlor 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.
18. M. Bonfè, C. Donati, and C. Fantuzzi, "An application of software design methods to manufacturing systems supervision and control," in Proc. of Ihe IEEE Conference on Control Applications 2002, 2002.