Paper information

Paper code

IAC-16,D1,6,11,x35472

Order

11

Room

Salon de Eventos 5

Title

Design and Implementation of a Formal Automatic Model-based Test-Framework for On-Board Software of Satellites

abstract

View PDF

Session

6. System Engineering - Methods, Processes and Tools (2)

symposium

D1. SPACE SYSTEMS SYMPOSIUM

congress

IAC-16

Type of presentation

oral

Main author

Mr. Kilian Höflinger, Simualtion and Software Technology, Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR), Germany

Co-authors

Mr. Benjamin Weps, DLR (German Aerospace Center), Germany;

Ms. Meenakshi Deshmukh, German Aerospace Center (DLR), Simulation and Software Technolog, Germany;

Dr. Andreas Gerndt, German Aerospace Center (DLR), Simulation and Software Technology, Germany;