Formal verification done at Rete Ferroviaria Italiana (RFI) been considered

openETCS / validation

WP4: Validation and verification strategy

8 stars 22 forks source link

Formal verification done at Rete Ferroviaria Italiana (RFI) been considered #148

Open KlausRuedigerHase opened 10 years ago

KlausRuedigerHase commented 10 years ago

I have just learned at the UIC that RFI, the Italian infrastructure manager, has successfully applied formal methods for verification. RFI was using a commercial tool called "StateMate" from Telelogic. Contact Person would be Fabio Sanesi, RFI. Has that concept been considered?

MarcBehrens commented 10 years ago

@KlausRuedigerHase as I understand that StateMate is a parallel tool to SCADE and is not open source, it could be interesting to look into methodology or results.