Critical Analyses High Impact Service… > Software Development > Critical Analyses

Circular Queue
“Industry Standard” testing cannot find some of the most critical defects: Race conditions, Re-entrancy clashes, Deadlocks, Timing problems, Stack Overflows, etc. These can be particularly problematic in Real-time Embedded Systems, whether or not they use an RTOS.

We perform Critical Analyses on your code to uncover the defects which testing misses:

    • Timing/Schedulability – will every task and interrupt always finish in time?
    • Deadlock – how long could tasks block to wait for a shared resource?
    • Stack Depth – can the stack overflow (or underflow) under worst-case conditions?
    • Reentrancy – can a function/method be invoked safely by different priority tasks when necessary?
    • Shared Resources / Race Conditions – are results affected by who calls the routine first?