This kind of services are specifically provided by exida Development
exida can provide a full outsourcing support for all the steps of the service/product implementation: starting from the specification and requirements, we can engineer, design, develop, implement, and verify it.
exida can also provide a partial outsourcing support, limited to a specific step of the whole service/product implementation life cycle.
As a refence, you may see here the list of the patents exida development (in the person of its CTO, Dr. Dallara) can count:
WO2020012108A1 – Method for controlling a steering system with two redundant power units (filed 2018, published 2020 – Jtekt Europe S.a.s.).
WO FR3074759B1 – Method for controlling a steering system with two redundant motorizations (Filed 2017, published 2019 – Jtekt Europe S.a.s.).
US20150057908 – High diagnosability, quality managed-compliant integrated circuit for implementing ASIL B-compliant automotive safety-related functions (filed 2014, granted 2014 (9677480) – exida Development S.r.l, Magneti Marelli S.p.a.).
US20140125450 – Apparatuses, system and process for the personal protection (filed 2011; granted 2016 – Dainese S.p.A.).
WO1998040833A1 – Automated formal verification analysis of complex hardware circuits (filed 1997, published 1998 – Advanced Bytes & Rights Limited)