https://github.com/musevarg/ada-spark-plane-autopilot

A pilot assistance system for a plane written in the ADA SPARK language.
https://github.com/musevarg/ada-spark-plane-autopilot

ada ada-spark spark

Last synced: about 1 month ago
JSON representation

A pilot assistance system for a plane written in the ADA SPARK language.

• Host: GitHub
• URL: https://github.com/musevarg/ada-spark-plane-autopilot
• Owner: musevarg
• Created: 2021-06-07T16:08:51.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2021-06-08T08:38:15.000Z (almost 4 years ago)
• Last Synced: 2025-01-25T08:26:20.819Z (3 months ago)
• Topics: ada, ada-spark, spark
• Language: Ada
• Homepage:
• Size: 2.56 MB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Pilot Assistance System

This program, written in the [ADA SPARK](https://www.adacore.com/sparkpro) language, emulates a pilot assistance system that is responsible for checking that a number of pre and post conditions are met before an action can be taken, either by the pilot or the autopilot.

The program addresses the following points:

* The plane cannot take off without the cockpit door and all external doors shut

and locked.

* The plane cannot take off if there is not a minimum amount of fuel onboard.

* Once in flight, the system will warn of low fuel.

* Once in “normal” flight mode, airspeed and altitude must be within certain

limits.

* When in “landing/takeoff” mode, the landing gear must be lowered below a

certain altitude.

* The engines must be turned off whilst under tow.

* Warning lights inform the pilot of any deviations from normal operating limits.

It was implemented using [GNAT Community IDE](https://www.adacore.com/community).

![](https://raw.githubusercontent.com/musevarg/ADA-SPARK-Plane-Autopilot/main/gnat.png)