Dynamic Timed Automata for Reconfigurable System Modeling and Verification

Samir Tigane (1) , Fayçal Guerrouf (2) , Nadia Hamani (3) , Laid Kahloul (2) , Mohamed Khalgui (4) , Masood Ashraf Ali (5)

1 BISKRA - Université Mohamed Khider de Biskra
2 University of Biskra Mohamed Khider
3 LTI - Laboratoire des technologies innovantes - UR UPJV 3899
4 UCAR - Université de Carthage (Tunisie)
5 PSAU - Prince Sattam Bin Abdul-Aziz University

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.

Domaines: Informatique [cs]; Mathématiques [math]; Sciences de l'ingénieur [physics]

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⟩