Understand and Verify Embedded Software Running Under RTOS's
Learn, check and enhance complex or third party embedded code. With Imagix 4D, you can automate comprehension of control flow and dependencies. Detect problems in variable usage, concurrency and task interactions. You'll achieve increased productivity, higher quality, and reduced risk.
For C, C++ and Java developers
Source code analysis for embedded software
Speed your design and QA activities via source analysis of your embedded software. Automates: