论文部分内容阅读
无线传感器网络等新兴技术在煤矿安全监控中的应用一方面提高了系统的可用性，另一方面增加了系统的复杂度。此外，不同于一般系统，煤矿安全监控系统的实时性、安全性、可靠性等非功能属性亦对煤矿安全起到至关重要的作用。介绍了无线传感器网络在煤矿安全监控中的应用，并引入模型驱动开发方法进行设计，对建立的系统模型进行形式化描述，使用有限状态机技术进行自动分析。