On Improving Parallel Rebuilding of R-TNCESs

Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui

Abstract

This study presents an improved parallel rebuilding of reconfigurable timed net condition-event systems (R-TNCESs) modeling reconfigurable discrete-event systems (RDESs). Computation tree logic (CTL) model repair is one of the existing approaches that extends formal verification using model checking, by an automatized debugging phase and updating directly the model to cope with the desired behavior. Our proposition aims to generalize simple rebuilding with one CTL-based function property to parallel rebuilding which allows both verification and modification of a model according to a set of non verified functional properties simultaneously. A couple of transformation algorithms are proposed to conserve the coherency of the model and a property classification method is proposed to frame the parallel execution order. To demonstrate the paper’s contribution, a FESTO MPS platform is used as a case study.

Download


Paper Citation


in Harvard Style

Ramdani M., Kahloul L. and Khalgui M. (2019). On Improving Parallel Rebuilding of R-TNCESs.In Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-379-7, pages 315-322. DOI: 10.5220/0007977903150322


in Bibtex Style

@conference{icsoft19,
author={Mohamed Ramdani and Laid Kahloul and Mohamed Khalgui},
title={On Improving Parallel Rebuilding of R-TNCESs},
booktitle={Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2019},
pages={315-322},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007977903150322},
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 - On Improving Parallel Rebuilding of R-TNCESs
SN - 978-989-758-379-7
AU - Ramdani M.
AU - Kahloul L.
AU - Khalgui M.
PY - 2019
SP - 315
EP - 322
DO - 10.5220/0007977903150322