Axioms, Vol. 12, Pages 230: Dynamic Timed Automata for Reconfigurable System Modeling and Verification

Axioms, Vol. 12, Pages 230: Dynamic Timed Automata for Reconfigurable System Modeling and Verification

Axioms doi: 10.3390/axioms12030230

Authors: Samir Tigane Fayçal Guerrouf Nadia Hamani Laid Kahloul Mohamed Khalgui Masood Ashraf Ali

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.