WebAssembly is a low-level assembly-like language that is gaining interest because it can run in sandboxed implementations. Many front-ends exist that translate popular programming languages to it. These properties make it interesting to use WebAssembly in embedded systems. To use WebAssembly in safety critical embedded systems, a requirements-based test suite that verifies the correct implementation of WebAssembly would be needed.
Other than some modern languages like Rust, WebAssembly is designed with stability and interoperability in mind. It has a specification that is the basis for multiple implementations. This is a good starting point for a test suite.
An open source test suite for WebAssembly implementations exists. To make it suitable for testing based on a functional safety standard, such as the ISO 26262 standard for automotive software, more is needed. Most importantly, a mapping from the language specification to requirements, as well as a mapping from these requirements to a test suite is mandatory. In this project we want to investigate what is needed to create such a mapping, and build parts of it as a proof of concept.
- A pleasant working environment in Amsterdam
- Guidance when you need it
- An internship compensation