TEC-ED & TEC-SW Final Presentation Day - May 2018

Wednesday 9 May 2018, 08:30 → 17:40 Europe/Amsterdam

Einstein (ESA/ESTEC)

The Software Systems Division (TEC-SW) and Data Systems Division (TEC-ED) Final Presentation Day is scheduled on Wednesday 9 May in conference room Einstein (ESA/ESTEC, The Netherlands)

All material presented at the workshop must, before submission, be cleared of any restrictions preventing it from being published on this web-site.

08:30 → 09:00 Registration

Speaker: Kathleen Gerlo (ESA/ESTEC - Software Systems Division)

Introduction 0855_-_Introduction.pdf

09:00 → 09:50 Pre-Qualification of a Mathematical Library for Flight Software

Speaker: Mr Andoni Arregui (GTD GmbH)

Abstract 1650_Arregui.pdf

Presentations 0900a_-_TO_Introduction.pdf 0900b_-_Arregui.pdf

09:50 → 10:40 Robust Design Optimisation

Speaker: Dr Mariapia Marchi (Esteco)

Abstract 0950_Marchi.pdf

Presentation 0950b_-_Marchi.pdf

10:40 → 11:00 Coffee Break

11:00 → 11:50 Optimized multicore implementation and benchmarks for on-board image compression algorithm - on dedicated space HW

Speakers: Mr Marius Olaru (Enea Services Romania SRL), Mr Valentin Picos (Enea Services Romania SRL)

Abstract 1100_Picos.pdf

Presentations 1100a_-_TO_Introduction.pdf 1100b_-_Picos_&_Olaru.pdf

11:50 → 12:40 iSAFT PVS With Time Triggered ethernet Capabilities

Speaker: Mr Fotis Kostopoulos (Teletel)

Abstract 1150_Kostopoulos.pdf

Presentations 1150a_-_TO_Introduction.pdf 1150b_-_Kostopoulos.pdf

12:40 → 14:00 Lunch Break

14:00 → 14:50 MARVL - Model-based requirements-verification lifecycle

Speaker: Mr Merlin Bieze (RHEA System)

Abstract 1400_Bieze.pdf

Presentation 1400b_-_Bieze.pdf

14:50 → 15:40 OSRA-Net - A new network paradigm for the On-Board Reference Architecture

Speaker: Dr Marco Panunzio (Thales Alenia Space - France)

Abstract 1450_Panunzio.pdf

Presentation 1450b_-_Panunzio.pdf

15:40 → 16:00 Coffee Break

16:00 → 16:50 Tools for fast simulation of very complex System-on-Chip

Speaker: Mr Sven Alexander Horsinka (NPI Student)

Abstract 1600_Horsinka.pdf

Presentations 1600a_-_TO_Introduction.pdf 1600b_-_Horsinka.pdf

16:50 → 17:40 PATAS - Quality Assurance in Model-Driven Software Engineering for Spacecraft

Speaker: Mr Kilian Höflinger (DLR)

Abstract 1650_Hoeflinger.pdf

Presentations 1650a_-_TO_Introduction.pdf 1650b_-_Hoeflinger.pdf