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 

   
    

      

        

          

          Typical Applications
          

          

      Speed your design and QA activities via source analysis of your embedded software. Automates:
         
    
           
  • Learning Unfamiliar Code
    • 
           
  • Analyzing Real-Time Control
    • 
           
  • Integrating Open Source Code
    • 
           
  • Change Impact Analysis
    • 
           
  • Generating Documentation
    • 
	    

          

          

            Read More
            Watch Demo
          

        

      

      

        

          

          Key Features
          

          

      Understand and check your program faster and more thoroughly, through static analysis and verification of:
         
    
           
  • Task Interaction
    • 
           
  • Interrupt Protection
    • 
           
  • Data Access and Usage
    • 
           
  • Concurrency Control
    • 
           
  • Cyclical Data Updates
    • 
	    

           

         

         

           Read More
         

       

      

      

        

          

          Free Trial
          

          

      Analyze your software now. Download and get started exploring the tool. Imagix 4D's source code analysis includes support for:
         
    
           
  • Embedded Cross-Compilers
    • 
           
  • Real-Time Operating Systems
    • 
           
  • Tasks and Critical Regions
    • 
           
  • Combined C, C++ and/or Java
    • 
	    

          

          

            Download