Name: TEC-ED & TEC-SW Final Presentation Days - Autumn 2022
Start: 2022-11-30T08:50:00+01:00
End: 2022-12-01T18:00:00+01:00
Location: WebEx

TEC-ED & TEC-SW Final Presentation Days - Autumn 2022

from Wednesday, 30 November 2022 (08:50) to Thursday, 1 December 2022 (18:00)

Monday, 28 November 2022
Tuesday, 29 November 2022
Wednesday, 30 November 2022

08:50 Welcome & Intro
Welcome & Intro
08:50 - 09:00
09:00 Trust through explainability of AI based space software - Nabil Aouf (City University of London) Jianing Song (City University of London)
Trust through explainability of AI based space software
- Nabil Aouf (City University of London)
- Jianing Song (City University of London)
09:00 - 09:40
With the advantages and appealing performances of artificial Intelligence (AI) in different applications, space scientists and engineers have shown great interest in AI-based solutions to space scenarios. However, different from terrain applications, the decision of the space vehicles offered are critical and should be trustable in the uncontrolled and risky environment, resulting in the most significant challenge in the use of AI-based techniques for space missions of acting sensibly for the unanticipated and complex situations. We, therefore, study the Explainable Artificial Intelligence (XAI) techniques that are potentially applicable to software-based GNC scenarios, including relative navigation for spacecraft rendezvous, crater detection and landing on asteroids or the Moon. The explainable tools related to the XAI algorithms are developed to make onboard intelligent techniques transparent to ensure a trustable decision while meeting the level of performances required by the space applications within an uncertain and acceptable boundary level. A comprehensive framework is proposed to address the XAI-base space software for spacecraft GNC systems, including syntenic dataset generation, relative navigation scenario building, XAI model developing, software verification and testing, etc.
09:40 AI techniques in on-board avionics and software - AITAG - Álvaro Jiménez-Peralo Herrera (GMV)
AI techniques in on-board avionics and software - AITAG
- Álvaro Jiménez-Peralo Herrera (GMV)
09:40 - 10:20
Artificial Intelligence methods such as Deep Neural Networks can provide performances that surpass those of more classical techniques. The potential improvements do not come for free, as the difficulties with these techniques lies in the explainability of their results. For this reason, introducing them into critical embedded systems poses some challenges. In this work, result of an ESA project, we analyse two use cases where Deep Neural Networks are introduced into vision-based navigation systems and implement them on representative space avionics. We developed one model for each use case, the first aiming at detecting and localizing craters in a descent and landing phase over the Moon, and the second aiming at identifying previously selected patches of an unknown satellite on a life visual camera feed.
10:20 AI techniques in on-board avionics and software - AIVIONIC - Robert Hinz (Deimos)
AI techniques in on-board avionics and software - AIVIONIC
- Robert Hinz (Deimos)
10:20 - 11:00
The use of Artificial Intelligence (AI) has been recognized as a major advance in several industries including Automotive, Agriculture and Healthcare, disrupting traditional approaches and leading to a myriad of novel applications. The space domain has also been reached by the innovation potential of AI, chiefly in Earth Observation applications. Moreover, the increasingly more powerful processing units, together with enhanced and less computationally intensive AI algorithms, make it possible to explore new AI applications, especially for onboard implementations. The objective of the AIVIONIC technology development project is to implement a HW/SW demonstrator of an AI-based Visual Navigation System that can be applied to mission scenarios of Lunar landing and rendezvous and capture of a non-cooperative target. This follows a novel development line towards demonstrating the use of AI in space critical systems, in a dependable manner.
11:00 Coffee Break
Coffee Break
11:00 - 11:20
11:20 PROTOSAT - AI software development platform for small satellites - Filip Novoselnik (Protostar Labs d.o.o.)
PROTOSAT - AI software development platform for small satellites
- Filip Novoselnik (Protostar Labs d.o.o.)
11:20 - 12:00
Satellites have become an essential part in our lives: from navigation and weather forecasting to broadcasting and disaster management. They acquire enormous amounts of data which are sent back to Earth for further processing and analysis. Cost-effective downlink with high throughput is usually not available, especially for small satellites. Although satellites are collecting large amounts of data from various sensors, the downlink capacity is not sufficient enough to bring data to Earth in a timely and cost-effective manner. Another problem is limited resources on satellites (power, space, memory, etc.) and their usage has to be carefully designed and optimized. However, space environment can be very unpredictable and not easily simulated on Earth. Constant auto-optimization by “learning” from the measured data could help to utilize the resources in the optimal way. The above mentioned problems can be solved with an AI module with onboard processing capability. For example, if a satellite is monitoring objects of interest on the ground, defocused or cloud-filled images are useless and do not need to be downstreamed. Moreover, objects of interest could be detected and cropped or parameterized from images onboard (e.g. regions of interest like agricultural land, urban regions, etc.), further reducing the amount of data for downstreaming. Another example is battery usage optimization where an onboard module could monitor battery power and learn how to reduce energy consumption or manage power distribution, prolonging the designed lifetime. Many of these problems could be solved by AI algorithms that would filter out unwanted images and would reduce the amount of data that needs to be downlinked or by optimizing satellite behavior like energy consumption, navigation, etc.
12:00 Ubiquitous Science Analytics Platform for IoT (UbiSAP) - Konstantin Skaburskas (SixSq)
Ubiquitous Science Analytics Platform for IoT (UbiSAP)
- Konstantin Skaburskas (SixSq)
12:00 - 12:40
12:40 Lunch Break
Lunch Break
12:40 - 14:00
14:00 MBSE enhanced by Semantic DataLake integration and Machine Learning - Armin Müller (ScopeSET)
MBSE enhanced by Semantic DataLake integration and Machine Learning
- Armin Müller (ScopeSET)
14:00 - 14:40
14:40 A rad‐hard time‐to‐digital converter - Hagen Marien (Magics (BE))
A rad‐hard time‐to‐digital converter
- Hagen Marien (Magics (BE))
14:40 - 15:20
An ITAR-free fully integrated radiation-hard time-to-digital converter (TDC) with a sub-10 picosecond single-shot precision is developed by Magics Technologies in the scope of an ESA contract. The design is successfully integrated on an ASIC and supports high resolution, high accuracy and high precision at low power with zero dead-zone in a dynamic measurement range from 0s up to more than 3s. The ASIC is validated for the full temperature of -40°C to 125°C.
15:20 Single Board Computer Core – Phase 3 - Lennart Andersson (Beyond Gravity)
Single Board Computer Core – Phase 3
- Lennart Andersson (Beyond Gravity)
15:20 - 16:00
16:00 Coffee Break
Coffee Break
16:00 - 16:10
16:10 ARM-based Microcontroller Development - x (Microchip)
ARM-based Microcontroller Development
- x (Microchip)
16:10 - 16:50
16:50 Model-Based FDIR Design - Délia Cellarier (Thales Alenia Space)
Model-Based FDIR Design
- Délia Cellarier (Thales Alenia Space)
16:50 - 17:30
Thursday, 1 December 2022

