Model-based validation of industrial control systems

IEEE Transactions on Industrial Informatics

Volumn 8, Issue 2, 2012, Pages 302-310

  Estevez E ^a   Marcos, M ^b  

^a UNIVERSITY OF JAÉN   (Spain)

^b UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

AutomationML; CAEX; IEC 61131 3; Industrial control systems; MathML; model driven engineering; PLCopen

Indexed keywords

AUTOMATIONML; CAEX; IEC61131-3; INDUSTRIAL CONTROL SYSTEMS; MATHML; MODEL-DRIVEN ENGINEERING; PLCOPEN;

COMPUTER AIDED ENGINEERING; CONTROL SYSTEMS; INDUSTRIAL APPLICATIONS; MODEL CHECKING; SEMANTICS; SPECIFICATIONS;

DESIGN;

EID: 84859893572     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2011.2174248     Document Type: Article

References (27)

1. E. van der Wal, "PLCopen," IEEE Ind. Electron. Mag., vol. 3, p. 25, Dec. 2009.
2. A. Lüder, E. Estévez, L. Hundt, and M. Marcos, "Automatic transformation of logic models within engineering of embedded mechatronical units," Int. J. Adv. Manuf. Technol., pp. 1077-1089, Nov. 2011, DOI: 10.1007/s00170-010-3010-y.
3. Programmable Controllers, Part 3: Programming Languages, IEC International Standard IEC 61131-3:2003, 2003, International Electrotechnical Commission.
4. B. Selic, "The pragmatics of model-driven development," IEEE Software, vol. 20, no. 5, pp. 19-25, Sep./Oct. 2003.
5. J. Miller and J. Mukerji, "Model Driven Architecture (MDA)," Architecture Board ORMSC1, Jul. 2001, OMG, ormsc/2001-07-01.
6. J. Sztipanvits and G. Karsai, "Model-integrated computing," IEEE Comput., vol. 20, pp. 110-112, 1997.
7. G. Karsai, "A configurable visual programming environment: Toolf or domain-specific programming," Computer, vol. 28, no. 3, pp. 36-44, 1995.
8. A. Ledeczi, A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, J. Sprinkle, and G. Karsai, "Composing domain-specific design environments," Computer, vol. 34, no. 11, pp. 44-51, 2001.
9. L. Lo Bello and G. Frey, "Guest Editorial (Special Section on Information Technology)," IEEE Trans. Ind. Informat, vol. 7, no. 4, pp. 688-688, Nov. 2011, DOI: 10.1109/TII.2011.2167341.
10. R. Khare and A. Rifkin, "XML: A door to automated Web applications," IEEE Internet Comput., vol. 1, no. 4, pp. 78-87, Jul./Aug. 1997.
11. M. Fedai and R. Drath, "CAEX-A neutral data exchange format for engineering data," ATP International Automation Technology 01/2005 3 2005, pp. 43-51.
12. N. F. Polys, D. Brutzman, A. Steed, and J. Behr, "Future standards for immersive VR: Report on the IEEE virtual reality 2007 workshop," in IEEE Comput. Graphics Appl., 2008, vol. 28, no. 2, pp. 94-99. (Pubitemid 351447538)
13. J. El-Khoury, "A model management and integration platform for mechatronic product development," Ph.D. dissertation, School of Ind. Eng. Manage., Stockholm, Sweden, 2006.
14. L. Baresi, M. Mauri, and M. Pezze, "PLCTools: Graph transformation meets PLC design," Electronic Notes in Theoret. Comput. Sci., vol. 72, no. 2, pp. 1-10, 2002.
15. K. Thramboulidis, D. Perdikis, and S. Kantas, "Model driven development of distributed control applications," Int. J. Adv. Manuf. Technol., vol. 33, pp. 233-242, DOI 10.1007/s00170-006-0455-0.
16. K. Thramboulidis, "Model-integrated mechatronics-Toward a new paradigm in the development of manufacturing systems," IEEE Trans. Ind. Informat., vol. 1, no. 1, pp. 54-61, Feb. 2005. (Pubitemid 40541396)
17. IEC, IEC/TR 61499-3: Function Blocks-Part 3 Tutorial Information, International Standard, International Electrotechnical Commission, Geneva, 2005-01, 2005, 1st ed..
18. K. Thramboulidis, "The SysML view-model in model integrated mechatronics," J. Softw. Eng. Appl., vol. 3, pp. 109-118, 2010.
19. V. V. Vyatkin, J. H. Christensen, and J. L. M. Lastra, "OOONEIDA: An open, object-oriented knowledge economy for intelligent industrial automation," IEEE Trans. Ind. Informat., vol. 1, no. 1, pp. 4-17, Feb. 2005.
20. G. Cengic and K. Akesson, "On formal analysis of IEC 61499 applications, part A: Modeling," IEEE Trans. Ind. Informat., vol. 6, no. 2, pp. 136-144, May 2010.
21. G. Cengic and K. Akesson, "On formal analysis of IEC 61499 applications, part B: Execution semantics," IEEE Trans. Ind. Informat., vol. 6, no. 2, pp. 145-154, May 2010.
22. T. Strasser, C. Sunder, and A. Valentini, "Model-driven embedded systems design environment for the industrial automation sector," in Proc. 6th IEEE Int. Conf. Ind. Informat., Daejeon, Korea, 2008, pp. 1120-1125.
23. K. R. Foster, "Math on the Internet," IEEE Spectrum, vol. 36, no. 4, pp. 36-40, 1999.
24. P. Kruchten, "Architectural blueprints-The view model of software architecture," IEEE Software vol. 12, no. 6, pp. 42-50, Nov. 1995.
25. E. Estévez and M. Marcos, "Model-driven approach for designing industrial control systems," Lecture Notes on Computer Science, vol. 4758/2007, pp. 284-287, DOI: 10.1007/978-3-540-75132-8-25.2007.
26. M. Marcos, E. Estévez, F. Pérez, and E. van der Wal, "XML exchange of control programs," IEEE Ind. Electron. Mag., vol. 3, pp. 32-35, Dec. 2009.
27. E. Estévez, M. Marcos, and D. Orive, "Automatic generation of PLC automation projects from component-based models," Int. J. Adv. Manuf. Technol., vol. 35, no. 6, pp. 527-540, 2007. (Pubitemid 350098197)