Research on Model Design and Automatic Analysis of Coal-mine Safety Monitoring System
Changjun Huang · Journal of Yulin University · 2009
The usability of coal-mine safety monitoring system is improved with the application of some new technologies,such as wireless sensor network. But,on the other hand,the complexity of the system is increased. In addition,it is different from other systems that the non-functional properties of coal-mine safety monitoring system such as real time,safety and reliability are crucial to safety of coal-mine. In this paper the application of wireless sensor network in coal-mine safety system is introduced,the model of the system is designed with the model-driven method and is formalized for automatic analysis with the finite state automaton.