Eickhoff, Jens (Prof. Dr.-Ing.)Bucher, Nico2021-03-032021-03-0320211750203030http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-113315http://elib.uni-stuttgart.de/handle/11682/11331http://dx.doi.org/10.18419/opus-11314In this dissertation, the author describes an agile verification approach for spacecraft onboard software that allows for software development guided by system tests performed with the actual spacecraft. The approach was applied for the Flying Laptop small satellite, built and operated by the Institute of Space System (IRS) at the University of Stuttgart, Germany. This work contains examples of practical experience gathered during the system testing campaign of Flying Laptop.eninfo:eu-repo/semantics/openAccess600620650Merging spacecraft software development and system tests : an agile verification approachEin agiler Verifikationsansatz für Raumfahrzeuge, der Softwareentwicklung und Systemtests vereintdoctoralThesis