Abstract
Increased efficiency and adaptability to market trends in production industry often means updated control software and periodic migration to state of the art automation systems. However, system migration comes along with several catches namely: (i) plant downtime (planned and unplanned), (ii) cost of migration (system integration and testing), and (iii) risk of failure and costly surprises during commissioning. Here, we discuss an approach dealing with statistical environment modeling in combination with Hardware-in-the-loop (HIL) test to confront the mentioned problems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Pretschner, A.: Model-Based Testing in Practice. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 537–541. Springer, Heidelberg (2005)
John, K. H., Tiegelkamp, M.: IEC 61131-3 Programming Industrial Automation Systems. Springer, Berlin (2001) ISBN: 3-540677526
Kumar, B., Niggemann, O., Jasperneite, J.: Timed automata for modeling network traffic. In: 32nd Annual Conference on Artificial Intelligence (KI 2009), Paderborn, Germany (2009)
Khoumsi, A., Jron, T., Marchand, H.: Test cases generation for nondeterministic real-time systems. In: Formal Approaches for Testing Software (2003)
En-Nouaary, A., Dssouli, R.: A Guided Method for Testing Timed INPUT Output Automata. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 211–225. Springer, Heidelberg (2003)
Salva, S., Petitjean, E., Fouchal, H.: A simple approach to testing timed systems. In: Workshop on Formal Approaches to Testing of Software (FATES 2001), Aalborg, Denmark (2001)
Becker, S., Dziwok, S., Schaefer, W., et al.: Mechatronicuml - syntax and semantics. Technical report, Software Engineering Group (2011)
Schaefer, W., Wehrheim, H.: Graph transformations and model-driven engineering. Springer, Heidelberg (2010)
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., et al.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138 (1995)
Kumar, B., Niggemann, O., Jasperneite, J.: Statistical models of network traffic. In: International Conference on Computer, Electrical and Systems Science, Cape Town, South Africa (2010)
Sproston, J.: Decidable Model Checking of Probabilistic Hybrid Automata. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol. 1926, pp. 31–45. Springer, Heidelberg (2000)
Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126 (1994)
Graeser, O., Kumar, B., Moriz, N., et al.: Automationml as a basis for offline- and realtime-simulation. In: 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2011) (July 2011)
Kumar, B., Niggemann, O., Jasperneite, J.: Test generation for hybrid, probabilistic control models. In: Entwurf komplexer Automatisierungssysteme (EKA 2010), Magdeburg, Germany (2010)
PNO: Profinet specification iec 61158-5-10 (v2.1) (2007)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag GmbH Berlin Heidelberg
About this chapter
Cite this chapter
Kumar, B., Niggemann, O., Schaefer, W., Jasperneite, J. (2012). Modeling and Testing of Automation Systems. In: Sambath, S., Zhu, E. (eds) Frontiers in Computer Education. Advances in Intelligent and Soft Computing, vol 133. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-27552-4_134
Download citation
DOI: https://doi.org/10.1007/978-3-642-27552-4_134
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-27551-7
Online ISBN: 978-3-642-27552-4
eBook Packages: EngineeringEngineering (R0)