BTC Embedded Systems AG 提供针对于对嵌入式软件系统的形式验证，确认，以及自动测试软件工具和服务。聚焦于汽车行业, 在特别是基于模型的软件开发中，我们在全球提供经过认证的、高度自动化测试解决方案。作为BTC Business Technology Consulting AG的子公司，BTC Embedded Systems AG现有员工约160名，公司总部位于德国奥尔登堡，目前在柏林，东京，名古屋，巴黎, 上海, 底特律, 和罗马尼亚设有下属子公司。
面向于Simulink/TargetLink模型及量产代码，BTC EmbeddedTester Systems公司提供智能的，高自动化程度的，满足ISO26262要求的测试解决方案。通过高度集成的测试平台BTC EmbeddedPlatform，除了可以进行常用的功能测试（Requirement-based Testing），等效性测试（Back-to-back Testing）外，还可以进行强大的静态数学证明（Model Checking），自动生成测试用例及形式手法测试。
在高度自动化的环境下，面向于模型和量产代码进行功能测试。
包含自动测试用例生成功能，经过认证的高度自动化的等效性测试环境
如果计算机可以理解您的需求，结果会变成怎么样呢？
Proven excellence. 针对安全关键系统的证明
17. December 2021
We can confirm, that none of our BTC EmbeddedPlatform Releases is affected by CVE-2021-44228.
13. December 2021
BTC Embedded Systems and dSPACE will join the 29. SafeTRANS Industrial Day and give a talk about „10 Challenges for Validation and Homologation of Autonomous Vehicles“
10. December 2021
The new major release BTC EmbeddedPlatform 2.11 is now available. Highlights of this release include support for Simulink/Embedded Coder 2021b, new overview dashboards for a better visual summary of the project status, improved integration with Siemens Polarion and a new feature in BTC EmbeddedSpecifier allowing the simulation of requirements.
09. December 2021
Learn about the new features in BTC EmbeddedPlatform 2.11 in this free webinar!
23. November 2021
BTC Embedded Systems will join this years Formal Methods Conference and give a talk on November 23rd about "Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems"
09. November 2021
In this free Webinar, we will discuss when (and when not) it makes sense to generate test cases automatically and how to do it.
Please activate the Newsletter form in the cookie settings.
