Welcome to JORAL Technologies Safety Critical Tool Department.
This department is set up to support Software Engineers dealing with Safety Critical Applications. We offer free product demonstrations for all products.
Using ST-Link/V2 and MDK 5 with Discovery/Nucleo Boards
This hands-on lab demonstrates the use of the STMicroelectronics ST-Link/V2 debug adapter and Keil uVision. The lab uses the STM32F401C Discovery Kit but it can be adapted to use other STMicroelectronics processors that work with the ST-Link/V2 adapter. The program examples provided in the Keil.STM32F4xx_DFP device family software pack may be downloaded from the Keil MDK5 Software Packs website. All examples are compliant to Cortex Microcontroller Software Interface Standard (CMSIS v4.5). These examples demonstrate the use of Serial Wire Viewer (SWV) and Debug Access Port (DAP) debug technology, memory reads and writes, Instrumentaiton Trace Macrocell (ITM) and the RTX Kernel Awareness Viewer.
CompCert is a formally verified optimizing C compiler. Its intended use is compiling safety-critical and mission-critical software written in C and meeting high levels of assurance. It accepts most of the ISO C 99 language, with some exceptions and a few extensions. It produces machine code for ARM, PowerPC, and x86 architectures.