R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems

Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui, Yousra Hafidi

Abstract

This paper deals with improved rebuilding of models in formal verification of reconfigurable discrete-event systems (RDESs) modeled by reconfigurable timed net condition event systems (R-TNCESs). Automated computation tree logic (CTL) model update and repair are approaches that extend model-checking to generate a new correct model that represents the desired behavior. We propose R-TNCES rebuilding method, which is a formal method that allows both the verification and the modification of reconfigurable models. The proposed approach generates from an incorrect model a new one that satisfies a given CTL formula. First, CTL is defined to deal with the system functional properties specification. A set of transformation rules with an algorithm are proposed to achieve the rebuilding phase. Finally, platform FESTO MPS is used as a case study to demonstrate the paper’s contribution. The obtained results show the efficiency of the proposed contribution even in large complex systems.

Download


Paper Citation


in Harvard Style

Ramdani M., Kahloul L., Khalgui M. and Hafidi Y. (2019). R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems.In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-375-9, pages 159-168. DOI: 10.5220/0007736801590168


in Bibtex Style

@conference{enase19,
author={Mohamed Ramdani and Laid Kahloul and Mohamed Khalgui and Yousra Hafidi},
title={R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems},
booktitle={Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2019},
pages={159-168},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007736801590168},
isbn={978-989-758-375-9},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems
SN - 978-989-758-375-9
AU - Ramdani M.
AU - Kahloul L.
AU - Khalgui M.
AU - Hafidi Y.
PY - 2019
SP - 159
EP - 168
DO - 10.5220/0007736801590168