Abstract
Traditional real-time control systems are tightly integrated into the industrial processes they govern. Now, however, there is increasing interest in networked control systems. These provide greater flexibility and cost savings by allowing real-time controllers to interact with industrial processes over existing communications networks. New data packet queuing protocols are currently being developed to enable precise real-time control over a network with variable propagation delays. We show how one such protocol was formally modelled using timed automata, and how model checking was used to reveal subtle aspects of the control system’s dynamic behaviour.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Andersson, M., Henriksson, D., Cervin, A., Årzén, K.-E.: Simulation of wireless networked control systems. In: Proceedings of the 44th IEEE Conference on Decision and Control and the European Control Conference (CDC-ECC 2005), pp. 476–481. IEEE, Los Alamitos (2005)
Behrmann, G., Bengtsson, J., David, A., Larsen, K.G., Petterson, P., Yi, W.: Uppaal implementation secrets. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, Springer, Heidelberg (2002)
Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. Technical report, Department of Computer Science, Aalborg University (November 2004)
Bissell, C.C.: Control Engineering, 2nd edn. Tutorial Guides in Electronic Enginering, vol. 15. Chapman and Hall, Boca Raton (1994)
Brinksma, E., Mader, A.: Model checking embedded system designs. In: Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES 2002) Extended Abstract (October 2002)
Clarke, E.M., Schlingloff, B.-H.: Model checking. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, Elsevier, Amsterdam (1999)
Dubey, A., Wu, X., Su, H., Koo, T.J.: Computation platform for automatic analysis of embedded software systems using model based approach. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol. 3707, Springer, Heidelberg (2005)
Fidge, C.J., Cook, P.: Model checking interrupt-dependent software. In: Proceedings of the Twelfth Asia-Pacific Software Engineering Conference (APSEC 2005), pp. 51–58. IEEE Computer Society Press, Los Alamitos (2005)
Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning About Systems, 2nd edn. Cambridge University Press, Cambridge (2004)
Iversen, T.K., Kristoffersen, K.J., Larsen, K.G., Laursen, M., Madsen, R.G., Mortensen, S.K., Pettersson, P., Thomasen, C.B.: Model-checking real-time control programs: Verifying lego mindstorms systems using uppaal. In: Toetenel, H. (ed.) Twelfth EuroMicro Conference on Real-Time Systems (ECRTS 2000), pp. 147–156. IEEE Computer Society Press, Los Alamitos (2000)
MartÃ, P., Fuertes, J.M., Fohler, G.: An integrated approach to real-time distributed control systems over fieldbuses. In: Eighth IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001), pp. 177–182 (2001)
MartÃ, P., Villá, R., Fuertes, J.M., Fohler, G.: Networked control systems overview. In: Zurawski, R. (ed.) The Industrial Information Technology Handbook, CRC Press, Boca Raton (2005)
Tian, Y.-C., Han, Q.-L., Fidge, C.J., Tadé, M., Gu, T.: Communication architecture design for real-time networked control systems. In: Proceedings of the Fourth IEEE International Conference on Communications, Circuits and Systems (ICCCAS 2006), pp. 1840–1845 (2006)
Tian, Y.-C., Levy, D., Tadé, M., Gu, T., Fidge, C.J.: Queuing packets in communication networks for networked control systems. In: Proceedings of the Sixth World Congress on Intelligent Control and Automation (WCICA 2006), pp. 205–209. IEEE Computer Society Press, Los Alamitos (2006)
Watteyne, T., Augé-Blum, I., Ubéda, S.: Proposition of a hard real-time MAC protocol for wireless sensor networks. In: Proceedings of the Thirteenth IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2005), pp. 533–536. IEEE Computer Society Press, Los Alamitos (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fidge, C., Tian, YC. (2006). Functional Analysis of a Real-Time Protocol for Networked Control Systems. In: Graf, S., Zhang, W. (eds) Automated Technology for Verification and Analysis. ATVA 2006. Lecture Notes in Computer Science, vol 4218. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11901914_33
Download citation
DOI: https://doi.org/10.1007/11901914_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-47237-7
Online ISBN: 978-3-540-47238-4
eBook Packages: Computer ScienceComputer Science (R0)Springer Nature Proceedings Computer Science
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
