loading
Papers

Research.Publish.Connect.

Paper

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

Affiliations: 1 LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia, School of Electrical and Information Engineering, Jinan University, China, 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 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): Real-time System, Reconfiguration, Formal verification, Model-checking, CTL.

Related Ontology Subjects/Areas/Topics: Formal Methods ; 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 formal modeling and verification of reconfigurable real-time systems under reconfigurability and real-time constraints. To deal with the modeling, we enrich the formalism, named reconfigurable timed net condition event systems (R-TNCESs), with new reconfiguration forms such as the ability to update the earliest/latest firing time on the intervals which are associated to flow arcs. To handle the verification of the new extended formalism, an algorithm is defined to generate a timed accessibility graph for timed net condition event systems (TNCESs). We control the verification complexity of R-TNCESs using a new method which accelerate the generation of accessibility graphs, where redundancies, repetitions, and unnecessary computations are avoided as much as possible. An experimentation is carried out and a performance evaluation is achieved to demonstrate the advantages of the proposed contribution compared with related works.

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.171.45.91

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:
Hafidi, Yousra; Kahloul, L.; Khalgui, M. and Ramdani, M. (2019). On Improved Verification of Reconfigurable Real-Time 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 394-401. DOI: 10.5220/0007736603940401

@conference{enase19,
author={Hafidi, Yousra and Laid Kahloul. and Mohamed Khalgui. and Mohamed Ramdani.},
title={On Improved Verification of Reconfigurable Real-Time Systems},
booktitle={Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2019},
pages={394-401},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007736603940401},
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 - On Improved Verification of Reconfigurable Real-Time Systems
SN - 978-989-758-375-9
AU - Hafidi, Yousra
AU - Kahloul, L.
AU - Khalgui, M.
AU - Ramdani, M.
PY - 2019
SP - 394
EP - 401
DO - 10.5220/0007736603940401

Login or register to post comments.

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