The task of this coursework was to implement a pilots assistance system in ADA-Spark. Additionally extensions could be added that either expanded on the system or helped to demonstrate its capabilities.
- Understand programming with ADA and Spark
- Design a system that would meet the highest level of proof possible in spark.
- Improve software design skills