View Proposal

Proposer
Andrew Ireland
Title
A Comparative study of Rust, Frama-C and SPARK
Goal
Undertake an in-depth comparative study of Rust, Frama-C and SPARK for the development of High Integrity Embedded Systems
Description
Rust, Frama-C and SPARK are all designed to prompt the development of High Integrity Embedded Systems. Through an in-depth comparative study, the aim of this project is to develop teaching materials that provides an introduction to each languages, high-lighting their comparative strengths and limitations.
Resources
https://rust-lang.org/
Background
Url
External Link
Difficulty Level
Easy
Ethical Approval
None
Number Of Students
0
Supervisor
Andrew Ireland
Keywords
Degrees
Back to List