Modeling and Verification of B-based Distributed Reconfigurable Control Systems

Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed

2015

Abstract

The paper deals with the modeling and verification of B based Distributed Reconfigurable Control Systems (DRCS). A distributed multi-agent architecture is developed, where for each system is affected a Reconfiguration Agent to apply a local automatic reconfiguration, and a Coordination Agent is proposed to harmonize between systems when any local reconfiguration is applied in a system. We apply the Distributed Reconfigurable B “DR-B” formalism to define all possible behaviors, to determine reconfiguration functions for each system and to execute the appropriate ones to respond to reconfiguration requests and to switch between the specific distributed configuration at run-time to cope with the coherence of running systems. We verify a DRCS by using the B method. The goal is to guarantee the consistency and the correctness of the abstract specification level. Further more, to avoid combinatorial explosion problem in DRCS, we apply the “Check RB” tool, to reduce redundant checking of different behaviors sharing similar operations. All the contributions of this work are applied to two benchmark production systems FESTO and EnAS.

References

  1. Abrial, J.-R. (1996). The B-Book. Cambridge University Press.
  2. Angelov, C., Sierszecki, K., and Marian, N. (2005). Design models for reusable and reconfigurable state machines. volume 3824, pages 152-163. 3th International Conference on Embedded and Ubiquitous Computing.
  3. khalgui, M., Mosbahi, O., Hanisch, H., and Li, Z. (2012). A multi-agent architectural solution for coherent distributed reconfigurations of function blocks. Journal of Intelligent Manufacturing, 23:2531-2549.
  4. Oueslati, R., Mosbahi, O., Khalgui, M., and Ben Ahmed, S. (2014). New solutions for modeling and verification of b-based reconfigurable control systems. pages 749- 757. 11th International Conference on Informatics in Control, Automation and Robotics.
Download


Paper Citation


in Harvard Style

Oueslati R., Mosbahi O., Khalgui M. and Ben Ahmed S. (2015). Modeling and Verification of B-based Distributed Reconfigurable Control Systems . In Proceedings of the 5th International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS, ISBN 978-989-758-084-0, pages 124-131. DOI: 10.5220/0005244601240131


in Bibtex Style

@conference{peccs15,
author={Raja Oueslati and Olfa Mosbahi and Mohamed Khalgui and Samir Ben Ahmed},
title={Modeling and Verification of B-based Distributed Reconfigurable Control Systems},
booktitle={Proceedings of the 5th International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS,},
year={2015},
pages={124-131},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005244601240131},
isbn={978-989-758-084-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS,
TI - Modeling and Verification of B-based Distributed Reconfigurable Control Systems
SN - 978-989-758-084-0
AU - Oueslati R.
AU - Mosbahi O.
AU - Khalgui M.
AU - Ben Ahmed S.
PY - 2015
SP - 124
EP - 131
DO - 10.5220/0005244601240131