Francisco Javier Cazorla Almeida

Mixed-Criticality Cyber-Physical Systems (MCCPS) deployed in critical domains like automotive and railway are starting to use Over The AirSoftware Updates (OTASU) for functionality improvement, bug fixing, and solving security vulnerabilities (among others). But, OTASU entailsseveral difficulties:

1) Safety including non-functional properties like...

The current HPC facilities will need to grow by an order of magnitude in the next few years to reach the Exascale range. The dedicated middleware needed to manage the enormous complexity of future HPC centers, where deep heterogeneity isneeded to handle the wide variety of applications within reasonable power budgets, will be one of the most critical aspects in the evolution...

Computers increasingly intervene in critical aspects of our life related to health, safety, and security, resulting in (critical) software controlling functionalities or services with humans in the loop. This trend towards critical-function digitization brings huge benefits for society and rests two pillars: the use of high-performance parallel hardware as the only viable option to cover the...

New safety standards, such as ISO 26262, present a challenge for companies producing safety-relevant embedded systems. Safety verification today is often ad-hoc and manual; it is done differently for digital and analogue, hardware and software.

The VeTeSS project developed standardized tools and methods for verification of the robustness of...