Research

Oxford University Innovation Ltd (OUI) is the technology transfer company of the University of Oxford. One of its key activities 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.Visit website

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.Visit website

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.Visit website

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.Visit website

The ATLAS-L4 (Automated Transport between Logistics centres on highways, Level 4) research and development project combines expertise from industry, scientific research and infrastructure operators in hitherto unique ways to create an integrated approach to the operation of autonomous vehicles on public motorways and highways. ATLAS-L4 intends to demonstrate that the use of Level-4-automated and thus driverless vehicles on the highway is feasible, laying the foundation for innovative transport and logistics concepts. The project makes direct use of the new opportunities opened up by the legislation on autonomous driving passed in 2021, in which Germany is set to hold a worldwide pioneering position. In this way, ATLAS-L4 contributes both to the future-proof design of road freight transport and to strengthening Germany as a business location.Project partners: MAN Truck & Bus SE, Knorr-Bremse AG, Leoni AG, Robert Bosch Automotive Steering GmbH, FERNRIDE GmbH, Fraunhofer-Institut für Angewandte und integrierte Sicherheit AISEC, Technische Universität München, Technische Universität Braunschweig, TÜV SÜD, Autobahn GmbHVisit project website

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.Project partners: Continental, Bosch, Valeo, Altran, AVL, EFS, DLR, Fortiss, Fraunhofer, OFFIS and moreVisit project website

BTC Embedded Systems is a member of the industrial advisory board of the Step-Up!CPS project.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 GmbHVisit project website

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.Project partners: Denso, Toyota, Renault, Valeo, Magneti Marelli, Airbus, DLR, IBM, Thales and many moreVisit project website

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 provides a seamless engineering methodology, which addresses this roadblock on the constructive and analytical side.Project partners: Airbus, Daimler, Scania, Bosch, Sagem, Snecma, MES, OFFIS and many moreVisit project website

The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Whereas Symbolic 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. This project initiated a wide range of activities to bring the two communities together, enabling the development of radically improved software tools.Project partners: University of Oxford, University of Freiburg, University of Oldenburg, Maplesoft, Microsoft Research and many moreVisit project website

ARTEMIS project MBAT provides European industry with a new leading-edge V&V technology in the form of a Reference Technology Platform (MBAT RTP) that enables the production of high-quality and safe embedded systems at reduced cost in terms of time and money. This is made possible by a new and very promising approach in which model-based testing technologies are combined with static analysis techniques.Project partners: Daimler, Airbus, AVL List, EADS, Siemens, Thales Aleniaspace, Volvo and many moreVisit project website

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 brings significant and conclusive innovations in two systems engineering disciplines: requirement engineering, in particular through formalization of multi-viewpoint, multi-criteria and multi-level requirements; and component-based engineering, applied to design-space exploration comprising multi-view, multi-criteria and multi-level architectural trade-offs.Project partners: Airbus, ABB, AbsInt, Astrium, Delphi, EADS, Infineon, Siemens, Volvo and many moreVisit project website

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/Stateflow 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.Project partners: University of Oldenburg, University of Freiburg, SICK AG