The programming languages Rust and Python are both gaining interest in safety critical embedded applications. To use them in that role, it is required that the developers have enough confidence in their correct implementation. One way to do that is by using the process that is described in the ISO 26262 functional safety standard. It requires that the implementation is verified with a requirements-based test suite.
The foundation of such a test suite is a detailed language specification and its translation into testable requirements. Unlike languages such as C, C++ and Ada, which have ISO language standards, there are no stable language definitions for RUST and Python. Yet, there are many items in place that can serve as the starting point for a specification and a test suite.
The goal of this project is defining a process, and developing the means, to qualify RUST or Python implementations. This includes but is not limited to:
- defining a process to handle the qualification of such "unstable" languages
- create a language specification based on language manuals
- define requirements based on the language specification
- define a test suite that leverages the existing test suite
- A pleasant working environment in Amsterdam
- Guidance when you need it
- An internship compensation