loading
Documents

Research.Publish.Connect.

Paper

Authors: Mohamed Ramdani 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 Discrete-Event System, Reconfigurable Timed Net Condition-Event System, Computation Tree Logic, Paralle Model Rebuilding.

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.

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 34.204.194.190

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:
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

@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},
}

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

Login or register to post comments.

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