It has been a long and productive year for the MASTECS project. During 2020, all project partners cooperated towards the definition of the 'Technical and Commercialization' objectives of the project with a view to moving MASTECS multicore processor timing analysis (MTA) to  Technology Readiness Levels (TRL) 8, increasing end-customer acceptance, and capturing other requirements emerging from the automotive and avionics domains, the main target domains in the project.

More specifically, BSC and Rapita Systems have sensibly improved the Multicore Micro-Benchmark and RVS technologies respectively, also increasing their automation and mutual integration. MASTECS industrial partners, RTRC and Marelli, have prepared the avionics and automotive case studies. These two elements (the MASTECS toolchain and the case studies) are the basis to start with the early evaluation of the proposed technologies on representative industrial scenarios, which is the main task in the next phase of the project. As a complementary objective, the consortium has been also working on the identification and formalization of the certification elements to be provided along with the MTA toolchain.

Moreover, the MASTECS video has been created and launched for viewers to delve into the European project that will bring to the market innovative and exploitable technology for verification of software running on multicore processors. 

The video provides a walkthrough on how the MASTECS project brings together experts that have been investigating answers to questions about handling the complexity of multicores for many years and how they now have developed verification tools that will be integrated and matured in the project. These tools will be used by critical embedded software industries (focusing on automotive and avionics) to support advanced software functions (such as autonomous driving), which are competitive factors in every new product.

In a nutshell, MASTECS will enable the use of advanced software functionalities in critical systems with evidence of correct behavior.

As shown in the video, the potential benefits for society from automating critical functionalities are huge and include:

  • Safer roads, skies, and airports preventing 90% of collisions per year.
  • Dramatic reduction, up to 80%, of CO2 profile of different types of vehicles.
  • Improved quality of life by reducing the time people spend driving or waiting for flight delays, and making cars.
  • Improved quality of life by reducing the time people spend driving or waiting for flight delays, and making cars and commercial flights accessible to people that would be otherwise excluded for disability/economic reasons.

Watch the video here.

Also, find the video on: