DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Catalog of Fault Types in Space Software from the ESVW investigation

Gerlich, Rainer and Gerlich, Ralf (2016) Catalog of Fault Types in Space Software from the ESVW investigation. Other. DLR. 62 S.

[img] PDF


Space software may contain faults. However, as faults onboard a spacecraft might develop into extremely costly software and system failures during a mission, every effort is made to remove faults before costly failures commence. One building block of prevention methods is to reduce the risk of occurrence of runtime errors through verification. There are numerous tools on the market that promise to detect many of the various faults that can cause failures at runtime of the software. Yet it is unclear, what the different tools can achieve in practice, and what tools to best apply to real-world space software. Will they be able to detect all the faults they promise to detect, and will they differ in their fault detection capabilities? What efforts are typically associated with verification using such tools? Therefore, the product assurance department of the DLR Space Administration initiated the ESVW project (“Evaluierung von Softwareverifikationsmethoden und –Werkzeugen”) under contract number 50PS1502, executed by BSSE Software and System Engineering and etamax space GmbH. The aim of the ESVW project was to develop and evaluate a technique for investigating, comparing and characterizing different software verification methods and tools in the context of space flight software. As part of the evaluation activities, software faults and the problem reports generated by the different tools had to be harmonized. In particular, the way how tools report findings differ quite significantly. We needed a mapping from reported presumable faults to actual faults and false reports, and a classification scheme for known faults. This technical report presents the detailed work results regarding the fault ontology and mapping.

Item URL in elib:https://elib.dlr.de/105447/
Document Type:Monograph (Other)
Title:Catalog of Fault Types in Space Software from the ESVW investigation
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Date:June 2016
Refereed publication:Yes
Open Access:Yes
Number of Pages:62
EditorsEmailEditor's ORCID iDORCID Put Code
Keywords:software quality, verification, static analysis, fault types
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:other
DLR - Research area:Raumfahrt
DLR - Program:R - no assignment
DLR - Research theme (Project):R - no assignment
Location: Bonn-Oberkassel
Institutes and Institutions:Space Administration
Deposited By: Prause, Dr. Christian
Deposited On:21 Nov 2019 11:40
Last Modified:21 Nov 2019 11:40

Repository Staff Only: item control page

Help & Contact
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.