search

ftsrg / BME-MODES3

Model-based Demonstrator for Smart and Safe Systems
https://inf.mit.bme.hu/research/projects/modes3
16 stars 8 forks source link

Possible bug in safety logic #89

Closed benedekh closed 6 years ago

benedekh commented 6 years ago
  1. Move a train to a turnout's section connecting from the STRAIGHT direction.
  2. Stop the train on that section.
  3. Switch the turnout's direction to DIVERGENT so that the STRAIGHT section should be locked.
  4. Move another train over the turnout from TOP to DIVERGENT. (TOP - DIVERGENT is connected if turnout is divergent, TOP - STRAIGHT is connected if the turnout is straight)
  5. The STRAIGHT section gets unlocked now and the train can move there also. (WRONG)
  6. Should 5. not occur, move the train on the DIVERGENT section back to TOP.

It was tested at turnout T2.

benedekh commented 6 years ago

Might not be relevant since #8 disables switching the respective turnout, if a train is in the vicinity (neighbourhood) of that turnout.