Title :
Mapping timed automata to B
Author :
Ayoub, Anaheed ; Wahba, Ayman ; Sheirah, Mohamed
Author_Institution :
Mentor Graphics Egypt, Cairo
Abstract :
This paper presents the approach of the translation from timed automata into B-method. We are modeling using a network of timed automata, extended with data types, which is the modeling language used for UPPAAL tool and convert this model into B-method system. The integration of UPPAAL and B-method gives the advantages of both tools; the UPPAAL modeling facility and the B-method usability and available tools.
Keywords :
automata theory; formal verification; B-Method system; B-Method usability; modeling language; timed automata; Automata; Clocks; Concrete; Design methodology; Formal verification; Graphics; Labeling; Programming; Set theory; Usability; B-Method; Formal Verification; Timed Automata; UPPAAL;
Conference_Titel :
Design and Test Workshop, 2008. IDT 2008. 3rd International
Conference_Location :
Monastir
Print_ISBN :
978-1-4244-3479-4
Electronic_ISBN :
978-1-4244-3478-7
DOI :
10.1109/IDT.2008.4802508
