BTC EMBEDDED systems

Research

We believe that continuous effort in research and innovation is a key factor for success in the quickly changing embedded world.

Research

Innovative through research

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.

Partners

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.

OFFIS

“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, society, health, and production.”

DLR Institute of Systems Engineering for Future Mobility

The DLR Institute of Systems Engineering for Future Mobility located in Oldenburg is researching methods for developing and assessment of automated and autonomous traffic systems. The focus is on the development of new efficient methods and tools of systems engineering for the proof of functionality (verification) and practicability (validation) as well as the further development of trustworthy systems.

Institute of Automatic Control of Leibniz University Hannover

The work at the Institute of Automatic Control is dedicated to the development of modern methods of control engineering and their application in various fields, particularly in medical technology, systems medicine and robotics. Optimization-based control and estimation methods, nonlinear systems and control theory, as well as distributed and learning control systems are of particular interest.

Projects

ATLAS-L4

KI Wissen

Step-Up!CPS

Enable-S3

ASSUME

SC2

MBAT

CESAR

DeCoDe

Our Partners

Efficient tool chains require close collaboration

针对Simulink模型和量产代码的测试解决方案

Use Cases

Supported Environments

产品

针对 ADAS/AD 虚拟验证的挑战

针对Simulink模型和量产代码的测试解决方案

Use Cases

Supported Environments

产品

针对 ADAS/AD 虚拟验证的挑战

BTC EMBEDDED systems

Research

Research

Innovative through research

Partners

Projects

Our Partners

产品

公司

新闻

知识库

联系

产品

公司

新闻

知识库

联系