loading
Papers

Research.Publish.Connect.

Paper

Authors: Yousra Hafidi 1 ; Laid Kahloul 2 and Mohamed Khalgui 3

Affiliations: 1 School of Electrical and Information Engineering, Jinan University, China, LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, University of Tunis El Manar, Tunis and Tunisia ; 2 LINFI Laboratory, Computer Science Department, Biskra University and Algeria ; 3 School of Electrical and Information Engineering, Jinan University, China, LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080 and Tunisia

ISBN: 978-989-758-379-7

Keyword(s): Reconfigurable Systems, Modeling and Verification, Petri Net, Backward Reachability, Model-base Diagnosis.

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) formali sm 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. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.209.80.87

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Hafidi, Yousra; 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

@conference{icsoft19,
author={Hafidi, Yousra 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},
}

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, Yousra
AU - Kahloul, L.
AU - Khalgui, M.
PY - 2019
SP - 129
EP - 140
DO - 10.5220/0007979901290140

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.