loading
Papers

Research.Publish.Connect.

Paper

Authors: Mohamed Ramdani 1 ; Laid Kahloul 2 ; Mohamed Khalgui 3 and Yousra Hafidi 1

Affiliations: 1 LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, LINFI Laboratory, Computer Science Department, Biskra University, Algeria, School of Electrical and Information Engineering, Jinan University, China, University of Tunis El Manar, Tunis and Tunisia ; 2 LINFI Laboratory, Computer Science Department, Biskra University and Algeria ; 3 LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, School of Electrical and Information Engineering, Jinan University and China

ISBN: 978-989-758-375-9

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

Related Ontology Subjects/Areas/Topics: Cross-Feeding between Data and Software Engineering ; Formal Methods ; Model-Driven Engineering ; Service-Oriented Software Engineering and Management ; Simulation and Modeling ; Software and Systems Development Methodologies ; Software Engineering ; Software Engineering Methods and Techniques

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.

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 35.172.195.49

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.; Khalgui, M. and Hafidi, Yousra (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

@conference{enase19,
author={Mohamed Ramdani. and Laid Kahloul. and Mohamed Khalgui. and Hafidi, Yousra},
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},
}

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, Yousra
PY - 2019
SP - 159
EP - 168
DO - 10.5220/0007736801590168

Login or register to post comments.

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