INESS Deliverables open to public
WS B
Business Model (Leader: DB)
Summary on value chain mapping of interlocking systems | |
Report on Life Cycle based cost model for interlocking systems | |
Summary on classification scheme for line categories | |
Report on market specific cost drivers | |
Report on cost saving potential of standards in the interlocking life cycle | |
Specification of business model(s) | |
Report on applicability of business model and future cooperation perspectives |
WS C
System Design (Leader: Bombardier)
Report on data model definition, needed adaptions and applicabililty |
WS D
Generic Requirements (Leader: ProRail)
Signaling Glossary | |
Requirements expression document | |
Requirements interface definition document | |
Catalogue of commands and statuses | |
Report on translation of requirements from text to UML | |
Guideline which clarifies the relationship between the deliverables D.2 | |
Report on experience with ERTMS installations | |
Documented strategy for Verification and Validation | |
Documented methods for expressing test cases in UML | |
Generic test cases | |
Report to assist requirements’ review and document methods and tools used | |
Methodology for invariants derivation in a formal format | |
Prototype of a tool for the verification of invariants in a formal format | |
Documented verification of the model invariants in a formal format |
WS E
Functional Architecture and Interfaces (Leader: Trafikverket)
Safety constraints from the interfaces point of view | |
Report on the information collected from various railways and/or suppliers about the ETCS | |
Report on the current information Migration and fall back strategies | |
Propose one or several harmonised structure(s) | |
Final Report of trackside migration strategies from Task E.4.2 | |
Final Report of fallback possibilities and benefits from Task E.4.3 |
WS F
Testing and Commissioning (Leader: Network Rail)
General model and preliminary Template | |
Test and Commissioning methods and tools recommendation Handbook |
WS G
Safety Case Process (Leaders: Funkwerk/ TUBS)
Normative Safety Case Process Analysis | |
Definition of long term goals | |
Definition of short term goals | |
Cost Reduction Potentials for the improved Safety Case Process | |
Process Description analysis report | |
Software Requirements Specification Description Analysis Report | |
Specification of the Improved Safety Case Process | |
Specification of tools | |
Developed tool | |
Evaluation Report | |
Information material and questionnaire |