EURIS, a specification method for distributed interlockings

Autor: van Dijk, Fokko, Fokkink, Wan, Kolk, Gea, van de Ven, Paul, van Vlijmen, Bas, Ehrenberger, Wolfgang

Publikováno v: Computer Safety, Reliability and Security-17th International Conference, SAFECOMP 1998, Proceedings, 296-305
STARTPAGE=296;ENDPAGE=305;TITLE=Computer Safety, Reliability and Security-17th International Conference, SAFECOMP 1998, Proceedings

Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, which champions an object-oriented method for the specification of interlocking

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::8f61d8be4e3038cef6184bc94ce1629b
https://research.vu.nl/en/publications/c2239b88-3528-4f25-9752-f54f5a34ab84