New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs

Yousra Hafidi, Laid Kahloul, Mohamed Khalgui

Abstract

This paper deals with reconfigurable discrete event control systems (RDECSs). We model RDECSs using reconfigurable timed net condition/event systems (R-TNCESs) formalism which is an extension from Petri nets to deal with reconfiguration properties. Model-based diagnosis algorithms are widely used in academia and industry to detect faulty components and ensure systems safety. The application of these methods on reconfigurable systems is impossible due to their special behavior. In this paper, we propose accomplishing techniques of backward reachability to make reconfigurable systems model-based diagnosis possible using R-TNCESs. The flexibility among reconfigurable systems like RDECSs allows them to challenge recent requirements of markets. However, such properties and complicated behavior make their verification task being complex and sometimes impossible. We deal with the previous problem by proposing a new methodology based on backward reachability of RDECSs using (R-TNCESs) formalism including improvement methods. The proposed methodology serves to reduce as much as possible redundant computations and gives a package to be used in model-based diagnosis algorithms. The paper’s contribution is applied to a benchmark modular production system. Finally, a performance evaluation is achieved for different sizes of the problem to study benefits and limits of the proposed methodology among large-scale systems.

Download


Paper Citation


in Harvard Style

Hafidi Y., Kahloul L. and Khalgui M. (2019). New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs.In Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-379-7, pages 129-140. DOI: 10.5220/0007979901290140


in Bibtex Style

@conference{icsoft19,
author={Yousra Hafidi and Laid Kahloul and Mohamed Khalgui},
title={New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs},
booktitle={Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2019},
pages={129-140},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007979901290140},
isbn={978-989-758-379-7},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs
SN - 978-989-758-379-7
AU - Hafidi Y.
AU - Kahloul L.
AU - Khalgui M.
PY - 2019
SP - 129
EP - 140
DO - 10.5220/0007979901290140