The Research Of Embedded System Design Method Base On OOTCPN Model

Embedded system ,as an important research direction of computer technology, has been widely applied to various fields.has been widely used in every field in modern time. With the prevalent application of embedded product in every field ,and with the increasing of user requriement,the function of embedded system has become more and more complicated,the complexity of embedded system design is increasing.The traditional design methods cannot meet the requirements of the complicated system design any more,therefore design methods of further grades are the new challenges what the current designers are facing.According to the study on the design methods of the existing embedded system models, this paper analyzes its features and limitations and come to the importance and advantages of the formalized models in embedded system. Aimed at limitations of the basic Petri net in embedded system, such as, without time elements and hierarchical structures, and weakness in processing data, this paper focuses its study on the object oriented Time color Petri Net (OOTCPN) model and formalized definitions are given out. Compared with other models, this model describes the ability of the data, real-time, level, etc. has been enhanced for modeling of complex embedded systems.In model verification respect, this paper respectively described the theory and characteristics of the simulation analysis methods and model checking methods, through the research of the basic Petri net model verification technology. It focuses its study on the description of the verification method and technology of the OOTCPN model based on the hardware description language, and examples are illustrated to prove that. Compared with the traditional Petri net simulation software , this method a wider scope of application, portability, flexible, easy to convert to the underlying design.Finally,it has created a system model of the elevator system, and the model has simulated, simulation results have shown that the embedded system modeling was the feasibility and correctness based on OOTCPN model.