Скачать или смотреть MASTECS "the first solution 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, MASTECS project brings together experts who have been investigating a technological solution within this context for many years. The results of their efforts have been the development of verification tools, integrated, and matured in MASTECS to then 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.
The consortium is composed of 4 partners: BSC, Rapita Systems, Raytheon Technologies and Marelli.
For more information, visit: https://mastecs-project.eu/