https://github.com/Fabien-Chouteau/spark-railway-demo

Simulated railway network in SPARK/Ada
https://github.com/Fabien-Chouteau/spark-railway-demo

Last synced: 2 months ago
JSON representation

Simulated railway network in SPARK/Ada

• Host: GitHub
• URL: https://github.com/Fabien-Chouteau/spark-railway-demo
• Owner: Fabien-Chouteau
• License: gpl-3.0
• Created: 2016-11-02T12:01:04.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2016-11-02T12:39:13.000Z (over 7 years ago)
• Last Synced: 2024-01-27T09:37:40.315Z (5 months ago)
• Language: Ada
• Size: 757 KB
• Stars: 6
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-ada - spark-railway-demo - Simulated railway network in SPARK/Ada. (Hardware and Embedded / Applications)
• awesome-ada - spark-railway-demo - Simulated railway network in SPARK/Ada. (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.

![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 compiler: [GNAT for ARM package](http://libre.adacore.com/download/configurations)

- Start GPS (GNAT Programing Studio)

- Open the project file spark_railway_demo.gpr

- Use the "Build all" button to compile

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