Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
The Z notation: a reference manual
The Z notation: a reference manual
Assisting requirement formalization by means of natural language translation
Formal Methods in System Design
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
GRAIL/KAOS: an environment for goal-driven requirements engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
Experimentation in software engineering: an introduction
Experimentation in software engineering: an introduction
Model checking
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic Translation of Natural Language System Specifications
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
On the Use of a Formal R.E. Language - The Generalized Railroad Crossing Problem
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
On the Systematic Analysis of Natural Language Requirements with CIRCE
Automated Software Engineering
Requirements Engineering
A Practical Introduction to PSL (Series on Integrated Circuits and Systems)
A Practical Introduction to PSL (Series on Integrated Circuits and Systems)
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
From Informal Requirements to Property-Driven Formal Validation
Formal Methods for Industrial Critical Systems
Property analysis and design understanding
Proceedings of the Conference on Design, Automation and Test in Europe
Formalizing requirements with object models and temporal constraints
Software and Systems Modeling (SoSyM)
OthelloPlay: a plug-in based tool for requirement formalization and validation
Proceedings of the 1st Workshop on Developing Tools as Plug-ins
Modeling and validating the train fare calculation and adjustment system using VDM++
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Towards a notion of unsatisfiable and unrealizable cores for LTL
Science of Computer Programming
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
The European Train Control System (ETCS) is a control system for the interoperability of the railways across Europe. In this paper, we report on the activities of the EuRailCheck project, promoted by the European Railway Agency, for the development of a methodology and tools for the formalization and validation of the ETCS specifications. Within the project, we achieved three main results. First, we developed a methodology for the formalization and validation of the ETCS specifications. The methodology is based on a three-phases approach that goes from the informal analysis of the requirements, to their formalization and validation. Second, we developed a set of support tools, covering the various phases of the methodology. Third, we formalized a realistic subset of the specification in an industrial setting. The results of the project were positively evaluated by domain experts from different manufacturing and railway companies.