-
Notifications
You must be signed in to change notification settings - Fork 30
WP7 Workshop November 2015
Stefan Rieger edited this page Nov 9, 2015
·
14 revisions
There will be a timeslot for WP7 at the openETCS Workshop on November 23/24. We have a 90-Minute timeslot.
The objective is to properly identify and document all outcomes of WP7. This information will be used for the itea review in December.
- D7.1 - D7.4 have been delivered.
- D7.5 still missing: "Ecosystem Artefacts". This is just a summary of Terms, Committer Agreements, etc. and will be produced by Formal Mind.
These are the concrete outcomes of WP7:
For the ITEA presentation and WP7 website, I would like to have (1) one paragraph for every specific outcome and (2) a URL pointing to "more information". Here are the outcomes - please let Michael know if anything is missing!
- openETCS Tool (Michael)
- openETCS Tool Build Infrastructure (Michael)
- ERTMS Formal Specs (Stan)
- Traceability Architecture (Raphael)
- Migration Roadmap Scade2Open (Silvano)
- Model-Validation (Alexander)
- SysML-to-Scade (Alexander)
- SysML-to-B (David)
- Subset-openETCS-Translation (Moritz/Michael)
- Test-Plan (Izaskun)
- Qualification-Plan (Izaskun, Stefan)
- Model-Building-CI (Michael)
- openETCS User Handbook (Izaskun)
- CI for Modeling (Marc/Ingo)
- Eclipse Safety Framework (All4Tec)
- Bitwalker Data Dictionary (Uwe)
- Acceleo-based Code Generation (Stefan)
In the following, please create one Table per exploitable item. WP7 partners, please add yourself to those blocks containing items you plan to exploit, and add new ones as necessary.
Item | Description |
---|---|
Provider: | Formal Mind |
Contact: | Moritz Dorka |
Main Features | Converter specific to Subset26, to convert Word to ReqIF |
Inputs: | MS Word (only Subset-26) |
Outputs: | Requirements Interchange Format (ReqIF) archive |
USP | Produces atomic requirements; consumable by any RE-tool; unique, reproducible IDs |
Integration Constraints: | Java/Eclipse |
Intended Users: | Subset-26 authors and Subset-26 users (e.g. UNISYS) |
Conditions for Reuse: | EUPL |
Item | Description |
---|---|
Provider: | TWT |
Contact: | Stefan Rieger |
Main Features | Code generator prototype from SysML to SystemC for simulation |
Inputs: | SysML Block Diagrams and State Charts |
Outputs: | SystemC class structure and state machine template |
USP | Model-based approach, allows graphical specification, highly customisable |
Integration Constraints: | Eclipse, SystemC, C++ Compiler |
Intended Users: | System designers (Cross-Domain) |
Conditions for Reuse: | EUPL |
Item | Description |
---|---|
Provider: | SQS, TWT |
Contact: | Izaskun de la Torre, Stefan Rieger |
Main Features | Qualification plan for the openETCS tool chain (taking into account EN 50128) |
Inputs: | openETCS Toolchain, EN 50128 |
Outputs: | Qualification plan |
USP | Qualification necessary for industrial tool application |
Integration Constraints: | |
Intended Users: | System designers, functional safety architects, tool certifiers |
Conditions for Reuse: | EUPL |