Challenges with Software Verification and Validation Activities in the Space Industry

Document type: Conference Papers
Peer reviewed: Yes
Full text:
Author(s): Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal Raza
Title: Challenges with Software Verification and Validation Activities in the Space Industry
Translated title: Optimisering av verifikation och validation aktiviteter för programvara i rymdindustrin
Conference name: International Conference on Software Testing
Year: 2010
Publisher: IEEE Computer Society
City: Paris
Organization: Blekinge Institute of Technology
Department: School of Computing (Sektionen för datavetenskap och kommunikation)
School of Computing S-371 79 Karlskrona
+46 455 38 50 00
Authors e-mail:
Language: English
Abstract: Developing software for high-dependable space applications and systems is a formidable task. With new political and market pressures on the space industry to deliver more software at a lower cost, optimization of their methods and standards need to be investigated. The industry has to follow standards that strictly set quality goals and prescribes engineering processes and methods to fulfill them. The overall goal of this study is to evaluate if current use of the standards from the European Cooperation for Space Standardization (ECSS) is cost efficient and if there are ways to make the process leaner while still maintaining quality and to analyze if their verification and validation (V&V) activities can be optimized.
This paper presents results from two industrial case studies of companies in the European space industry that are following ECSS standards in various V&V activities. The case studies reported here focus on how ECSS standards are used by the companies, how that affects their processes and, in the end, how their V&V activities can be further optimized.
Subject: Software Engineering\General
Keywords: case study, European Cooperation for Space Standardization, verification and validation