Skip to main content
European Commission logo
English English
CORDIS - EU research results
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Article Category

Content archived on 2023-04-17

Article available in the following languages:

EN

MASTECS: The first solution consisting of a service and software analysis tools, capable of handling the complexity of multicore

The MASTECS European project will bring to the market innovative and exploitable technology for verification of software running on multicore processors. In particular, the MASTECS project brings together experts who have been investigating a technological solution within this context for many years.

MASTECS is a European project that will bring to the market innovative and exploitable technology for verification of software running on multicore processors. In particular, MASTECS project brings together experts from the Barcelona Supercomputing Center (BSC), Rapita Systems Ltd (RPT), Raytheon Technologies (RTRC), and Marelli Europe (MAR) who have been investigating answers to these questions for many years. BSC and Rapita have been developing verification tools that will be integrated and matured in MASTECS and which MASTECS will help to be rolled out across the aerospace and automotive industries. 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. MASTECS will enable the use of advanced software functionalities in critical systems with evidence of correct behavior. 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 and commercial flights accessible to people that would be otherwise excluded for disability/economic reasons. Watch the video: https://www.youtube.com/watch?v=gNjwqwPTEiU For further information, visit the MASTECS website: https://mastecs-project.eu/

Keywords

Embedded, multicore, h2020

Related articles