| Departments |
Computer Science
|
|---|
| Description | The programming language SPARK Ada (https://en.wikipedia.org/wiki/SPARK_(programming_language , http://www.adacore.com/sparkpro/ ) is an industrial language for the development of critical systems, especially commercial and military aircraft, railway control systems and medical devices. It is taught as part of the modules CSC313 High Integrity Systems and CSCM13 Critical Systems.
In critical systems, especially medical devices, it is important that the user interface gives the user the information he needs and that the user is supported in entering correct data. In this project we will use SPARK in order to make sure that user interfaces are correct. This project will be based on a previous successful MSc project.
SPARK Ada can be installed on Windows, MacOS and Linux. |
|---|
| Preparation | CSCM13/CSC313 would support this module very well. HCI related modules would support this module as well. |
|---|
| Project Categories |
Human Computer Interaction (HCI), Software Engineering, Theorical Computer Science |
|---|
| Project Keywords |
Logic, Programming Languages, Proofs, Testing and Verification |
|---|
Level of Studies
|
| Level 6 (Undergraduate Year 3) |
yes
|
|---|
| Level 7 (Masters) |
yes
|
|---|
| Level 8 (PhD) |
yes
|
|---|