ATON (Autonomous Terrain-based Optical Navigation) for exploration missions: recent flight test results
Abstract Since 2010 the German Aerospace Center is working on the project Autonomous
Terrain-based Optical Navigation (ATON). Its objective is the development of technologies …
Terrain-based Optical Navigation (ATON). Its objective is the development of technologies …
Event-driven multithreading execution platform for real-time on-board software systems
ZA H Hammadeh, T Franz, O Maibaum… - Proceedings of the 15th …, 2019 - elib.dlr.de
The high computational demand and the modularity of future space applications make the
effort of developing multithreading reusable middlewares worthwhile. In this paper, we …
effort of developing multithreading reusable middlewares worthwhile. In this paper, we …
Architectural modelling for robotics: RoboArch and the CorteX example
W Barnett, A Cavalcanti, A Miyazawa - Frontiers in Robotics and AI, 2022 - frontiersin.org
The need for robotic systems to be verified grows as robots are increasingly used in complex
applications with safety implications. Model-driven engineering and domain-specific …
applications with safety implications. Model-driven engineering and domain-specific …
A taxonomy for model-based systems engineering
In this paper, we define Model Based Systems Engineering (MBSE) as a set of different
approaches which vary in scope and in purpose, as opposed to defining it as a monolithic …
approaches which vary in scope and in purpose, as opposed to defining it as a monolithic …
Task-node mapping in an arbitrary computer network using smt solver
A Kovalov, E Lobe, A Gerndt, D Lüdtke - Integrated Formal Methods: 13th …, 2017 - Springer
The problem of mapping (assigning) application tasks to processing nodes in a distributed
computer system for spacecraft is investigated in this paper. The network architecture is …
computer system for spacecraft is investigated in this paper. The network architecture is …
Automatic test case generation from formal requirement model for avionics software
WX Wang, J Hu, JC Hu, JX Kang… - 2020 6th International …, 2020 - ieeexplore.ieee.org
The scale and complexity of software in modern avionics systems are growing fast. It
becomes a challenge to develop such kind of software systems satisfying both high safety …
becomes a challenge to develop such kind of software systems satisfying both high safety …
Model-based reconfiguration planning for a distributed on-board computer
The ScOSA project (Scalable On-board Computing for Space Avionics) of the German
Aerospace Center aims at combining radiation hardened space hardware together with …
Aerospace Center aims at combining radiation hardened space hardware together with …
A model-driven software architecture for ultra-cold gas experiments in space
Developing software for large and complex experiments is a challenging task. It must
incorporate many requirements from different domains, all with their own conceptions about …
incorporate many requirements from different domains, all with their own conceptions about …
Using an UAV for testing an autonomous terrain-based optical navigation system for lunar landing
This paper presents the application of a rotary wing Unmanned Aerial Vehicle (UAV) as a
testbed for the optical navigation system developed in the project “Autonomous Terrain …
testbed for the optical navigation system developed in the project “Autonomous Terrain …
Model checking message delivery times in SpaceWire networks
A Kovalov, G Patil, V Bansal, A Gerndt - Proceedings of the 25th …, 2022 - dl.acm.org
This paper presents a model checking framework in Uppaal for finding worst-case message
delivery times for periodic and event-driven message flows in a SpaceWire network with …
delivery times for periodic and event-driven message flows in a SpaceWire network with …