{"id":13411277,"url":"https://github.com/AdaCore/SPARK_Railway_Simulation_Demo","last_synced_at":"2025-03-14T17:30:26.700Z","repository":{"id":147275202,"uuid":"78661134","full_name":"AdaCore/SPARK_Railway_Simulation_Demo","owner":"AdaCore","description":null,"archived":false,"fork":false,"pushed_at":"2019-11-22T11:00:43.000Z","size":781,"stargazers_count":5,"open_issues_count":0,"forks_count":7,"subscribers_count":41,"default_branch":"master","last_synced_at":"2024-07-31T20:45:29.332Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Ada","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/AdaCore.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-01-11T17:13:27.000Z","updated_at":"2024-04-14T11:01:30.000Z","dependencies_parsed_at":null,"dependency_job_id":"25124a05-634f-4bc5-bf01-7f50680b5d78","html_url":"https://github.com/AdaCore/SPARK_Railway_Simulation_Demo","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AdaCore%2FSPARK_Railway_Simulation_Demo","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AdaCore%2FSPARK_Railway_Simulation_Demo/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AdaCore%2FSPARK_Railway_Simulation_Demo/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AdaCore%2FSPARK_Railway_Simulation_Demo/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/AdaCore","download_url":"https://codeload.github.com/AdaCore/SPARK_Railway_Simulation_Demo/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243618577,"owners_count":20320261,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-07-30T20:01:12.619Z","updated_at":"2025-03-14T17:30:26.688Z","avatar_url":"https://github.com/AdaCore.png","language":"Ada","funding_links":[],"categories":["Hardware and Embedded"],"sub_categories":["Applications"],"readme":"# SPARK Railway Demo\n\nThis demo simulates a railway network with trains, switches and signaling. The\nsignaling system is proven with SPARK to ensure that trains cannot collide.\n\n---\n\nIMPORTANT: Please note that this project exists as part of a blog entry,\narticle, or other similar material by AdaCore. It is provided for\nconvenient access to the software described therein. As such, it is not\nupdated regularly and may, over time, become inconsistent with the\nlatest versions of any tools and libraries it utilizes (for example, the\nAda Drivers Library).\n\n---\n\n![Screenshot](screenshot.jpg?raw=true \"Screenshot\")\n\n## Build Instructions\n\n- Make sure to get all the Git submodules \"$ git submodule update --init --recursive\"\n- Download and install the 2019 release of GNAT: [GNAT for ARM package](https://www.adacore.com/download)\n- Start GPS (GNAT Programing Studio)\n- Open the project file spark_railway_demo_stm32f429disco.gpr\n- Use the \"Build all\" button to compile\n- use the \"Flash to board\" button to program the STM32F429 Discovery board\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FAdaCore%2FSPARK_Railway_Simulation_Demo","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FAdaCore%2FSPARK_Railway_Simulation_Demo","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FAdaCore%2FSPARK_Railway_Simulation_Demo/lists"}