On Improved Verification of Reconfigurable Real-Time Systems

Yousra Hafidi, Laid Kahloul, Mohamed Khalgui, Mohamed Ramdani

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.

Download


Paper Citation


in Harvard Style

Hafidi Y., 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


in Bibtex Style

@conference{enase19,
author={Yousra Hafidi 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},
}


in EndNote Style

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 Y.
AU - Kahloul L.
AU - Khalgui M.
AU - Ramdani M.
PY - 2019
SP - 394
EP - 401
DO - 10.5220/0007736603940401