Phaedrus Systems supports engineers at all stages of embedded safety-critical and high-integrity projects. Tools available include requirements capture for IEC 61508, EN 50128 and nuclear applications, a SIL3 RTOS and compiler validation reports. Consultants have experience working on automotive, rail and aerospace applications, meeting standards such as IEC 61508 SIL4, and D0178B. Backing these is a wide range of other relevant embedded tools, including code checkers, USB and TCP/IP stacks, development kits, debuggers and ICEs. Our Technical Team have been involved with Keil tools as users and technical support for over a decade. We have even written some Keil app notes and integration of 3rd party tools to uVision Independent advice is strengthened by the company’s founder being an active participant in several standards bodies, including ISO C, C++ and IEC 61508-3, and a principal author of MISRA-C:2004. and member of the MISRA-C2010 team
There are no discussions here currently, but as they appear they might have answers you need.