基于SCADE高安全性的应用开发环境,对城轨联锁软件建模进行了研究,分析了SCADE的数据流图建模、状态机建模方法,利用SCADE对联锁中的主要逻辑模块建模并自动生成C代码。通过实例分析,证明了SCADE平台下的联锁软件设计方法的可行性,及其在联锁软件开发中广阔的应用前景。
开通会员