Developing analysis tools for embedded critical systems
Specifically, this technology will support the production of evidence of the timing behaviour of software running on multicore systems. MASTECS’s focus will primarily be on the avionics and automotive sectors, where the use of multicore processors is required to support increasingly complex software-controlled functionalities.
The MASTECS approach builds on the Barcelona Supercomputing Center’s (BSC) Multicore microbenchmark technology (MµBT) and the Rapita Verification Suite (RVS), developed by Rapita Systems. These technologies have already been integrated into a TRL6 Multicore Timing Solution (MTS), which is currently being deployed in several commercial pilot studies with aerospace and automotive tier 1 suppliers.
MASTECS aims to increase the TRL of the MTS from TRL6 to TRL8 by improving automation, certification, and qualification aspects. Case studies in the automotive (Marelli Europe) and avionics (United Technologies Research Centre Ireland – UTRC Ireland) domains will provide evidence on the industrial applicability and on the effectiveness of the developed MTS technology.
The technology delivered as part of MASTECS will be commercialised in the emerging market of autonomous systems. This technology will provide solutions for the automation of testing and the verification of the software’s execution times in multicore processors, following avionics and automotive regulations and safety standards (DO-178C (CAST-32A) and ISO 26262).
MASTECS benefits from a €2.5 million budget, of which €1.99 million is directly funded by the European Union. In order to reach its goals, MASTECS brings together four EU partners: BSC (Spain), as coordinator and expert on multicore hardware and Rapita Systems (United Kingdom), as provider of a consolidated on-target verification toolsuite. Marelli Europe (Italy) and UTRC (Ireland) will contribute with representative use cases and domain-specific qualification and certification requirements, which are necessary to steer the project towards industrial requirements and to assess the feasibility of the proposed solutions. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 878752.
Barcelona Supercomputing Center – www.bsc.es
Rapita Systems – www.rapitasystems.com
More about MASTECS
If you enjoyed this article, you will like the following ones: don't miss them by subscribing to :
