Modelling and Validating a multiple-configuration railway signalling system using SDL |
| |
| Authors: | Alessandro Fantechi Emilio Spinicci |
| |
| Affiliation: | aDipartimento di Sistemi e Informatica, Università degli Studi di Firenze, Firenze, Italy |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
