elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Creating a Reliable Data Type Framework for the OSRA Using Modern C++

Sommer, Jan and Gerndt, Andreas and Lüdtke, Daniel (2019) Creating a Reliable Data Type Framework for the OSRA Using Modern C++. In: Proceedings of the International Astronautical Congress, IAC. 70th International Astronautical Congress (IAC), 21-25. Okt. 2019, Washington D.C..

[img] PDF
256kB

Abstract

Ever increasing demands on the complexity of onboard software has lead the European Space Agency to define the On­Board Software Reference Architecture (OSRA) creating a common framework for modeling onboard software for space applications. OSRA provides tools for the description of onboard software (OSW) in a component­centric way, but leaves the implementation of the OSW itself or related auto­coding tools to other institutions. As a first step towards a code­generation framework from high level software models, we present source code mappings from the OSRA data type model to a C++ type system. The goal of the framework is to take care of type safety and value consistency issues and to provide an intuitive interface to the application developer for defining and working with data types, while at the same time having the target of auto­coding in mind. We use language features introduced with the modern C++ standards to allow for extensive validity checks at compile­time and additional checks at runtime. For the integration with OSRA tools, we take an intermediate step transforming the graphically declared types of OSRA into an ASN.1 representation before generating the corresponding C++ source code. The integration is bidirectional, i.e. data types, which have been constructed solely in ASN.1 notation, can also be used inside OSRA models which helps maintaining more complex data structures in a textual format and enables us to use existing complex data sets from previous projects and from The Assert Set of Tools for Engineering (TASTE) project to test the feasibility and the limitations of the type system. In the end, we present a type system which can be auto­generated and automatically avoids common sources of error like faulty initialization, out­of­bound access and accidental range overflows. Such errors cause compile­time errors if possible and runtime errors otherwise. In order to provide developers with a practical solution, efforts were made to facilitate integration with existing code bases or third party libraries which allows an iterative process of adaption. We strive to generate complete onboard software projects from the OSRA component model. The data type system defined here provides therefore the basis for that endeavor as it determines the way components will exchange data and how developers will need to interact with them.

Item URL in elib:https://elib.dlr.de/130256/
Document Type:Conference or Workshop Item (Speech)
Title:Creating a Reliable Data Type Framework for the OSRA Using Modern C++
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Sommer, JanJan.Sommer (at) dlr.dehttps://orcid.org/0000-0003-2815-0337
Gerndt, AndreasAndreas.Gerndt (at) dlr.dehttps://orcid.org/0000-0002-0409-8573
Lüdtke, DanielDaniel.Luedtke (at) dlr.dehttps://orcid.org/0000-0002-6758-1562
Date:October 2019
Journal or Publication Title:Proceedings of the International Astronautical Congress, IAC
Refereed publication:No
Open Access:Yes
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:No
Series Name:Proceedings of the International Astronautical Congress
Status:Published
Keywords:Code Generation, Model­driven Software Development, C++
Event Title:70th International Astronautical Congress (IAC)
Event Location:Washington D.C.
Event Type:international Conference
Event Dates:21-25. Okt. 2019
Organizer:International Astronautical Federation
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Space
HGF - Program Themes:Space Technology
DLR - Research area:Raumfahrt
DLR - Program:R SY - Technik für Raumfahrtsysteme
DLR - Research theme (Project):R - Scosa Onboard Computing
Location: Braunschweig
Institutes and Institutions:Institut of Simulation and Software Technology
Institut of Simulation and Software Technology > Software for Space Systems and Interactive Visualisation
Deposited By: Sommer, Jan
Deposited On:13 Dec 2019 12:58
Last Modified:10 Jan 2020 13:35

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.