JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.
Formal Methods in Railways
This survey is oriented to practitioners and academics with an interest in the application of formal and semi-formal methods to the development of railway systems. Our goal is to understand what is your experience in the application of formal and semi-formal methods in railways, and what are the main requirements that formal and semi-formal tools should have to be applied in the railway industry.
Sign in to Google
to save your progress.
Learn more
* Indicates required question
The survey will take about 5 minutes of your time. The survey is part of the ASTRail EU Project, belonging to the Shift2Rail framework.
What is your affiliation?
*
Railway Industry
Academia
Other:
How many years of experience do you have in railways, as industrial practitioner or academic?
*
Choose
0
1 to 3
4 to 10
more than 10
How many years of experience do you have in formal or semi-formal methods/tools (for example: SCADE, Simulink, B/Event-B, NuSMV, SPIN, or others)?
*
Choose
0
1 to 3
4 to 10
more than 10
In how many industrial railway projects have you, or your team, used a formal or semi-formal method/tool?
*
Choose
0
1 to 3
4 to 10
more than 10
Which type of products did you, or your team, develop with the support of formal or semi-formal methods/tools?
Interlocking
Automatic Train Protection / Automatic Train Control
Automatic Train Operation
Automatic Train Supervision
Axle Counter
Centralized Traffic Control
ERTMS/ETCS Components (including systems mentioned above)
CBTC Components (including systems mentioned above)
Other:
For what phases did you, or your team, use the methods/tools?
Specification / Modeling (including Refinement)
Simulation
Analysis of Specifications / Models (Debugging, etc.)
Formal Verification (Model Checking, Theorem Proving, etc.)
Model-based Testing (Test Generation, Oracle Specification, etc.)
Code Generation
Advanced Static Analysis (Abstract Interpretation, etc.)
Other:
What are the names of the methods/tools?
Your answer
According to your opinion, what are the most relevant functionalities that formal/semi-formal tools should have to be used in the railway industry? (Select 3 options maximum)
*
Modeling (graphical or textual)
Simulation
Formal Verification
Test Generation
Code Generation
Report Generation
Requirements Traceability
Other:
Required
According to your opinion, what are the most relevant quality aspects that formal/semi-formal tools should have to be used in the railway industry? (Select 5 options maximum)
*
Maturity of the tool (stable and industry-ready)
Standard modeling language (UML, etc.)
Modularity of the tool-suite (many packages)
Support for teamwork (collaborative functionalities)
Easy to learn for a railway software developer
Many platforms supported (Windows, Mac)
Easy and flexible license management
Easy to integrate in a CENELEC process
Backward compatibility
Import/Export from/to external tools
Graphical User Interface
Quality of documentation
Availability of customer support
Easy to Install
Low cost
CENELEC certified
Other:
Required
Submit
Clear form
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google.
Report Abuse
-
Terms of Service
-
Privacy Policy
Forms
