View Proposal

Proposer
Andrew Ireland
Title
A Graphical Simulator for Critical System Software
Goal
Build a Graphical Simulator for embedded system software written in SPARK
Description
Build a graphical simulator that could be used to teach the development of safe and secure embedded software systems in the SPARK (ADA subset). From the perspective of the simulator, there is a wide range of potential domains to choose from, e.g. a railway signalling system, a home security system, or may be you have a better safety/security critical application in mind!
Resources
Appropriate programming languages, but specifically SPARK (Ada subset).
Background
Undertaken F20RS in semester 1 (or F21RS) and a background/interest in graphics.
Url
External Link
Difficulty Level
Challenging
Ethical Approval
None
Number Of Students
1
Supervisor
Andrew Ireland
Keywords
Degrees
Bachelor of Science in Computer Science
Master of Engineering in Software Engineering
Master of Science in Software Engineering
Back to List