Integrierte System- und Testspezifikation

Die Weltraumrobotik eröffnet faszinierende Möglichkeiten in der Exploration und Entdeckung anderer Planeten und Himmelskörper oder bei der Untersuchung von terrestrischen Vorgängen wie z. B. dem Klima. Die Entwicklung solcher Systeme ist geprägt durch eine hohe technologische Komplexität der zu entwickelnden Systeme. Eine wesentliche Herausforderung stellt die Absicherung dieser Systeme vor dem Hintergrund „Right the First Time“ dar. Absicherung am realen Prototypen ist zum einen kostspielig und zum anderen können die Versuche die realen Umgebungsbedingungen, wie Mikrogravitation, nur eingeschränkt abbilden. Die durchgehende virtuelle Absicherung dieser Systeme beginnend in der Konzeptphase bis hin zur Inbetriebnahme nimmt daher eine Schlüsselrolle bei der erfolgreichen Entwicklung ein. Das Forschungsprojekt INVIRTES stellt dabei eine integrierte Entwicklungsumgebung zur durchgehenden System- und Testspezifikation, Detailentwicklung und Simulation dieser Systeme bereit. Dieser Beitrag beschreibt den eingesetzten Ansatz zur integrierten Entwicklung und Modellierung der System- und Testspezifikation. Dieser Ansatz wurde anhand von vier Anwendungsbeispielen der Weltraumrobotik validiert. Die entwickelten Konzepte sind dabei nicht auf die Weltraumrobotik beschränkt und können auch auf andere Domänen, wie z. B. autonomes Fahren oder Automatisierungstechnik, übertragen werden.