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 is a hybrid C and C++ exhaustive analysis tool, combining advanced static and dynamic analysis techniques to mathematically guarantee the absence of defects and prove software security and safety, using formal methods.