https://github.com/AdaCore/SPARK_Railway_Simulation_Demo

https://github.com/AdaCore/SPARK_Railway_Simulation_Demo

Last synced: 3 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/AdaCore/SPARK_Railway_Simulation_Demo
• Owner: AdaCore
• License: gpl-3.0
• Created: 2017-01-11T17:13:27.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2019-11-22T11:00:43.000Z (over 5 years ago)
• Last Synced: 2024-07-31T20:45:29.332Z (10 months ago)
• Language: Ada
• Size: 763 KB
• Stars: 5
• Watchers: 41
• Forks: 7
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-ada - railway-simulation - Program simulating a railway network with trains, switches and signaling. The signaling system is proven with SPARK/Ada to ensure that trains cannot collide. (Hardware and Embedded / Applications)

README

        
# SPARK Railway Demo

This demo simulates a railway network with trains, switches and signaling. The

signaling system is proven with SPARK to ensure that trains cannot collide.

---

IMPORTANT: Please note that this project exists as part of a blog entry,

article, or other similar material by AdaCore. It is provided for

convenient access to the software described therein. As such, it is not

updated regularly and may, over time, become inconsistent with the

latest versions of any tools and libraries it utilizes (for example, the

Ada Drivers Library).

---

![Screenshot](screenshot.jpg?raw=true "Screenshot")

## Build Instructions

- Make sure to get all the Git submodules "$ git submodule update --init --recursive"

- Download and install the 2019 release of GNAT: [GNAT for ARM package](https://www.adacore.com/download)

- Start GPS (GNAT Programing Studio)

- Open the project file spark_railway_demo_stm32f429disco.gpr

- Use the "Build all" button to compile

- use the "Flash to board" button to program the STM32F429 Discovery board