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
Description
Rust, Frama-C and SPARK are all designed to promote the development of High Integrity Embedded Systems. Through an in-depth comparative study, the aim of this project is to develop teaching materials that provide an introduction to each language, high-lighting their comparative strengths and limitations.
Resources
https://rust-lang.org/ https://www.adacore.com/languages/spark https://www.frama-c.com/
Background
Ideally F20RS
Url
External Link
Difficulty Level
Challenging
Ethical Approval
None
Number Of Students
1
Supervisor
Andrew Ireland
Keywords
software engineering, static analysis, formal methods
Degrees
Master of Engineering in Software Engineering
Back to List