There are some technologies we just can’t seem to get away from, and that includes static analysis. As good as today’s tools are – and they are lightyears from what was available a decade ago – there is still a lot of human in the test loop. And that human costs time, money, and is prone to mistakes.

Modularity and composability are popular buzzwords in software, for everything from enterprise computing down to bare metal applications. For safety-critical embedded systems, these concepts define goals for software reuse by enabling the use of existing software components in different combinations for different use cases.

Today’s software-based, safety-critical systems depend on certified software tools and processes for development. For many applications, tool qualification is a necessary step in ensuring the tool chain produces quality code to fulfill the needs of applicable safety standards. In many cases, the use of TÜV certified tools is sufficient but there’s an increasing number of very high-stakes applications where the functional safety standards demand more.

LDRA announced that the KONČAR Group has chosen LDRArules to perform static analysis on the source code for its newest Grap suite modular software platform and to confirm compliance with MISRA C.