Christian R. Prause
ABSTRACT
The DLR Space Administration designs and implements the German space program. While project management rests with the agency, suppliers are contracted for building the space devices and their software. As opposed to many other domains, these are often unique devices with uncommon and custom-built peripherals. Its software is specifically developed for a single mission only and controls critical functionality. A small coding error can mean the loss of a mission. For this reason, customer and supplier closely collaborate on the field of software quality. We report from a customer's perspective on lessons and management tools for influencing suppliers' processes and product quality: standards, single-source tailoring and cross-company product assurance.
- Ecss-e-st-40c: Space engineering – software.Google Scholar
- Ecss-q-st-80c: Software product assurance.Google Scholar
- Ecss-s-st-00c: Ecss system – description, implementation and general requirements.Google Scholar
- O. Armbrust, M. Katahira, Y. Miyamoto, J. Münch, H. Nakao, and A. Ocampo. Scoping software process models – initial concepts and experience from defining space standards. LNCS 5007:160–172, 2008. Google ScholarDigital Library
- G. Brat and R. Klemm. Static analysis of the mars exploration rover flight software. In Intl. Space Mission Challenges for Inf. Technology, pages 321–326, 2003.Google Scholar
- S. E. Donaldson and S. G. Siegel. Successful Software Development. Prentice-Hall, 2 edition, 2001. Google ScholarDigital Library
- M. Dowson. The ariane 5 software failure. Software Engineering Notes, 22:84, 1997. Google ScholarDigital Library
- D. L. Dvorak, editor. NASA Study on Flight Software Complexity. Jet Propulsion Laboratory, 2009.Google ScholarCross Ref
- Y. E. Gammal and W. Kriedte. Ecss — an initiative to develop a single set of european space standards. In Prod. Ass. Symp. and Softw. Prod. Ass. Works., 1996.Google Scholar
- G. J. Holzmann. Mars code. Comm. of the ACM, 57(2):64–73, February 2014. Google ScholarDigital Library
- W. Jobi, editor. Tailoring Catalogue: Product Assurance & Safety Requirements for DLR Space Projects. DLR, 2012.Google Scholar
- C. W. Johnson. The natural history of bugs: Using formal methods to analyse software related failures in space missions. LNCS, 3582:9–25, 2005. Google ScholarDigital Library
- W. Ley. Management von raumfahrtprojekten. In Handbuch der Raumfahrttechnik, pages 715–764. 2007.Google Scholar
- H.-A. Marsiske. Wendepunkt mars. Telepolis, 2000.Google Scholar
- J. Oberg. Why the mars probe went off course. IEEE Spectrum, pages 34–39, October 1999. Google ScholarDigital Library
- C. R. Prause, R. Gerlich, R. Gerlich, and A. Fischer. Characterizing verification tools through coding error candidates reported in space flight software. In Data Systems In Aerospace, 2015.Google Scholar
Index Terms
- Tailoring process requirements for software product assurance
Recommendations
Software product assurance at the German space agency
The DLR Space Administration designs and implements the German space program. While project management rests with the agency, suppliers are contracted for building the space devices and their software. As opposed to many other domains, these are often ...
Online Product Reviews: Implications for Retailers and Competing Manufacturers
This paper studies the effect of online product reviews on different players in a channel structure. We consider a retailer selling two substitutable products produced by different manufacturers, and the products differ in both their qualities and fits ...
Requirements of Software Quality Assurance Model
ICECS '09: Proceedings of the 2009 Second International Conference on Environmental and Computer ScienceThe Varity and complexity of software increased from day to day, the software quality assurance must be used to make a balance between quality and productivity. The practice of applying software metrics to a software process and to a software product is ...
Comments