Dynamic Timed Automata for Reconfigurable System Modeling and Verification - Laboratoire des technologies innovantes - UR UPJV 3899 Accéder directement au contenu
Article Dans Une Revue Axioms Année : 2023

Dynamic Timed Automata for Reconfigurable System Modeling and Verification

Samir Tigane
Fayçal Guerrouf
Laid Kahloul
Mohamed Khalgui

Résumé

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
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

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

Identifiants

Citer

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⟩
17 Consultations
19 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More