De Nederlandse Spoorwegen staan onder druk om flexibeler, goedkoper en efficiënter te werken. Daarbij wordt ook gekeken naar nieuwe besturingssystemen. Het gebruik van formele technieken daarbij ligt voor de hand. De eerste experimenten leveren hoopvolle resultaten. In dit artikel wordt één van die experimenten beschreven: de controle van de volledige programmacode voor het veiligheidssysteem op het station Hoorn-Kersenboogerd.1 Inleiding
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.