Home

This page is the entry point for all tool chain related information.

This represents openETCS WP3a (probably soon WP7)

Work Package Summary

• Goal: Language Definition and Tool Chain Development
• WP Leader: Formal Mind (Michael Jastram)
• WP3a Meeting Minutes

Description of Work

This Work Package will provide the openETCS language definition and a tool chain supporting this language.

The tool chain definition will benefit from other R&D projects and off-the-shelves tools. The semantics of the modelling languages shall be carefully studied.

This work is based on the requirements from WP2. Possible solutions will reuse existing technologies, which may be open source (preferred) or commercial ("make or buy decision"), although the open proof approach must be maintained. The selected technology must be customized and/or extended to realize the requirements from WP2.

The first goal of this WP is to identify sets of consistent languages and tools enabling the design of the system.