How can I create the needed millions of scenarios?
How can I avoid the test explosion problem?
How can I find out if my tests are passed or failed?
How can I create the needed millions of scenarios?
How can I avoid the test explosion problem?
How can I find out if my tests are passed or failed?
BTC Embedded Systems was founded in Oldenburg/Germany in 1999.
We started with an ambitious goal: To take complex and powerful mathematical verification and test methods out of their academic hiding place, and make them available for real-life model-based software development projects.
We still feel dedicated to this goal and with a global presence and over 200 employees, we proudly look back on 20 years of technological market leadership in areas like formal verification, model checking and automatic test generation.
Today, our ISO 26262 certified products are used by car makers and suppliers world-wide for the automated test and verification of safety critical embedded software.
Dr. Udo Brockmeyer studied Computer Science at the Carl v. Ossietzky University of Oldenburg and graduated with a diploma in 1995. He went on to work in the Research Institute OFFIS e.V. on Formal Methods and achieved his Doctorate in computer science in 1999. In 2001 he joined BTC Embedded Systems AG as a project manager. He has been CEO there since 2005. He has also been on the board of BTC Japan Co., Ltd. since 2007, on the board of BTC Embedded Systems România SRL since 2015, on the board of BTC Software Technology (Shanghai) Co., Ltd. and BTC Embedded Systems Inc. since 2017. Furthermore, Dr. Udo Brockmeyer became an IBM Champion for Rational Software from 2013.
Hans J. Holberg studied Computer Science at the University of Oldenburg, finishing his Diploma in 1995. He went on to work in the Research Institute OFFIS on Formal Methods and Automatic Test- and Validation Technology to support the Model Based Development Process of the Automotive and Aerospace Industry. In 2000, he became Consulting Director of pioneer Formal Methods Tool Vendor BTC Embedded Systems. From there, he went on to spend 9 years in charge of Marketing & Sales as Senior Vice President, as well as the responsible Representative Director of BTC Japan Co. Ltd. Since the beginning of 2016, he’s served as Chief Sales Officer (CSO) of BTC Embedded Systems AG.
Dr. Tom Bienmüller graduated in Computer Science with a diploma in Hardware Design from Carl v. Ossietzky University of Oldenburg in 1997. He received his doctoral degree in 2003 with a dissertation on the optimization of symbolic model checking in reactive systems testing. In the same year he came to BTC Embedded Systems AG, where he was in charge of product development and built up the newly established Automotive Services department. He is now responsible for the development and implementation of our product visions in the context of autonomous driving. Since 2017 he has also been on the board of BTC Embedded Systems România SRL
Ralf Sanders studied Electrical Engineering with specialization in Computer Science at the University of Applied Science in Wolfenbüttel. He completed his Diploma in 1992, after which he worked as Hardware / Software developer and Project Leader in the area of Safety related Heating Appliances. In 2005, he moved to BTC Embedded Systems as Senior Consultant and Senior Project Leader. Since 2013, he is responsible for the Automotive Services business unit of BTC Embedded Systems.
Markus Gros studied Mechatronics at the University of Darmstadt and at the Universidad Politecnica de Catalunya in Barcelona. After his Diploma in 2007, he began working for dSPACE in Paris where he provided support, trainings and consulting to French customers in the Automotive and Aerospace Domain for topics including model based development, automatic code generation, AUTOSAR and ISO 26262. In 2012, he joined BTC Embedded Systems AG where he is today responsible for global marketing & sales activities. Since the beginning of 2019, he also serves as President of our US daughter company BTC Embedded Systems Inc. in Detroit.
Dr. Tino Teige holds a Diploma degree in Theoretical Computer Science from University of Rostock since 2005. From 2005 to 2012 he was a research assistent at the University of Oldenburg mainly working on formal methods. He received a doctoral degree in Computer Science in 2012 with a dissertation about verification of probabilistic systems. Since 2012 Dr. Tino Teige is with BTC Embedded Systems AG where he currently acts as Chief Research Director and Head of the Innovation & Technology Department, the latter being responsible for the application of formal methods in an industrial setting. In 2013 he was a visiting researcher at the University of Oxford.
Dr. Stefan Häusler studied Computer Science at the Carl v. Ossietzky University of Oldenburg and graduated with a diploma in 2006. He went on to work in the Research Institute OFFIS e.V. on Process Analysis and -optimization and achieved his Doctorate in computer science in 2012. In the same year he came to BTC Embedded Systems AG and worked in various positions as Product Manager, Product Owner and Technical Lead. Since 2021, he is responsible for the Products business unit of BTC Embedded Systems.
In his professional career, Robin Buchtmann has advised many SMEs and corporations on the implementation of innovative business ideas and attractive business models. As a computer scientist and business economist, he has developed software-as-a-service solutions from the ground up to market maturity and has held leading positions in various areas of the marketing and digital economy in an international environment. Since 2022, he is responsible for the Scenario Platform business unit of BTC Embedded Systems AG.
Currently BTC Embedded Systems AG has locations in Oldenburg, Berlin, Tokyo, Shanghai, Detroit, Paris, and Timisoara, and is part of the “BTC Group” led by the BTC Business Technology Consulting AG.
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 software development.
Today, embedded software development projects rely on complex toolchains, combining tools from different vendors for use cases like requirements management, function development or testing.
In a world of growing software complexity and agile processes, an efficient integration between these tools is key to success.
And this is exactly the benefit our long-standing partnerships with companies such as dSPACE, IBM or Siemens provide for our customers.
Find the right contact person, no matter where you are located!
We provide intelligent and automated test solutions which enable our customers to deal with the growing complexity of embedded software while achieving high quality in compliance with the ISO 26262 standard.
Copyright © 2024 BTC Embedded Systems