Identify Concurrency
Conflicts in
Multitasking Software

Applying interrupt protection, semaphores or mutexes to control concurrency in multitasking or multithreaded systems? Use Imagix 4D to steer between race conditions and deadlocks. Review task partitioning and intertask communication. Detect potential problems in data sharing and critical region integrity.

For C and C++ developers

Concurrency checking for
multitasking software


   
    

Key Features

Understand and test your concurrency control, through static analysis and verification of:
  • Interrupt Protection
  • Task Synchronization
  • Data Access and Usage
  • Cyclical Data Updates
  • Event-based Communication
Read More »
Watch Demo »

Typical Applications

Speed your design and QA activities via source code analysis of your multitasking system. Automates:
  • Analyzing Real-Time Control
  • Checking Concurrency Issues
  • Learning Unfamiliar Code
  • Change Impact Analysis
  • Generating Documentation

Read More »

Free Trial

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

© 2018 Imagix Corp. | Privacy Policy | Site Map | Contact Us