» Download Article

Authors
Irisarri, Edurne; Estévez, Elisabet; Marcos, Marga

Digital Object Identifier (DOI)
10.3182/20120403-3-DE-3010.00066

Page Numbers:
37-42

Index Terms
Model-driven engineering of computer-controlled systems; Programmable logic controllers; Process control, manufacturing

Abstract
This paper presents a temporal characterization for automation systems. The final goal is to achieve a whole model in which a schedulability analysis could be applied in order to assure that this kind of systems meet timing non-functional requirements of the application. This work is performed in the context of a Model Driven Development approach. The definition of three Domain Specific Models: control specification, and hardware and software architectures, is the base for the whole model. In particular, the software domain model uses the XML interface defined by PLCopen for expressing IEC 61131-3 automation projects. The information contained in the model of the application is processed to generate the temporal model of the automation system. A specific transformation of this model makes possible to carry out a schedulability analysis of the system. In particular, this is achieved by generating the specific input model of the well-known Modelling and Analysis Suite for Real-Time Applications, MAST.

References

Brennan, R.W., (2007). Toward Real-Time Distributed Intelligent Control: A Survey of Research Themes and Applications. IEEE Transactions on systems, man, and cybernetics. Part C: Applications and Reviews, Volume (37), Num (5), pp. 744-765. 
Eckert, K., Frank, T., Hadlich, T., Fay, A., Vogel-Heuser, B. and Diedrich, C. (2011). Typical Automation Functions and Their Distribution in Automation Systems. IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA). 
Estévez, E. and Marcos, M. (2008). Model Driven Design of Industrial Control Systems. Proc. of 9th IEEE International Symposium on Computer-Aided Control System Design (CACSD), pp: 1253-1258. 
Estévez, E., Sarachaga, I., Pérez, F., Orive, D., and Marcos, M. (2009). Model Driven Design in Industrial Automation. Proc. of 48th IEEE Conference on Decision and Control, pp: 6262-6268. 
González, M., Gutiérrez, J.J, Palencia, J.C. and Drake, J.M., (2001). MAST: Modeling and Analysis Suite for Real-Time Applications. Proc. of 13th Euromicro Conference on Real-Time Systems, pp.125-134. 
González M., Gutiérrez J.J., Palencia J.C., Drake J.M., Medina J.L. and López P. (2006). MAST: A Timing Behavior Model for Embedded Systems Design Processes. ARTIST2 Workshop on Models of Computation and Communication. 
Harry, H., Cheng, F., Proctor, J.L., Michaloski, W. and Shackleford, P. (2001). Real-Time Computing in Open Systems for Manufacturing. In: Transactions of the ASME, vol. 1, pp. 92-99. 
Hästbacka, D., Vepsäläinen, T. and Kuikka, S. (2011). Model-driven development of industrial process control applications. The Journal of Systems and Software, volume (84), pp.1100-1113, Elsevier. 
IEC, (2003). International Electrotechnical Commission, IEC International Standard IEC 61131-3: Programmable Controllers. Part 3: Programming Languages. 
John, K.-H. and Tiegelkamp, M. (2001). IEC1131-3: Programming Industrial Automation Systems. Springer. 
Balasubramanian, K., Gokhale, A., Karsai, G., Sztipanovits, J. and Neema, S. (2006). Developing Applications Using Model-driven Design Environments. IEEE Computer Society, volume (39), issue (2), pp. 33-40. 
Lewis, R.W. (1998). Programming Industrial Control Systems using IEC 1131-3. IEE Control Engineering Series. 
Marcos, M., López, F., and Orive, D. (2000). On the Analysis and Simulation of Temporal Behaviour of Real Time Distributed Systems using PROFIBUS. Proc. of the IEEE WFCS'2000, pp. 179-186, Porto, Portugal. 
MAST Elements. (2001). Web site: http://mast.unican.es/mast-getting-started.html#elements 
Medina, J.L., González, M., Harbour, M. and Drake, J.M. (2001). MAST Real-time View: A Graphic UML Tool for Modelling Object_Oriented Real_Time Systems. RTSS. 
Medina J.L., Gutiérrez J.J., González, M. and Drake J.M. (2002). Modelling and Schedulability Analysis of Hard Real-Time Distributed Systems based on ADA Components. Ada Europe. 
Miller, J. and Mukerji, J. (2001). Model Driven Architecture (MDA). OMG, ormsc/2001-07-01, Architecture Board ORMSC1. 
Miller, J. and Mukerji, J. (2003). MDA Guide Version 1.0.1. Document. OMG, omg/03-06-01, (MDA Guide V1.0.1). 
Phoenix Contact. (2010). webSite: http://www.phoenixcontact.com/automation/32131_31906.htm 
PLCopen (1992). PLCopen international organization, available at: http://www.plcopen.org/ 
Sha, L., Abdelzaher, T., Årzen, K.E., Cervin, A., Baker, T., Burns, A., Butazzo, G., Caccamo, M., Lehoczky, J. and Mok, A.K. (2004). Real Time Scheduling Theory: A Historical Perspective. Real-Time Systems, 28, pp.101-155. 
Pruitt, S., Stuart, D. and Cook, T.W. (1998). The merit of XML as an Architecture Description Language Meta-Language. Microelectronics and Computer Technology Corp. 
Tidwell, D. (2001). XSLT, Ed. O?REILLY. 
Thramboulidis, K. and Frey, G. (2011). An MDD process for IEC 61131-based industrial automation systems. IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA), pp. 1-8. 
Vogel-Heuser, B., Braun, S., Kormann, B. and Friedrich, D. (2011a). Implementation and evaluation of UML as modeling notation in object oriented software engineering for machine and plant automation. Preprints of the 18th IFAC World Congress, pp. 9151-9157. Milano (Italy). 
Vogel-Heuser, B., Feldmann, S., Werner, T. and Diedrich, C. (2011b). Modeling network architecture and time behavior of Distributed Control Systems in industrial plant automation. 37th Annual Conference on IEEE Industrial Electronics Society, IECON, pp. 2232–2237. 
W3C (1999). XML Stylesheet Language Transformations. Web site: http://www.w3.org/TR/xslt 
XML. (2003). Available at: http://www.w3.org/XML/ 
XML schema. (2000). At: http://www.w3.org/XML/Schema