Modelling and Validating a multiple-configuration railway signalling system using SDL
Alessandro Fantechi, Emilio Spinicci · Electronic Notes in Theoretical Computer Science · 2003
This paper discusses some issues about the usage of SDL and related commercial SDL support tools for the validation of a railway signalling system: in particular, the issue of the multiple configurations presented by this system is addressed, discussing the possible strategies to validate the system regardless to the actual configuration.