Focus on:
All days
30 Nov 2022
1 Dec 2022
Indico style
Indico style - inline minutes
Indico style - numbered
Indico style - numbered + minutes
Indico Weeks View
Back to Conference View
Choose Timezone
Use the event/category timezone
Specify a timezone
Africa/Abidjan
Africa/Accra
Africa/Addis_Ababa
Africa/Algiers
Africa/Asmara
Africa/Bamako
Africa/Bangui
Africa/Banjul
Africa/Bissau
Africa/Blantyre
Africa/Brazzaville
Africa/Bujumbura
Africa/Cairo
Africa/Casablanca
Africa/Ceuta
Africa/Conakry
Africa/Dakar
Africa/Dar_es_Salaam
Africa/Djibouti
Africa/Douala
Africa/El_Aaiun
Africa/Freetown
Africa/Gaborone
Africa/Harare
Africa/Johannesburg
Africa/Juba
Africa/Kampala
Africa/Khartoum
Africa/Kigali
Africa/Kinshasa
Africa/Lagos
Africa/Libreville
Africa/Lome
Africa/Luanda
Africa/Lubumbashi
Africa/Lusaka
Africa/Malabo
Africa/Maputo
Africa/Maseru
Africa/Mbabane
Africa/Mogadishu
Africa/Monrovia
Africa/Nairobi
Africa/Ndjamena
Africa/Niamey
Africa/Nouakchott
Africa/Ouagadougou
Africa/Porto-Novo
Africa/Sao_Tome
Africa/Tripoli
Africa/Tunis
Africa/Windhoek
America/Adak
America/Anchorage
America/Anguilla
America/Antigua
America/Araguaina
America/Argentina/Buenos_Aires
America/Argentina/Catamarca
America/Argentina/Cordoba
America/Argentina/Jujuy
America/Argentina/La_Rioja
America/Argentina/Mendoza
America/Argentina/Rio_Gallegos
America/Argentina/Salta
America/Argentina/San_Juan
America/Argentina/San_Luis
America/Argentina/Tucuman
America/Argentina/Ushuaia
America/Aruba
America/Asuncion
America/Atikokan
America/Bahia
America/Bahia_Banderas
America/Barbados
America/Belem
America/Belize
America/Blanc-Sablon
America/Boa_Vista
America/Bogota
America/Boise
America/Cambridge_Bay
America/Campo_Grande
America/Cancun
America/Caracas
America/Cayenne
America/Cayman
America/Chicago
America/Chihuahua
America/Ciudad_Juarez
America/Costa_Rica
America/Creston
America/Cuiaba
America/Curacao
America/Danmarkshavn
America/Dawson
America/Dawson_Creek
America/Denver
America/Detroit
America/Dominica
America/Edmonton
America/Eirunepe
America/El_Salvador
America/Fort_Nelson
America/Fortaleza
America/Glace_Bay
America/Goose_Bay
America/Grand_Turk
America/Grenada
America/Guadeloupe
America/Guatemala
America/Guayaquil
America/Guyana
America/Halifax
America/Havana
America/Hermosillo
America/Indiana/Indianapolis
America/Indiana/Knox
America/Indiana/Marengo
America/Indiana/Petersburg
America/Indiana/Tell_City
America/Indiana/Vevay
America/Indiana/Vincennes
America/Indiana/Winamac
America/Inuvik
America/Iqaluit
America/Jamaica
America/Juneau
America/Kentucky/Louisville
America/Kentucky/Monticello
America/Kralendijk
America/La_Paz
America/Lima
America/Los_Angeles
America/Lower_Princes
America/Maceio
America/Managua
America/Manaus
America/Marigot
America/Martinique
America/Matamoros
America/Mazatlan
America/Menominee
America/Merida
America/Metlakatla
America/Mexico_City
America/Miquelon
America/Moncton
America/Monterrey
America/Montevideo
America/Montserrat
America/Nassau
America/New_York
America/Nome
America/Noronha
America/North_Dakota/Beulah
America/North_Dakota/Center
America/North_Dakota/New_Salem
America/Nuuk
America/Ojinaga
America/Panama
America/Paramaribo
America/Phoenix
America/Port-au-Prince
America/Port_of_Spain
America/Porto_Velho
America/Puerto_Rico
America/Punta_Arenas
America/Rankin_Inlet
America/Recife
America/Regina
America/Resolute
America/Rio_Branco
America/Santarem
America/Santiago
America/Santo_Domingo
America/Sao_Paulo
America/Scoresbysund
America/Sitka
America/St_Barthelemy
America/St_Johns
America/St_Kitts
America/St_Lucia
America/St_Thomas
America/St_Vincent
America/Swift_Current
America/Tegucigalpa
America/Thule
America/Tijuana
America/Toronto
America/Tortola
America/Vancouver
America/Whitehorse
America/Winnipeg
America/Yakutat
Antarctica/Casey
Antarctica/Davis
Antarctica/DumontDUrville
Antarctica/Macquarie
Antarctica/Mawson
Antarctica/McMurdo
Antarctica/Palmer
Antarctica/Rothera
Antarctica/Syowa
Antarctica/Troll
Antarctica/Vostok
Arctic/Longyearbyen
Asia/Aden
Asia/Almaty
Asia/Amman
Asia/Anadyr
Asia/Aqtau
Asia/Aqtobe
Asia/Ashgabat
Asia/Atyrau
Asia/Baghdad
Asia/Bahrain
Asia/Baku
Asia/Bangkok
Asia/Barnaul
Asia/Beirut
Asia/Bishkek
Asia/Brunei
Asia/Chita
Asia/Choibalsan
Asia/Colombo
Asia/Damascus
Asia/Dhaka
Asia/Dili
Asia/Dubai
Asia/Dushanbe
Asia/Famagusta
Asia/Gaza
Asia/Hebron
Asia/Ho_Chi_Minh
Asia/Hong_Kong
Asia/Hovd
Asia/Irkutsk
Asia/Jakarta
Asia/Jayapura
Asia/Jerusalem
Asia/Kabul
Asia/Kamchatka
Asia/Karachi
Asia/Kathmandu
Asia/Khandyga
Asia/Kolkata
Asia/Krasnoyarsk
Asia/Kuala_Lumpur
Asia/Kuching
Asia/Kuwait
Asia/Macau
Asia/Magadan
Asia/Makassar
Asia/Manila
Asia/Muscat
Asia/Nicosia
Asia/Novokuznetsk
Asia/Novosibirsk
Asia/Omsk
Asia/Oral
Asia/Phnom_Penh
Asia/Pontianak
Asia/Pyongyang
Asia/Qatar
Asia/Qostanay
Asia/Qyzylorda
Asia/Riyadh
Asia/Sakhalin
Asia/Samarkand
Asia/Seoul
Asia/Shanghai
Asia/Singapore
Asia/Srednekolymsk
Asia/Taipei
Asia/Tashkent
Asia/Tbilisi
Asia/Tehran
Asia/Thimphu
Asia/Tokyo
Asia/Tomsk
Asia/Ulaanbaatar
Asia/Urumqi
Asia/Ust-Nera
Asia/Vientiane
Asia/Vladivostok
Asia/Yakutsk
Asia/Yangon
Asia/Yekaterinburg
Asia/Yerevan
Atlantic/Azores
Atlantic/Bermuda
Atlantic/Canary
Atlantic/Cape_Verde
Atlantic/Faroe
Atlantic/Madeira
Atlantic/Reykjavik
Atlantic/South_Georgia
Atlantic/St_Helena
Atlantic/Stanley
Australia/Adelaide
Australia/Brisbane
Australia/Broken_Hill
Australia/Darwin
Australia/Eucla
Australia/Hobart
Australia/Lindeman
Australia/Lord_Howe
Australia/Melbourne
Australia/Perth
Australia/Sydney
Canada/Atlantic
Canada/Central
Canada/Eastern
Canada/Mountain
Canada/Newfoundland
Canada/Pacific
Europe/Amsterdam
Europe/Andorra
Europe/Astrakhan
Europe/Athens
Europe/Belgrade
Europe/Berlin
Europe/Bratislava
Europe/Brussels
Europe/Bucharest
Europe/Budapest
Europe/Busingen
Europe/Chisinau
Europe/Copenhagen
Europe/Dublin
Europe/Gibraltar
Europe/Guernsey
Europe/Helsinki
Europe/Isle_of_Man
Europe/Istanbul
Europe/Jersey
Europe/Kaliningrad
Europe/Kirov
Europe/Kyiv
Europe/Lisbon
Europe/Ljubljana
Europe/London
Europe/Luxembourg
Europe/Madrid
Europe/Malta
Europe/Mariehamn
Europe/Minsk
Europe/Monaco
Europe/Moscow
Europe/Oslo
Europe/Paris
Europe/Podgorica
Europe/Prague
Europe/Riga
Europe/Rome
Europe/Samara
Europe/San_Marino
Europe/Sarajevo
Europe/Saratov
Europe/Simferopol
Europe/Skopje
Europe/Sofia
Europe/Stockholm
Europe/Tallinn
Europe/Tirane
Europe/Ulyanovsk
Europe/Vaduz
Europe/Vatican
Europe/Vienna
Europe/Vilnius
Europe/Volgograd
Europe/Warsaw
Europe/Zagreb
Europe/Zurich
GMT
Indian/Antananarivo
Indian/Chagos
Indian/Christmas
Indian/Cocos
Indian/Comoro
Indian/Kerguelen
Indian/Mahe
Indian/Maldives
Indian/Mauritius
Indian/Mayotte
Indian/Reunion
Pacific/Apia
Pacific/Auckland
Pacific/Bougainville
Pacific/Chatham
Pacific/Chuuk
Pacific/Easter
Pacific/Efate
Pacific/Fakaofo
Pacific/Fiji
Pacific/Funafuti
Pacific/Galapagos
Pacific/Gambier
Pacific/Guadalcanal
Pacific/Guam
Pacific/Honolulu
Pacific/Kanton
Pacific/Kiritimati
Pacific/Kosrae
Pacific/Kwajalein
Pacific/Majuro
Pacific/Marquesas
Pacific/Midway
Pacific/Nauru
Pacific/Niue
Pacific/Norfolk
Pacific/Noumea
Pacific/Pago_Pago
Pacific/Palau
Pacific/Pitcairn
Pacific/Pohnpei
Pacific/Port_Moresby
Pacific/Rarotonga
Pacific/Saipan
Pacific/Tahiti
Pacific/Tarawa
Pacific/Tongatapu
Pacific/Wake
Pacific/Wallis
US/Alaska
US/Arizona
US/Central
US/Eastern
US/Hawaii
US/Mountain
US/Pacific
UTC
Save
Europe/Amsterdam
English (United Kingdom)
Deutsch (Deutschland)
English (United Kingdom)
English (United States)
Español (España)
Français (France)
Italiano (Italia)
Polski (Polska)
Português (Brasil)
Türkçe (Türkiye)
Čeština (Česko)
Монгол (Монгол)
Українська (Україна)
中文 (中国)
Login
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.