VERIFICATION OF AN INDUSTRIAL COMPUTER NETWORK OF HIGH RISK OPERATION PLANTS - A NPP APCS Example

Vitaly Promyslov, Stanislav Masolkin

Abstract

A modern APCS (automated process control system) of large plants, involving nuclear power plants (NPP), is implemented as networked control system. In the paper, model based on the “network calculus” for an NPP APCS segment is presented. A method of calculation of time characteristics of the system under worst combination of input conditions is verified.

References

  1. Chen Peng, Dong Yue, Engang Tian, Zhou Gu,. A delay distribution based stability analysis and synthesis approach for networked control systems, Journal of the Franklin Institute, volume 346, issue 4, pp. 349- 365, May 2009.
  2. Le Boudec, J.-Y., Thiran P. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Springer-Verlag, 300 pp., 2001.
  3. Byvaikov, E. M., Zharko, E. F., Mengazetdinov, N. E., Poletykin, A. G., Prangishvili, I. V., Promyslov, V. G. Experience from design and application of the toplevel system of the process control system of nuclear power-plant, Automation and Remote Control, volume 67, number 5, pp. 735-747, 2006.
  4. Witsch, D., Vogel-Heuser, B., Faure, J.-M., Marsal G. Performance Analysis of industrial Ethernet networks by means of timed model checking, In Proc IFAC INCOM 7806 Symposium, 2006.
  5. Vantanski, N. et. al. Compensating the transmission delay in networked control systems, In 14th Nordic process control workshop, NPCW 7807, Espoo, Finland, 2007.
  6. Hwangnam, Kim, Hou J.C. Network calculus based simulation for TCP congestion control: theorems, implementation and evaluation, In INFOCOM 782004. Twenty-third Annual Joint Conference of the IEEE Computer and Communications Societies. Publication Date: 7-11 March 2004, volume 4, pp. 2844-2855. ISSN 0743-166X.
  7. Cruz, R. L. A Calculus for Network Delay. Part I: Network Elements in Isolation, IEEE Transactions on Information Theory, volume IT-37, pp. 114-131, January 1991.
  8. Cruz, R. L. A calculus for network delay. II. Network analysis Information Theory, IEEE Transactions on Information Theory, volume IT-37, pp. 132-141, January 1991.
  9. Turner, J. New Directions in Communications (or which way to the information age?, IEEE Communications, volume 24, number 10, pp. 8-16, .October 1986.
  10. Zdarsky, N., Martinovic, F. A., Schmitt Ivan, Jens B. The DISCO Network Calculator, In Proceedings: MMB 7814th GI/ITG Conference - Measurement, Modelling and Evaluation of Computer and Communication Systems, Dortmund 2008.
Download


Paper Citation


in Harvard Style

Promyslov V. and Masolkin S. (2010). VERIFICATION OF AN INDUSTRIAL COMPUTER NETWORK OF HIGH RISK OPERATION PLANTS - A NPP APCS Example . In Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-8425-00-3, pages 74-79. DOI: 10.5220/0002878900740079


in Bibtex Style

@conference{icinco10,
author={Vitaly Promyslov and Stanislav Masolkin},
title={VERIFICATION OF AN INDUSTRIAL COMPUTER NETWORK OF HIGH RISK OPERATION PLANTS - A NPP APCS Example},
booktitle={Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2010},
pages={74-79},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002878900740079},
isbn={978-989-8425-00-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - VERIFICATION OF AN INDUSTRIAL COMPUTER NETWORK OF HIGH RISK OPERATION PLANTS - A NPP APCS Example
SN - 978-989-8425-00-3
AU - Promyslov V.
AU - Masolkin S.
PY - 2010
SP - 74
EP - 79
DO - 10.5220/0002878900740079