摘要: 轨道信号灯控制系统到了设计建模阶段,与需求建模相比较,我认为除了增加OCL约束之外,我们主要是完成了对故障事件、并行事件、列车行驶连续性进行了具体的设计。 1.故障事件 安全性分析是轨道信号灯系统设计的重中之重。而在我们需求建模阶段,虽然一直有考虑系统可能面对的故障,但是没有全面系统的分析可能存在哪 阅读全文
posted @ 2021-01-08 10:22 雨夜人未寐 阅读(87) 评论(0) 推荐(0) 编辑