Gonz�lez M., Guti�rrez J.J., Palencia J.C., Drake J.M., Medina J.L. and L�pez P. (2006). MAST: A Tim

Home Embedded Systems, Computational Intelligence and Telematics in Control 1st Conference on Embedded Systems, Computational Intelligence and Telematics in Control A Model-Based Approach for Timing Analysis of Industrial Automation Systems
Abstract This paper presents a temporal characterization for automation super 8 motel locations 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 super 8 motel locations of a Model Driven Development approach. The definition of three Domain Specific Models: super 8 motel locations 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 super 8 motel locations 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, super 8 motel locations 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).
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 super 8 motel locations Systems, super 8 motel locations 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 super 8 motel locations Model for Embedded Systems Design Processes. ARTIST2 Workshop on Models of Computation super 8 motel locations and Communication.
Balasubramanian, K., Gokhale, A., Karsai, G., Sztipanovits, J. and Neema, S. (2006). Developing super 8 motel locations Applications Using Model-driven Design Environments. IEEE Computer Society, volume (39), issue (2), pp. 33-40.
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.
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 super 8 motel locations Theory: A Historical Perspective. Real-Time super 8 motel locations Systems, 28, pp.101-155.
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.