| 煤矿安全监控系统模型设计与自动分析研究 |
| |
| 引用本文： | 王磊,黄昌军.煤矿安全监控系统模型设计与自动分析研究[J].榆林高等专科学校学报,2009,19(6):20-23. |
| |
| 作者姓名： | 王磊 黄昌军 |
| |
| 作者单位： | 延安大学,西安创新学院计算机科学与技术系,陕西,西安,710100 |
| |
| 摘 要： | 无线传感器网络等新兴技术在煤矿安全监控中的应用一方面提高了系统的可用性，另一方面增加了系统的复杂度。此外，不同于一般系统，煤矿安全监控系统的实时性、安全性、可靠性等非功能属性亦对煤矿安全起到至关重要的作用。介绍了无线传感器网络在煤矿安全监控中的应用，并引入模型驱动开发方法进行设计，对建立的系统模型进行形式化描述，使用有限状态机技术进行自动分析。
|
| 关 键 词： | 模型设计 自动分析 煤矿安全监控系统 |
Research on Model Design and Automatic Analysis of Coal-mine Safety Monitoring System |
| |
| Institution: | WANG Lei, HUANG Chang - jun (Department of Computer Science and Technology , Xi＇an Creation College, Yan＇an University, Xi＇ an 710100, Shaanxi) |
| |
| Abstract: | 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. |
| |
| Keywords: | model designing automatic analysis coal -mine safety monitoring system |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
