This pull adds the first version of the verification report for the trackside model Amsterdam-Utrecht based on the D.23.5.3 Trackside and additional documents.
In addition some small changes to the SCADE test model for the input channel ab commited which will be needed to verifiy the track implementation.
This pull adds the first version of the verification report for the trackside model Amsterdam-Utrecht based on the D.23.5.3 Trackside and additional documents.
In addition some small changes to the SCADE test model for the input channel ab commited which will be needed to verifiy the track implementation.