Tell a friend
Print
Berglehner, Randolf and Rasheeq, Abdul and Auris, Felix and Schwencke, Daniel (2022) Proposed extension of specification approach to meet needs of RCA. Project Report. X2Rail-5 Deliverable D10.2. 68 S.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
2MB |
Official URL: https://projects.shift2rail.org/s2r_ip2_n.aspx?p=X2RAIL-5
Abstract
This document is deliverable D10.2, describing extensions of the MBSE specification approach to needs of future Functional Railway System Architectures within Task 10.3 of work package WP10 Formal Methods for Functional Railway System Architecture, within the X2Rail-5 project. This deliverable is concerned with a specification approach meeting the needs in ongoing and future developments of ERTMS, and the European initiatives RCA and EULYNX. This is a rather large scope, whose general high-level goal may be formulated as: Determine a suitable approach to specify, verify, and validate system requirements, that can meet the needs of initiatives and projects RCA and EULYNX that define a future system architecture.
| Item URL in elib: | https://elib.dlr.de/200478/ | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Document Type: | Monograph (Project Report) | ||||||||||||||||||||
| Title: | Proposed extension of specification approach to meet needs of RCA | ||||||||||||||||||||
| Authors: |
| ||||||||||||||||||||
| Date: | January 2022 | ||||||||||||||||||||
| Refereed publication: | No | ||||||||||||||||||||
| Open Access: | Yes | ||||||||||||||||||||
| Gold Open Access: | No | ||||||||||||||||||||
| In SCOPUS: | No | ||||||||||||||||||||
| In ISI Web of Science: | No | ||||||||||||||||||||
| Number of Pages: | 68 | ||||||||||||||||||||
| Status: | Published | ||||||||||||||||||||
| Keywords: | Railway, RCA, EULYNX, Specification, Verification | ||||||||||||||||||||
| HGF - Research field: | Aeronautics, Space and Transport | ||||||||||||||||||||
| HGF - Program: | Transport | ||||||||||||||||||||
| HGF - Program Themes: | Rail Transport | ||||||||||||||||||||
| DLR - Research area: | Transport | ||||||||||||||||||||
| DLR - Program: | V SC Schienenverkehr | ||||||||||||||||||||
| DLR - Research theme (Project): | V - INTRA - Infrastruktur und Transformation | ||||||||||||||||||||
| Location: | Braunschweig | ||||||||||||||||||||
| Institutes and Institutions: | Institute of Transportation Systems > Verification and Validation, BS | ||||||||||||||||||||
| Deposited By: | Schwencke, Dr. Daniel | ||||||||||||||||||||
| Deposited On: | 08 Dec 2023 15:17 | ||||||||||||||||||||
| Last Modified: | 08 Dec 2023 15:17 |
Repository Staff Only: item control page
