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.

Partnerships

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.

http://innovation.ox.ac.uk/

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, health, and transportation.”

http://www.offis.de/

SafeTRANS

Members: AbsInt, Airbus, AVL, Bosch, Daimler, DLR, Hella, Safran, Siemens and others

“SafeTRANS ("Safety in Transportation Systems") is a Competence Cluster combining research and development expertise in the area of complex embedded systems in transportation systems. SafeTRANS drives research in human centered design, in system and software development methods for embedded systems, as well as in safety analysis and - for avionics and rail - its integration in certification processes, driven by a harmonised strategy addressing the need of the transportation sector. Industrial partners from all application domains; Automotive, Avionics and Railway Systems, participate in SafeTRANS.”

http://www.safetrans-de.org

Projects

Enable-S3

Timeframe: 2016 -2019

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

Website: www.enable-s3.eu

“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.”

ASSUME

Timeframe: 2015 -2018

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

Website: https://itea3.org/project/assume.html

“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.”

SC2

Timeframe: 2016 – 2018

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

Website: http://www.sc-square.org/CSA/welcome.html

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.

MBAT

Timeframe: 2011 – 2014

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

Website: http://www.mbat-artemis.eu/home/

“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.”

CESAR

Timeframe: 2009 – 2012

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

Website: https://artemis-ia.eu/project/1-cesar.html

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.

DeCoDe

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.”