AutoNet - Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets.

Time dependent modeling paradigm has always remained the focus of study for embedded system designers. The reason behind this rationale is that the safety and reliability of real time systems mainly depend on how precisely and accurately the time domain is modeled. Several time-driven models have been proposed and attained the level of maturity through series of developments. The most adopted formal methods are 1) Timed Automata which extends the finite states with finite number of real valued clocks, and 2) Colored Petri net which extends finite set of directed graphs with finite number of tokens coupled with color. In this paper, we proposed a Meta model (named as AutoNet) aimed at integration of timed automata and colored petri net. The main purpose of AutoNet is the transformation i.e. a single design with basic classes and state transition diagrams can be transformed to both timed automata and colored petri net. We performed case study to show proof of our concept prototype at traffic light signal modeling. A single iteration through the AutoNet produced both the timed automata and colored petri net of our test case, which is the validation of our design. AutoNet will serve as an automated ‘what you see is what you get’ (WYSIWYG) tool for embedded system engineers.