Yarza, Irune und Mugarza, Imanol und Nitsche, Gregor und Uven, Patrick und Orbegozo, Juan Maria (2023) Towards a Contract-Based Definition of Update-Compatibility Modelling Safety Integration Criteria. 26th IEEE International Conference on Intelligent Transportation Systems, 2023-09-24 - 2023-09-28, Bilbao, Bizkaia, Spain.
PDF
- Nur DLR-intern zugänglich
2MB |
Kurzfassung
Over-The-Air Software Updates (OTASU) provide huge benefits in terms of user experience, security, and efficiency. In fact, in the railway domain the ability of remotely updating railway equipment considerably reduces maintenance costs and time, improving system availability. However, the adoption of OTASU in the critical domains is challenged by their associated risks. Therefore, this paper identifies the acceptance criteria that an update shall satisfy in order to preserve system safety. This criteria, which is defined in the form of non-functional safety properties that characterize the update component and its integration on the system, will serve to evaluate the suitability of the updates during different phases of the update execution process (i.e., design time checks, virtual compatibility and integration checks, update verification and online as well as offline monitoring). The defined contract-based compatibility and integration approach is then evaluated in safety-critical railway signaling case study.
elib-URL des Eintrags: | https://elib.dlr.de/202809/ | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||||||
Titel: | Towards a Contract-Based Definition of Update-Compatibility Modelling Safety Integration Criteria | ||||||||||||||||||||||||
Autoren: |
| ||||||||||||||||||||||||
Datum: | Mai 2023 | ||||||||||||||||||||||||
Open Access: | Nein | ||||||||||||||||||||||||
Gold Open Access: | Nein | ||||||||||||||||||||||||
In SCOPUS: | Nein | ||||||||||||||||||||||||
In ISI Web of Science: | Nein | ||||||||||||||||||||||||
Status: | akzeptierter Beitrag | ||||||||||||||||||||||||
Stichwörter: | Software updates, safety, contract-based design | ||||||||||||||||||||||||
Veranstaltungstitel: | 26th IEEE International Conference on Intelligent Transportation Systems | ||||||||||||||||||||||||
Veranstaltungsort: | Bilbao, Bizkaia, Spain | ||||||||||||||||||||||||
Veranstaltungsart: | internationale Konferenz | ||||||||||||||||||||||||
Veranstaltungsbeginn: | 24 September 2023 | ||||||||||||||||||||||||
Veranstaltungsende: | 28 September 2023 | ||||||||||||||||||||||||
HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||||||
HGF - Programm: | Verkehr | ||||||||||||||||||||||||
HGF - Programmthema: | Straßenverkehr | ||||||||||||||||||||||||
DLR - Schwerpunkt: | Verkehr | ||||||||||||||||||||||||
DLR - Forschungsgebiet: | V ST Straßenverkehr | ||||||||||||||||||||||||
DLR - Teilgebiet (Projekt, Vorhaben): | V - V&V4NGC - Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC | ||||||||||||||||||||||||
Standort: | Oldenburg | ||||||||||||||||||||||||
Institute & Einrichtungen: | Institut für Systems Engineering für zukünftige Mobilität > System Evolution and Operation | ||||||||||||||||||||||||
Hinterlegt von: | Uven, Patrick | ||||||||||||||||||||||||
Hinterlegt am: | 14 Feb 2024 15:39 | ||||||||||||||||||||||||
Letzte Änderung: | 24 Apr 2024 21:03 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags