elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Towards a Contract-Based Definition of Update-Compatibility Modelling Safety Integration Criteria

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. In: 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC). IEEE. 26th IEEE International Conference on Intelligent Transportation Systems, 2023-09-24 - 2023-09-28, Bilbao, Bizkaia, Spain. ISBN 979-8-3503-9946-2. ISSN 2153-0017.

[img] PDF - Nur DLR-intern zugänglich
2MB

Offizielle URL: https://ieeexplore.ieee.org/document/10422590

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:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Yarza, Iruneiyarza (at) ikerlan.esNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Mugarza, Imanolimugarza (at) ikerlan.esNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Nitsche, Gregorgregor.nitsche (at) dlr.dehttps://orcid.org/0000-0002-5232-0976159785043
Uven, Patrickpatrick.uven (at) dlr.dehttps://orcid.org/0000-0002-9427-9916159785044
Orbegozo, Juan Mariajmorbegozo (at) cafsignalling.comNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:Mai 2023
Erschienen in:2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Verlag:IEEE
ISSN:2153-0017
ISBN:979-8-3503-9946-2
Status:veröffentlicht
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:17 Mai 2024 11:07

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.