Om te solliciteren op deze stage, moet je met je HvA-emailadres een account aanmaken.

account aanmaken

Bedrijfsinformatie

Solid Sands
Overschiestraat 186
1062 XK
Amsterdam
Spring Building / Smart Office Unit 5-7

Developing a test suite for Rust or Python implementations


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 implementation is verified with a requirements-based test suite.

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

We offer:

- A pleasant working environment in Amsterdam

- Guidance when you need it

- An internship compensation 

Geschikt voor studenten
  • Software Engineering
  • Technische Informatica