79 results found Selected 0 items No itemsClear selection Select / deselect all results (all pages, 79 total) Model Checking for Formal Verification of Space Systems Interest for MBSSE (Model-based system and software engineering) is growing as the complexity of missions becomes difficult to manage with traditional development approaches. ; Existing technology allows to address a large spectrum of the MBSSE scope, from data modelling to automatic code generation. However, much more concrete and quantifiable benefits shall come from automated system verification and testing. ; Poland TDE T702-601SW N7 Space 2020 - 2022 Model Checking for Formal Verification of Space Systems GNC System Framework for Re-usable Space Transportation Systems Novel GNC systems are based on on-board real-time optimized GNC systems to enable safe ascent, agile manoeuvring as well as ultraprecise stage landing on ships and ground. Modern space transportation and future exploration systems will be re-usable to contribute in reducing mission costs, while improving reliability, safety and performance. This activity shall establish novel GNC architectures and systems implementing Real-time Optimised GNC system for reliable and fault tolerant ascent flight, precise orbital guidance and control as well as for precision entry descent and landing. Switzerland TDE T405-601SA EMBOTECH AG 2020 - 2022 GNC System Framework for Re-usable Space Transportation Systems On-Board Anomaly Detection From The Ops-Sat Telemetry Using Deep Learning Detecting anomalies from satellite telemetry is critical for the safe operation of that satellite. Although many approaches to autonomous onboard anomaly detection have already been proposed, most of them have so far only been tested on non-satellite or simulated data. This activity tackled this research gap and proposed an end-to-end machine learning-powered approach for detecting abnormal events in real-life OPS-SAT telemetry data, and deployed it on board a satellite. Poland Discovery 21-D-S-OPS-02-f KP Labs 2022 - 2022 On-Board Anomaly Detection From The Ops-Sat Telemetry Using Deep Learning Artificial Intelligence Techniques in On-Board Avionics and Software There are problems that cannot be solved by traditional algorithmic solutions, especially in the Control domain. They require non-linear adaptive algorithms. Neural Network is one of them. Portugal TDE T301-602SW DEIMOS ENGENHARIA S.A. 2019 - 2022 Artificial Intelligence Techniques in On-Board Avionics and Software Preparation of enabling space technologies and building blocks: GNSS-based localization means for safeguard The main objective of the project was to select the right IMU for our Future GNSS Receiver Unit (GRU). Two IMU were selected from their datasheet : µ-UMI-IC-HP from Litef and STIM318 from Sensonor. These 2 IMU were submitted to hard characterization tests applicable to our Launchers (and HAPS) application. Belgium GSTP GT17-137TIj THALES ALENIA SPACE BELGIUM 2019 - 2022 Preparation of enabling space technologies and building blocks: GNSS-based localization means for safeguard Versatile Data Compression Software For Sustained High-Throughput In-Orbit Data Acquisition This activity developed high-performance data compression software with embedded data analysis features for radio-frequency, multi-band images and video. It offers excellent compression ratios and quality levels with very small computing requirements, which even allow for real-time operation on modest processors. Tests on data from ESA's OPS-SAT satellite reveal image ratios over 1:10 with excellent visual quality, and radio-frequency ratios over 1:3 with nearly identical spectrograms thanks to a smart lossy approach. Spain Discovery 21-D-S-OPS-02 DAPCOM Data Services 2022 - 2022 Versatile Data Compression Software For Sustained High-Throughput In-Orbit Data Acquisition Optical and SAR data and system Integration for Rush Identification of Ship models ? Follow-On (OSIRIS-FO) THE OSIRIS prototype provides an integrated open-source platform for exploiting remote sensing satellite images, in combination with AIS data, to perform ship identification and classification, analysis of ship kinematic and behavior, and ship route prediction. The proposed activity shall address the improvement of the following OSIRIS processing modules: ; Ship Detection: Reduce the processing time; ; Italy GSTP GT11-031EO MAPSAT TELERILEVAMNETO MEDITERRANEAO SRL 2020 - 2022 Optical and SAR data and system Integration for Rush Identification of Ship models ? Follow-On (OSIRIS-FO) Advances in Technological Quantum Optics Commonly used classical cryptographic protocols, such as the RSA-protocol, rely on the hardness of computational problems. With the advent of quantum computing (QC), the hardness assumptions of these problems is nullified, since they can be solved efficiently on a QC. On the other hand, the security of Quantum key distribution (QKD) rests upon the very laws of physics and guarantees information-theoretic security, which not only enables tap-proof communication at present, but also prevents any future technology to crack encrypted messages. Austria Discovery 21-D-O-TEC-01 AUSTRIAN ACADEMY OF SCIENCES 2021 - 2022 Advances in Technological Quantum Optics System Engineering Models meet Knowledge Graphs Tables and graphs are knowingly used to organise data within a company with different levels of depth and complexity. Knowledge graphs (KGs) are particularly useful because they can cope with data diversity (high-quality complete data and sparse and incomplete data), they have a high degree of scalability and flexibility (the semantic data model can be inter-operational, large, wide and as deep as needed) and, last but not least, they provide reasoning and inference capabilities. UK Discovery 20-D-S-TEC-04-a UNIVERSITY OF STRATHCLYDE 2022 - 2022 System Engineering Models meet Knowledge Graphs DEEPCUBE The goal of the project was to develop a service as a product to simplify fitting DNN (Deep Learning Neural Networks) in on board HW to make better use of AI on space missions The role of the service is to support data processing engineers in reducing HW resources requirement of powerful DNN for image analysis to be executed onboard. France GSTP GT27-048ED Agenium Space 2020 - 2022 DEEPCUBE Pagination « First First page ‹‹ Previous page 1 2 3 4 5 6 7 8 ›› Next page Last » Last page Filter by Programme GSTP (38) TDE (23) Discovery (17) Preparation (1) Filter by Start Year 2022 (16) 2020 (11) 2018 (8) 2019 (8) 2021 (8) 2016 (7) 2023 (5) 2013 (4) 2011 (3) 2014 (3) 2017 (3) 2015 (2) 2012 (1) Filter by End Year 2023 (16) 2024 (14) 2021 (12) 2022 (12) 2019 (7) 2014 (4) 2015 (4) 2018 (4) 2020 (3) 2013 (1) 2016 (1) 2017 (1) Filter by Keywords 2-Space System Software (5) 26-Spacecraft Avionic System (4) 30-Deep Sub Micron Development (2) 48-Cybersecurity (2) MBSE (2) OPS-SAT (2) 1-Avionics and Processing (1) 3-Platforms / Others (1) 3-Space Segment - Payload (1) 32-Clean Space (1) 40-Design to Produce (1) 49-Artificial Intelligence (1) AI (1) anomalies detection (1) Augmented Reality (1) Autonomy (1) CDF (1) Communication (1) compilation (1) cryptographic protocols (1) data compression (1) DeepCube (1) Envision (1) FDIR (1) image compression (1) knowledge graphes (1) Mars (1) Mission (1) on-board anomaly detection (1) optimal control (1) quadrocopters (1) quantum computer (1) quantum computing (1) Quantum Encryption (1) quantum operations (1) Quantum Optics (1) RF compression (1) Security (1) smart lossy (1) system engineering models (1) Venus (1) video compression (1) VR (1) XR lab (1) Filter by Contractor GMV AEROSPACE AND DEFENCE, SA (6) SPACEBEL SA. (5) N7 Space (3) Airbus Defence and Space GmbH (2) AIRBUS DEFENCE AND SPACE LIMITED (2) DEIMOS ENGENHARIA S.A. (2) DLR - German Aerospace Center (2) GMVIS SKYSOFT S.A. (2) INDRA SISTEMAS (2) MAPSAT TELERILEVAMNETO MEDITERRANEAO SRL (2) SCISYS UK Ltd (2) SPACE APPLICATIONS SERV. S.A./N.V. (2) TERMA A/S (2) Thales Alenia Space (2) THALES ALENIA SPACE FRANCE (2) UNIVERSITE DU LUXEMBOURG (2) Agenium Space (1) ASTOS SOLUTIONS GMBH (1) Ateleris (1) AUSTRIAN ACADEMY OF SCIENCES (1) CGI EESTI AS (1) CITY, UNIVERSITY of LONDON (1) DAPCOM Data Services (1) Dr. Rainer Gerlich BSSE System and Software Engineering (1) EMBEDDED BRAINS GMBH (1) EMBOTECH AG (1) ENEA SERVICES ROMANIA (1) EVERIS SPAIN, SLU (1) EVOLVING SYSTEMS CONSULTING S.R.O. (1) Fondazione ACROTEC (1) FRONTGRADE GAISLER AB (1) GMV (1) GTD GMBH (1) IBM Research GmbH (1) ISTC-CNR (1) KP Labs (1) PLANETEK ITALIA SRL (1) POLITECNICO DI MILANO (1) POWER SMART CONTROL SL (1) S.A.T.E. SRL (1) SENER Aeroespacial (1) SENER AEROESPACIAL, S.A. (1) Sirin Orbital Systems AG (1) SISTEMA GMBH (1) SKYTEK (1) STEEL ELECTRONIQUE (1) SYSGO GmbH (1) TELETEL SA (1) THALES ALENIA SPACE BELGIUM (1) THALES ALENIA SPACE ESPANA (1) THALES ALENIA SPACE ITALIA SPA (1) TU DELFT (1) UNIV BOLOGNA ALMA MATER STUDIORUM (1) UNIVERSITY OF STRATHCLYDE (1) Viking Software A/S (1) Filter by Country Spain (14) Italy (10) Germany (9) Belgium (8) France (6) Poland (4) Portugal (4) Switzerland (4) United Kingdom (4) Denmark (3) Austria (2) Luxembourg (2) UK (2) Czech Republic (1) Estonia (1) Greece (1) Ireland (1) Romania (1) Sweden (1) The Netherlands (1) Filter by Application Domain Generic Technologies (46) Earth Observation (13) GEN-Generic Technologies (8) Exploration (4) EXP-Exploration (3) Telecommunications (3) Space Science (1) Space Transportation (1) Filter by Technology Domain 1 - On-board Data Subsystems (19) 5 - Space System Control (12) 8 - System Design & Verification (10) 9 - Mission Operation and Ground Data Systems (10) 10 - Flight Dynamics and GNSS (8) 6 - RF Subsystems, Payloads and Technologies (4) 13 - Automation, Telepresence & Robotics (4) 25 - Quality, Dependability and Safety (4) 4 - Space Systems Environments and Effects (3) 12 - Ground Station Systems and Networks (3) 17 - Optoelectronics (3) 7 - Electromagnetic Technologies and Techniques (2) 11 - Space Debris (2) 16 - Optics (2) 20 - Structures (2) 21 - Thermal (2) 1-On-board Data Subsystems (1) 3 - Space Systems Electrical Power (1) 15 - Mechanisms (1) 18 - Fluid Dynamics (1) 19 - Propulsion (1) 23 - Electrical, Electronic and Electro-mechanical (EEE) Components and Quality (1) 24 - Materials and Manufacturing Processes (1) (-) 2 - Space System Software (79) Filter by Competence Domain 3-Avionic Systems (45) 9-Digital Engineering (18) 8-Ground Systems and Mission Operations (5) 5-Radiofrequency & Optical Systems and Products (3) 6-Life & Physical Science Payloads, Life Support, Robotics & Automation (3) 1-EEE Components, Photonics, MEMS (2) 2-Structures, Mechanisms, Materials, Thermal (2) 10-Astrodynamics, Space Debris and Space Environment (2) 4-Electric Architecture, Power and Energy, EMC (1) 7-Propulsion, Space Transportation and Re-entry Vehicles (1) Filter by Activity Status Closed (74) Contracted (5)