loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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

Keyword(s): Reconfigurable Discrete-Event System, Reconfigurable Timed Net Condition-Event System, Computation Tree Logic, Paralle Model Rebuilding.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

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.

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 52.86.117.142

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 - ICSOFT; ISBN 978-989-758-379-7; ISSN 2184-2833, SciTePress, 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 - ICSOFT},
year={2019},
pages={315-322},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007977903150322},
isbn={978-989-758-379-7},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the 14th International Conference on Software Technologies - ICSOFT
TI - On Improving Parallel Rebuilding of R-TNCESs
SN - 978-989-758-379-7
IS - 2184-2833
AU - Ramdani, M.
AU - Kahloul, L.
AU - Khalgui, M.
PY - 2019
SP - 315
EP - 322
DO - 10.5220/0007977903150322
PB - SciTePress