DocumentCode
3003606
Title
Mapping timed automata to B
Author
Ayoub, Anaheed ; Wahba, Ayman ; Sheirah, Mohamed
Author_Institution
Mentor Graphics Egypt, Cairo
fYear
2008
fDate
20-22 Dec. 2008
Firstpage
255
Lastpage
259
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/IDT.2008.4802508
Filename
4802508
Link To Document