On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture

Choucha Eddine, Mohamed Ben Salem, Mohamed Khalgui, Laid Kahloul, Naima Ougouti

2020

Abstract

Reconfigurable discrete event control systems (RDECSs) are complex and critical systems, motivating the use of formal verification. This verification consists of two major steps: state space generation and state space analysis. The application of the mentioned steps is usually expensive in terms of computation time and memory. This paper deals with state space generation (accessibility graph generation) during verification of RDECSs modeled with specified reconfigurable timed net condition/event systems (R-TNCESs). We aim to improve model checking used for formal verification of RDECSs by proposing a new aproach of state space generation that considers similarities. In this approach, we introduce the modularity concept for verifying systems by constructing incrementally their accessibility graphs. Furthermore, we set up an ontology-based history to deal with similarities between two or several systems by reusing state spaces of similar components that are computed during previous verification. A distributed cloud-based architecture is proposed to perform the parallel computation for control verification time and memory occupation. The paper’s contribution is applied to a benchmark production system. The evaluation of the proposed approach is performed by measuring the temporal complexity of several large scale system verification. The results show the relevance of this approach.

Download


Paper Citation


in Harvard Style

Eddine C., Ben Salem M., Khalgui M., Kahloul L. and Ougouti N. (2020). On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture.In Proceedings of the 15th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-443-5, pages 339-349. DOI: 10.5220/0009836103390349


in Bibtex Style

@conference{icsoft20,
author={Choucha Eddine and Mohamed Ben Salem and Mohamed Khalgui and Laid Kahloul and Naima Ougouti},
title={On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture},
booktitle={Proceedings of the 15th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2020},
pages={339-349},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009836103390349},
isbn={978-989-758-443-5},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - On the Improvement of R-TNCESs Verification using Distributed Cloud-based Architecture
SN - 978-989-758-443-5
AU - Eddine C.
AU - Ben Salem M.
AU - Khalgui M.
AU - Kahloul L.
AU - Ougouti N.
PY - 2020
SP - 339
EP - 349
DO - 10.5220/0009836103390349