MASTECS: The first solution consisting of a service and software analysis tools, capable of handling the complexity of multicore
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