Model Checking of Distributed Component-based Control Systems

Atef Gharbi, Hamza Gharsellaoui, Mohamed Khalgui, Samir Ben Ahemd

2013

Abstract

The paper deals with the functional safety of distributed control systems following the component-based approach. A control component is classically defined as a software unit allowing the control of a physical process. When a fault occurs in the plant, the system should be reconfigured dynamically to be adapted by adding-removing or updating software components for the safety of the controlled physical processes. An agent-based architecture is proposed therefore to control the plant’s evolution before applying any possible reconfiguration scenario of the system. When the system is distributed on networked controllers, we propose a control agent for each device but we need also a coordination agent to allow safety distributed reconfigurations. The unique coordinator uses well-defined matrices and a protocol for this coordination. We model the whole architecture by using ordinary Petri nets and apply SESA for the verification of CTL properties of the system. The paper’s contribution is applied to two benchmark production systems at Martin Luther University in Germany.

References

  1. Diedrich, C. and all (2004). Function block applications in control systems based on iec 61804. ISA Transactions, 43:123131.
  2. Gharbi, A., Khalgui, M., and Ahmed, S. B. (2010a). Interagents communication protocol for distributed reconfigurable control software components. The International Conference on Ambient Systems Networks and Technologies (ANT), 8-10 Novembre.
  3. Gharbi, A., Khalgui, M., and Ahmed, S. B. (2010b). Model checking optimization of safe control embedded components with refinement. 5th International conference on Design and Technology of Integrated Systems in Nanoscale Era.
  4. Gharbi, A., Khalgui, M., and Ahmed, S. B. (2011a). Agentbased fault management of embedded control systems. 6th International Conference on Software and Data Technologies (ICSOFT), 18-21 Juillet.
  5. Gharbi, A., Khalgui, M., and Ahmed, S. B. (2011b). Functional safety of discrete event systems. First Workshop of Discrete Event Systems.
  6. Gharbi, A., Khalgui, M., and H-M.Hanisch (2009). Functional safety of component-based embedded control systems. 2nd IFAC Workshop on Dependable Control of Discrete Systems.
  7. Goessler, G., Graf, S., Majster-Cederbaum, M., Martens, M., and Sifakis, J. (2007). An approach to modeling and verification of component based systems.
  8. Hanisch, H.-M. and Luder, A. (1999). Modular modelling of closed-loop systems. in Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 103-126.
  9. Jennings, N. R., Sycara, K., and Wooldridge, M. (1998). A roadmap of agent research and development. Autonomous Agents and Multi-agent Systems, 1:7-38.
  10. Khalgui, M., H-M.Hanisch, and Gharbi, A. (2009). Model-checking for the functional safety of control component-based heterogeneous embedded systems. 14th IEEE International conference on Emerging Technology and Factory Automation.
  11. Rausch, M. and Hanisch, H.-M. (1995). Net condition/event systems with multiple condition outputs. in Symposium on Emerging Technologies and factory Automation, 1:592-600.
  12. Roch, S. (2000). Extended computation tree logic: Implementation and application. In Proceedings of the AWPN2000 Workshop.
  13. SZYPERSKI, C., GRUNTZ, D., and MURER, S. (2002). Component Software Beyond Object-Oriented Programming. The Addison-Wesley Component Software Series.
  14. van Ommering, R., van der Linden, F., Kramer, J., and Magee, J. (2000). The koala component model for consumer electronics software. IEEE Computer, 33:78-85.
  15. Wittig, T. (1992). Archon: An architecture for multi-agent system. Ellis Horwood, Chichester.
Download


Paper Citation


in Harvard Style

Gharbi A., Gharsellaoui H., Khalgui M. and Ben Ahemd S. (2013). Model Checking of Distributed Component-based Control Systems . In Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-PT, (ICSOFT 2013) ISBN 978-989-8565-68-6, pages 512-519. DOI: 10.5220/0004492605120519


in Bibtex Style

@conference{icsoft-pt13,
author={Atef Gharbi and Hamza Gharsellaoui and Mohamed Khalgui and Samir Ben Ahemd},
title={Model Checking of Distributed Component-based Control Systems},
booktitle={Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-PT, (ICSOFT 2013)},
year={2013},
pages={512-519},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004492605120519},
isbn={978-989-8565-68-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Joint Conference on Software Technologies - Volume 1: ICSOFT-PT, (ICSOFT 2013)
TI - Model Checking of Distributed Component-based Control Systems
SN - 978-989-8565-68-6
AU - Gharbi A.
AU - Gharsellaoui H.
AU - Khalgui M.
AU - Ben Ahemd S.
PY - 2013
SP - 512
EP - 519
DO - 10.5220/0004492605120519