New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems

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

2014

Abstract

The paper deals with the modeling and verification of B method-based reconfigurable control systems. Reconfiguration means the dynamic changes of the system behavior at run-time according to well-defined conditions to adapt it to its environment. A reconfiguration scenario is applied as a response to improve the system′s performance, or also to recover and prevent hardware/software errors, or also to adapt its behavior to new requirements according to the environment evolution. A new extension called Reconfigurable B “R-B”is proposed to specify reconfigurable control systems. It consists of two modules: Behavior and Control. The first defines all possible behaviors of the system, and whereas the second is a set of reconfiguration functions applied to change the system from a behavioral configuration to another one at run-time. We verify a reconfigurable control system by using the B method. The goal is to guarantee the consistency and the correctness of the abstract specification level. The second contribution of this paper deals with the verification of the reconfigurable system by avoiding redundant checking of different behaviors sharing similar operations. In order to control the complexity of verification, an optimal algorithm is developed and a prototyped tool called “Check R-B”is implemented. The paper′s contribution is applied to a benchmark production system FESTO.

Paper Citation

in Harvard Style

Oueslati R., Mosbahi O., Khalgui M. and Ben Ahmed S. (2014). New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems . In Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-989-758-039-0, pages 749-757. DOI: 10.5220/0005091207490757

in Bibtex Style

@conference{icinco14,
author={Raja Oueslati and Olfa Mosbahi and Mohamed Khalgui and Samir Ben Ahmed},
title={New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems},
booktitle={Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2014},
pages={749-757},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005091207490757},
isbn={978-989-758-039-0},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems
SN - 978-989-758-039-0
AU - Oueslati R.
AU - Mosbahi O.
AU - Khalgui M.
AU - Ben Ahmed S.
PY - 2014
SP - 749
EP - 757
DO - 10.5220/0005091207490757