A New Method for Transforming Timed Automata

Discrete events systems (DES) are defined by the sequences of events they can execute. For example, communication protocols and computer networks can be seen as DES. Finite state automata (FSA) are convenient for studying (i.e., analyzing, designing) DES, and timed automata (TA) are convenient for describing real-time DES. An approach for studying a real-time DES, has been to transform a TA describing the real-time DES into an equivalent FSA, and then to study the latter. We propose here a new transformation method of TA into FSA. The method is well suited for conformance testing and supervisory control of real-time DES.

[1]  Universit́e de Sherbrooke,et al.  SUPERVISORY CONTROL FOR THE CONFORMANCE OF REAL-TIME DISCRETE EVENT SYSTEMS 1 , 2 , 2004 .

[2]  Jan Tretmans,et al.  Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.

[3]  Rajeev Alur,et al.  Minimization of Timed Transition Systems , 1992, CONCUR.

[4]  Insup Lee,et al.  An efficient state space generation for analysis of real-time systems , 1996, ISSTA '96.

[5]  Ahmed Khoumsi.  Supervisory control for the conformance of real-time discrete event systems 1 , 2 , 2004 .

[6]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[7]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[8]  Thierry Jéron,et al.  Test Cases Generation for Nondeterministic Real-Time Systems , 2003, FATES.

[9]  David Lee,et al.  An Efficient Algorithm for Minimizing Real-Time Transition Systems , 1997, Formal Methods Syst. Des..

[10]  I. Lee,et al.  State minimization for concurrent system analysis based on state space exploration , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

[11]  Ahmed Khoumsi,et al.  A Method for Testing the Conformance of Real Time Systems , 2002, FTRTFT.

[12]  Stavros Tripakis,et al.  Analysis of Timed Systems Based on Time-Abstracting Bisimulation , 1996, CAV.

[13]  Ahmed Khoumsi,et al.  Supervisory control of dense real-time discrete-event systems with partial observation , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..