openETCS / validation

WP4: Validation and verification strategy
8 stars 22 forks source link

Created first version of SCADE Test Model for Input Channel for #261 #278

Closed janWelte closed 9 years ago

janWelte commented 9 years ago

This commit includes the first version of my SCADE Test model for the Balise input channel, which shall cover the input part for #261 and User Story 4.

This model checks the incoming Track masseges and checks whether the modul for the Input Channel (mainly Balises) builds the correct BG messages to ahnd over for further processing.

In addition this commit includes a clean up commit for old files I had on my fork. It was easier to delete those with a proper commit as with a way around.

created by Jan Welte