09:00 Welcome & Intro
Welcome & Intro
09:00 - 09:05
09:05 Autonomous Trustworthy Monitoring And Diagnosis Of Cubesat Health - ATMonSat - Andrzej Mizera (Université du Luxembourg (FSTC))
Autonomous Trustworthy Monitoring And Diagnosis Of Cubesat Health - ATMonSat
- Andrzej Mizera (Université du Luxembourg (FSTC))
09:05 - 09:45
CubeSat is a term coined to refer to a satellites as small as a cube with 10cm edges. Even these small satellites are recommended to comply with the ISO standards defined within the CubeSat Design Specification. CubeSats play a notable role in the New Space Economy. These spacecrafts are systems of great interest to the industry, scientific community, and government agencies as affordable facilities providing capabilities for a broad set of activities. The great success of CubeSats can be largely attributed to the “low cost and fast delivery” paradigm they introduced to the space research. Unfortunately, the new paradigm is also to be considered accountable for the high percentage of failed missions, due to the fact that CubeSat critical components are built with cheap materials and to the low-cost processes of production and verification. Furthermore, CubeSats either implement very limited Fault Detection, Isolation, and Recovery (FDIR) functionality or lack it completely. The focus of the ATMonSAT project is to improve fault detection onboard CubeSats using artificial neural networks for CubeSat systems and related spacecraft where computing resources are limited.
09:45 Abeto Framework: a Solution for Heterogeneous IP Management - Antonio Sanchez (Univeristy of Las Palmas de Gran Canaria)
Abeto Framework: a Solution for Heterogeneous IP Management
- Antonio Sanchez (Univeristy of Las Palmas de Gran Canaria)
09:45 - 10:25
10:25 Model Checking for Formal Verification of Space Software Systems - Iulia Dragomir (GMV)
Model Checking for Formal Verification of Space Software Systems
- Iulia Dragomir (GMV)
10:25 - 11:05
Model-Based Systems/Software Engineering (MBSE) is an adopted development approach focusing on the correct construction and deployment of complex real-time critical systems. MBSE is provided by several commercial and/or open-source tools, such as TASTE. TASTE enables the system design, automatic generation of executables and validation. The aim of this activity is to equip TASTE with formal verification capabilities, by developing and integrating a model-checking approach for behavioural properties. This activity has developed an open-source model-checker for TASTE based on the IF toolset. The technology has been integrated in the TASTE environment, creating a complete and useful development environment for real-time embedded applications. More specifically: - We defined a user-friendly model-checking workflow, seamlessly integrated in the TASTE environment and IDE. - We defined a property language for formalizing requirements in TASTE. Three formalisms have been designed: Boolean Stop Condition for system invariants, Property Message Sequence Chart for (un-)desired system interactions, and Observer for complex properties monitoring and altering the system. - We defined an approach to set the configuration for model-checking, in terms of subsystem subject to verification and available interactions with the environment (i.e., subtyping). - We specified the model-checking approach preserving the TASTE semantics, via bi-directional model transformations to the IF toolset. - We implemented the model-checking and validated it. The technology has been validated on two case studies, one with the aim to assess the approach and another with the aim to identify the limitations. The case studies have showed the usefulness of the approach and tools, and the lessons learned are used in other activities involving the development of real-time embedded systems with TASTE. Finally, the results of the activity have been disseminated in international venues and published in the TASTE documentation.
11:05 Coffee Break
Coffee Break
11:05 - 11:25
11:25 ISVV for Evolutions in Software Development Methods and Processes - Jesper Troelsen (Rovsing) Nuno Pedro Silva (Critical Software)
ISVV for Evolutions in Software Development Methods and Processes
- Jesper Troelsen (Rovsing)
- Nuno Pedro Silva (Critical Software)
11:25 - 12:05
12:05 OCEOS-ARM - Real-time operating system for ARM microcontrollers - Michael Ryan (O.C.E. Technology Ltd.)
OCEOS-ARM - Real-time operating system for ARM microcontrollers
- Michael Ryan (O.C.E. Technology Ltd.)
12:05 - 12:45
OCE is building a portfolio of software products for the embedded systems market. A real-time operating system is a necessary part of this portfolio, and with ESA support OCE developed OCEOS, a highly compact real time operating system for the SPARC processor architecture. The flight safety category B ready status validated by ESA is a major competitive advantage for OCEOS which has a number of other features that make it very suitable for a wide range of embedded systems. The ARM processor architecture is the most widely used processor architecture for embedded systems and is increasingly being used in space projects. This project further developed OCEOS to support ARM Cortex-M microcontrollers, specifically targeting Mircochip rad-hard Cortex-M7 and M3 ICs. The project has been completed successfully.