Safety-certified tools Tools for Automotive Applications C-STAT Static analysis C-RUN Runtime analysis Debugging and trace probes Build tools for Linux
For you with a deep interest in applied parallelism and concurrent programming.
Correctness is cruical in embedded systems. Today’s embedded processers are increasingly parallel. To ensure parallel correctness of a program written in a high level language, three main components can be discerned:
The task is to outline a tool for stress-testing and detecting errors in a compiler’s translation from the memory model of C11 to the memory model of an ISA, specifically focusing on testing the implementation of atomic operations. It must be possible to use the tool barebone (without a supporting operating system), typically on RISC-V and Arm architectures.
Some key concepts: threads and scheduling, litmus testing, embedded systems…and more.
Does this sound ineteresting? Please contact Susanne Dahlén, Director of Engineering IAR Systems
Mobile: +46 708 66 10 76