-
Notifications
You must be signed in to change notification settings - Fork 30
Home
Michael Jastram edited this page Dec 2, 2015
·
70 revisions
This page is the entry point for all toolchain related information. This represents openETCS toochain work package (WP7)
- Goal: Language Definition and Tool Chain Development
- DoW: Toolchain Description of Work
- Duration: 2012 - 2015
- Communication: Please use the wp-specific Mailing List: wp3a@openetcs.org (subscribe by sending an email to wp3a+subscribe@openetcs.org)
- Documentation - Handbook for users of the tool chain.
- Release notes - allows you to track improvements.
- Release Process - Please follow it, Cecile is responsible.
- Project Management contains information about the ongoing and upcoming Scrum sprints.
- openETCS Tool (D7.3)
- openETCS Tool Build Infrastructure
- Tool Documentation Plugin
- ERTMSFormalSpecs
- Subset-openETCS-Translation
- CI for Modeling
- Eclipse Safety Framework Integration
- RT-Tester Integration
- Bitwalker Data Dictionary
- Data Dictionary Plugin
- SysML Constraint Checker Plugin
- SysML-to-Scade
- SysML to Classical B Transformation
- SysML-to-C/Frama-C
- SysML-to-System-C
- ReqCycle Integration
- Tooling Analysis (D7.1, D7.2)
- openETCS User Handbook
- Traceability Architecture Roadmap
- Migration Roadmap Scade2Open
- Test-Plan
- Qualification-Plan