Journal Articles Axioms Year : 2023

Dynamic Timed Automata for Reconfigurable System Modeling and Verification

Samir Tigane
Fayçal Guerrouf
Laid Kahloul
Mohamed Khalgui

Abstract

Modern discrete-event systems (DESs) are often characterized by their dynamic structures enabling highly flexible behaviors that can respond in real time to volatile environments. On the other hand, timed automata (TA) are powerful tools used to design various DESs. However, they lack the ability to naturally describe dynamic-structure reconfigurable systems. Indeed, TA are characterized by their rigid structures, which cannot handle the complexity of dynamic structures. To overcome this limitation, we propose an extension to TA, called dynamic timed automata (DTA), enabling the modeling and verification of reconfigurable systems. Additionally, we present a new algorithm that transforms DTA into semantic-equivalent TA while preserving their behavior. We demonstrate the usefulness and applicability of this new modeling and verification technique using an illustrative example.
Fichier principal
Vignette du fichier
axioms-12-00230-v2 (3).pdf (917.92 Ko) Télécharger le fichier
Origin Publisher files allowed on an open archive

Dates and versions

hal-04010572 , version 1 (01-03-2023)

Identifiers

Cite

Samir Tigane, Fayçal Guerrouf, Nadia Hamani, Laid Kahloul, Mohamed Khalgui, et al.. Dynamic Timed Automata for Reconfigurable System Modeling and Verification. Axioms, 2023, 12 (3), pp.230. ⟨10.3390/axioms12030230⟩. ⟨hal-04010572⟩

Collections

U-PICARDIE LTI
32 View
55 Download

Altmetric

Share

More