技术合作伙伴
Technology Partners
-
-
DTS INSIGHT Corporation
-
Kyoto Microcomputer Co.,Ltd.
-
Lauterbach GmbH
Lauterbach, the expert for heterogenous multicore debugging, provides debug and trace tools for a wide range of core architectures. To enable their customers to develop embedded systems with increasingly powerful software they deliver a variety of debug extensions that allow for seamless debugging and tracing of complex systems including boot loader, hypervisor and several concurrent operating systems.
-
SEGGER Microcontroller GmbH
-
TrustInSoft
TrustInSoft Analyzer 是一款涵盖 C 和 C++ 语言的混合分析工具。通过使用形式化方法进行高级静态分析，从数学上保证软件不存在缺陷，从而证明软件的安全性。