Projects

The number and diversity of embedded FPGA SoC (System On Chip) in modern satellites is increasing and so it is the complexity and cost to use them efficiently and safely. With the emergence of these platforms, software architects and developers are facing increasingly difficult challenges to (i) optimize the deployment of software to efficiently use the available resources,...

Cloud, aerosols and their interactions are key regulators of climate. However, uncertainties in the magnitude of the net cooling impact of aerosols on climate and in the cloud response to evolving anthropogenic emissions and climate change induced feedbacks on natural emissions are major challenges that limit our understanding of how global and regional climate, including...

The European Union's flagship Space programme Copernicus provides a key service to the European society, turning investments inspace-infrastructure into high-quality information products.

The Copernicus Atmosphere Monitoring Service (CAMS, https://atmosphere.copernicus.eu) exploits the information content of Earth-Observation data to monitor the...

EDITO-Model Lab will prepare the next generation of ocean models, complementary to Copernicus Marine Service to be integrated into the EU public infrastructure of the European Digital Twin Ocean (EDITO) that will ensure access to required input and validation data (from EMODnet, EuroGOOS, ECMWF, Copernicus Services and Sentinels satellite observations) and to high-performance...

Monitoring the composition of the atmosphere is a key objective of the European Union's flagship Space programme, Copernicus. The Copernicus Atmosphere Monitoring Service (CAMS) provides free and continuous data and information on atmospheric composition and the CAMS Service Evolution (CAMEO) project will enhance the quality and efficiency of the CAMS service and help CAMS to...

To support EU countries in assessing their progress for reaching their targets agreed in the Paris Agreement, the European Commission has clearly stated that an objective way to monitor anthropogenic CO2 emissions is needed. Such a capacity will deliver consistent and reliable information to support policy- and decision-making processes. To maintain Europe's independence in...

Deep Learning (DL) techniques are key for most future advanced software functions in Critical Autonomous AI-based Systems (CAIS) in cars, trains and satellites. Hence, those CAIS industries depend on their ability to design, implement, qualify, and certify DL-basedsoftware products under bounded effort/cost.There is a fundamental gap between Functional Safety (FUSA)...

Extreme climatic events, environmental degradation and socio-economic inequalities exacerbate the risk of infectious disease epidemics. We lack the evidence-base to understand and predict the impacts of extreme events and landscape changes on disease risk, leaving communities in climate change hotspots vulnerable to increasing health threats. This is in part due to a lack of...

The SSAS team has been actively working on the design, development, and analysis of embedded critical computing systems (ECCS) normally found in cars, planes, trains, satellites and medical devices. The essential concern in ECCS is that guarantees must be provided on their correctness in both the functional and temporal behavior. The former warrants that the software behaves as expected from...

MITIGATE (MonIToring and dIagnosinG ozone formATion from spacE) aims to unravel the sensitivity of surface O3 production to NOx and VOC precursors over Spain using the high-resolution TROPOMI sensor. Designed to address the aforementioned issues, the specific objectives of the project are:

• to assess the consistency between...