随着计算机技术在列车运行控制系统中的应用，安全问题显得越发的重要和复杂，传统的安全系统设计、分析和测试方法难以满足以计算机技......

本文介绍了一个实时并发系统的设计与实现方法,通过把实时处理和并发控制有机地结合起来而很好地满足了该系统的总体需求。......

随着实时并发系统的软件规模越来越大、复杂性日趋增加,如何保证并发实时系统正确性和可靠性成为日益紧迫的问题。模型检测技术采......

通用建模语言(UML, Unified Modeling Language),是一种功能强大的、可视化面向对象建模语言,它提供了多种UML子图,可以刻画系统的......