We believe that continuous effort in research and innovation is a key factor for success in the quickly changing embedded world. Therefore, BTC Embedded Systems was and continues to be active in different research projects and partnerships. By involving universities and research institutes, as well as industry members from fields such as automotive or aerospace, these collaborations serve as a great example of what BTC Embedded Systems has stood for from the beginning: Bridging the gap between the academic world and industrial projects in order to have a disruptive impact on the quality and efficiency of embedded systems development.


Oxford University Innovation Ltd

Oxford University Innovation Ltd (OUI) is the technology transfer company of the University of Oxford. One if its key actitivitys is the provision of technical and scientific consulting services to external organizations through the expertise of academics in the University. OUI has provided consulting services to BTC Embedded Systems AG in the field of CBMC bounded model checker for C programs through Prof Daniel Kroening and his colleagues from the Department of Computer Science.


“As an associated institute of the Carl von Ossietzky University in Oldenburg, OFFIS has, since its formation in 1991, converted scientific know-how from computer science into prototypes which are then developed further into marketable products by commercial partners. Hereby, OFFIS provides research and prototype developments for companies and institutions  – and this at the highest international level. OFFIS is organized in three application-oriented research and development divisions: Energy, health, and transportation.”


KI Wissen

Timeframe: 2021 - 2023

Project Partners: Continental, Bosch, Valeo, Altran, AVL, EFS, DLR, Fortiss, Fraunhofer, OFFIS and more


"In the research project KI Wissen, methods for the integration of existing knowledge into the data driven AI functions of autonomous vehicles are developed and examined. The aim is to create a comprehensive ecosystem for integrating knowledge into training and securing AI functions."


BTC Embedded Systems is a member of the industrial advisory board of the Step-Up!CPS project.

Timeframe: 2018 - 2021

Members: FZI, Universität Oldenburg, OFFIS, DLR, KIT, SafeTRANS

Industrial Advisory Board: AVL LIST GmbH,BTC Embedded Systems AG, Denso Automotive Deutschland GmbH,
DNV-GL Maritime Class Development, IAV GmbH Ingenieurgesellschaft Auto und Verkehr, NXP Semiconductor Germany GmbH,
Vector Informatik GmbH 



Timeframe: 2016 -2019

Project partners: Denso, Toyota, Renault, Valeo, Magneti Marelli, Airbus, DLR, IBM, Thales and many more


“Highly automated and autonomous systems in different domains (automotive, aerospace, rail, maritime, health care and farming) are all basically facing the same challenges. Exploding complexity, or a nearly infinite number of possible environmental scenarios that require consideration are just a few of them. The ENABLE-S3 consortium combines experts from six different domains with tool suppliers and academia in order to cope with the main testing challenges.”


Timeframe: 2015 -2018

Project partners: Airbus, Daimler, Scania, Bosch, Sagem, Snecma, MES, OFFIS and many more


“Future mobility solutions will increasingly rely on smart components that continuously monitor the environment and assume more and more responsibility for a convenient, safe and reliable operation. Currently, the single most important roadblock for this market is the ability to come up with an affordable, safe multi-core development methodology that allows industry to deliver trustworthy new functions at competitive prices. ASSUME will provide a seamless engineering methodology, which addresses this roadblock on the constructive and analytical side.”


Timeframe: 2016 – 2018

Project partners: University of Oxford, University of Freiburg, University of Oldenburg, Maplesoft, Microsoft Research and many more


The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Whereas sSymbolic Computation is concerned with the algorithmic determination of exact solutions to complex mathematical problems, more recent developments in the area of Satisfiability Checking tackle similar problems but with different algorithmic and technological solutions. Currently the two communities are largely disjointed and unaware of the achievements of the other. This project initiated a wide range of activities to bring the two communities together. Combining the knowledge, experience and  technologies of these communities will enable the development of radically improved software tools.


Timeframe: 2011 – 2014

Project partners: Daimler, Airbus, AVL List, EADS, Siemens, Thales Aleniaspace, Volvo and many more


“ARTEMIS project MBAT provides European industry with a new leading-edge V&V technology in form of a Reference Technology Platform (MBAT RTP) that will enable the production of high-quality and safe embedded systems at reduced cost in terms of time and money. This will be made possible by a new and very promising approach in which model-based testing technologies will be combined with static analysis techniques.”


Timeframe: 2009 – 2012

Project partners: Airbus, ABB, AbsInt, Astrium, Delphi, EADS, Infineon, Siemens, Volvo and many more


The embedded safety-critical systems design and development industry is facing increasing complexity and a variety of systems and devices, coupled with growing regulatory constraints while costs, performance and time to market are constantly challenged. CESAR will bring significant and conclusive innovations in the two most improvable systems engineering disciplines:

-Requirement engineering in particular through formalization of multi viewpoint, multi criteria and multi level requirements, 

-Component based engineering applied to design space exploration comprising multi-view, multicriteria and multi level architectural trade-offs.


Project Partners: University of Oldenburg, University of Freiburg, SICK AG

“The transfer project DeCoDe aims at the efficient and precise detection of dead code in reactive, control-oriented and floating--point dominated C programs. This includes especially those derived from Simulink/Statefow models of embedded control applications via automatic C-code generation as well as  those hand-coded according to guidelines as imposed in the embedded domain.”