JORAL Technologies is in South America

Percepio Detect: Catching Embedded Software Issues Before They Become Failures

Embedded applications can pass unit tests, perform reliably in the lab, and still encounter unexpected failures after hours of operation. Occasional timing problems, stalled RTOS tasks, and inter[...]

CompCert: A C Compiler That Comes With a Proof

Safety-critical teams put considerable effort into their C source code. They run static analysis, check MISRA rules, review code, and test the compiled software extensively. However, testing cann[...]

a³ release 26.10

New target aiT for TriCore now supports 3rd GEN AURIX TC46x.   Qualification Support Kits Qualification reports can now be exported as XML. New compiler-specific QSKs: aiT for e200 with Diab [...]

Beyond Code Generation: AI-Assisted Embedded Development with Arm CMSIS

AI coding assistants can generate a UART driver in seconds. But when the output is garbled or an application unexpectedly enters a HardFault handler, the problem may not be obvious from the sourc[...]

Configuring QA-MISRA for Real-World Embedded C/C++ Projects

Getting QA-MISRA running is only the first part of the setup. For an actual embedded project, you will usually need to decide which coding rules should be checked, how compiler-specific code sho[...]