C Code Based On Hart Protocol And Xml, An Extension Of Finite State Machines

Finite state machine is used for the dynamic behavior of system modeling, which is represented by visual state chart. And the finite state machine is a powerful tool of reaction system modeling. But for a long time state charts are only as dynamic view of software design process, not as a development method. The author brings forward a new method for HART protocol, in which XML and Framework and Component are used. Through the method, we can automatically generate the C programs of state charts.The great conception gap between the formal function-description language and the programming language is a headache-making problem in traditional program mapping based on automatic program-generating method. But in this method, the strong descriptive ability is applied to reduce the problem. And so, the conception gap is shortened. Thus, the degree of the complexity in the program generating is reduced. The structure of this paper is as follows: first, the author introduces the HART Protocol and the finite state machine, based on which the state charts of HART Protocol are given, then, enunciates the reason of selecting XML as formal language. After that, the author brings forward the project's blue print of the program generator. Then the author expounds every part of the project exquisitely one by one, which is mentioned in the blue print. They are the distilling of the framework and component of state charts, the defining of XML SCHEMA (the criterion of formal function-description language), and the realizing of the program generator. At last, the author gives a summary and the prospect at the end of the paper.