| Digital home, is a new concept, evolve with the computer network's development and infiltration of people's lives. Its aim is to connect all kinds of consumer electronics, mobile terminals, digital home appliances and other devices with a single unified network that manage and exchange information between each others. For Digital home's vast market prospects and close contact with living, it becomes an important future direction of network development.In order to meet the development needs of the New Internet network, IEIF proposed IPv6 as next-generation network protocol. Because IPv6 has a huge address space, QoS on the protocol layers, the IPsec security policy and can offer all digital home appliances and mobile devices provide a unique global address to support the Plug and Play, IPv6 has a huge advantage in the digital home. But IPv6 is the small scale of application at present, so protocol conversion has turned into an effective solution for IPv4 network communicating with IPv6 network.Petri net that is a kind of rigorous formal method is very suitable for the analysis of system's behavior and dynamic characteristics. Therefore, this paper design and analysis a digital home's communications service system based on protocol conversion by Petri nets. The main content is as follows:(1) This paper makes a specific analysis of protocol conversion and finally choose basic P/T model for protocol conversion process modeling and analysis.(2) A protocol conversion system of digital home is designed and established a Petri net model. Then this paper describes the static and dynamic characteristics of the system, simulates and analyzes the parallel work process and information exchange of modules. After that the safety and functions of this system are validated. |
PDF Full Text Request