View in EDS

Modular Over‐the‐air Software Updates for Safety‐critical Real‐time Systems.

Saved in:
Bibliographic Details
Title: Modular Over‐the‐air Software Updates for Safety‐critical Real‐time Systems.
Authors: Helms, Domenik (AUTHOR) domenik.helms@dlr.de, Uven, Patrick (AUTHOR) patrick.uven@dlr.de, Grüttner, Kim (AUTHOR) kim.gruettner@dlr.de
Source: Insight (2156-485X). Feb2026, Vol. 29 Issue 1, p49-52. 4p.
Subjects: Real-time computing, Automobile software, Software maintenance, System safety, Computer software development, Software requirements specifications, Online monitoring systems
Abstract: Automotive software is undergoing a rapid change toward artificial intelligence and towards more and more connectedness with other systems. For both, an incremental design paradigm is desired, where the car's software is frequently updated after production but still can guarantee the highest automotive safety standards. We present a design flow and tool framework enabling a DevOps paradigm for automotive software development. DevOps means that software is developed in a continuous loop of development, deployment, usage in the field, collection of runtime data and feedback to the developers for the next design iteration. The software developers get support in defining, developing, and verifying new software functions based on the data gathered in the field by the previous software generation. The software developers can define contracts describing the time and resource assumptions on the integration environment and guarantees for other dependent software components in the system. These contracts allow a composition of software components and proof obligations to be discharged at design time through virtual integration testing and runtime through continuous monitoring of assumptions and guarantees on the software component's interfaces. An update package, consisting of the software component and its contracts, is then automatically created, transferred over the air, and deployed in the car. Monitors derived from the contracts allow for supervising the system's behavior, detecting failures at runtime, and annotating the situation to be included in a data collection, fueling the next design iteration. [ABSTRACT FROM AUTHOR]
Copyright of Insight (2156-485X) is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 191615807
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Modular Over‐the‐air Software Updates for Safety‐critical Real‐time Systems.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Helms%2C+Domenik%22">Helms, Domenik</searchLink> (AUTHOR)<i> domenik.helms@dlr.de</i><br /><searchLink fieldCode="AR" term="%22Uven%2C+Patrick%22">Uven, Patrick</searchLink> (AUTHOR)<i> patrick.uven@dlr.de</i><br /><searchLink fieldCode="AR" term="%22Grüttner%2C+Kim%22">Grüttner, Kim</searchLink> (AUTHOR)<i> kim.gruettner@dlr.de</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Insight+%282156-485X%29%22">Insight (2156-485X)</searchLink>. Feb2026, Vol. 29 Issue 1, p49-52. 4p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Real-time+computing%22">Real-time computing</searchLink><br /><searchLink fieldCode="DE" term="%22Automobile+software%22">Automobile software</searchLink><br /><searchLink fieldCode="DE" term="%22Software+maintenance%22">Software maintenance</searchLink><br /><searchLink fieldCode="DE" term="%22System+safety%22">System safety</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+development%22">Computer software development</searchLink><br /><searchLink fieldCode="DE" term="%22Software+requirements+specifications%22">Software requirements specifications</searchLink><br /><searchLink fieldCode="DE" term="%22Online+monitoring+systems%22">Online monitoring systems</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Automotive software is undergoing a rapid change toward artificial intelligence and towards more and more connectedness with other systems. For both, an incremental design paradigm is desired, where the car's software is frequently updated after production but still can guarantee the highest automotive safety standards. We present a design flow and tool framework enabling a DevOps paradigm for automotive software development. DevOps means that software is developed in a continuous loop of development, deployment, usage in the field, collection of runtime data and feedback to the developers for the next design iteration. The software developers get support in defining, developing, and verifying new software functions based on the data gathered in the field by the previous software generation. The software developers can define contracts describing the time and resource assumptions on the integration environment and guarantees for other dependent software components in the system. These contracts allow a composition of software components and proof obligations to be discharged at design time through virtual integration testing and runtime through continuous monitoring of assumptions and guarantees on the software component's interfaces. An update package, consisting of the software component and its contracts, is then automatically created, transferred over the air, and deployed in the car. Monitors derived from the contracts allow for supervising the system's behavior, detecting failures at runtime, and annotating the situation to be included in a data collection, fueling the next design iteration. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Insight (2156-485X) is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=191615807
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1002/inst.70032
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 4
        StartPage: 49
    Subjects:
      – SubjectFull: Real-time computing
        Type: general
      – SubjectFull: Automobile software
        Type: general
      – SubjectFull: Software maintenance
        Type: general
      – SubjectFull: System safety
        Type: general
      – SubjectFull: Computer software development
        Type: general
      – SubjectFull: Software requirements specifications
        Type: general
      – SubjectFull: Online monitoring systems
        Type: general
    Titles:
      – TitleFull: Modular Over‐the‐air Software Updates for Safety‐critical Real‐time Systems.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Helms, Domenik
      – PersonEntity:
          Name:
            NameFull: Uven, Patrick
      – PersonEntity:
          Name:
            NameFull: Grüttner, Kim
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 02
              Text: Feb2026
              Type: published
              Y: 2026
          Identifiers:
            – Type: issn-print
              Value: 2156485X
          Numbering:
            – Type: volume
              Value: 29
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: Insight (2156-485X)
              Type: main
ResultId 1