spark-railway-demo
Railway simulator
A simulated railway network in Ada that ensures safe train operation using formal methods
Simulated railway network in SPARK/Ada
7 stars
3 watching
1 forks
Language: Ada
last commit: about 8 years ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
 adacore/spark_railway_simulation_demo | Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification. | 5 |
| fabien-chouteau/solenoid-engine-controller | A software controller for managing the operation of solenoid engines. | 5 |
 julianschutsch/parallelsim | A software framework for simulating complex transport networks across multiple locations and scenarios | 1 |
 aburch/simutrans | A transportation simulator that allows users to build and manage their own transport network. | 435 |
| adacore/rc_car_demo | Demonstrates robotics with Ada and SPARK in an embedded environment using Lego sensors and effectors on a custom-built RC car. | 6 |
 fsprojects/chessie | A library that enables railway-oriented programming with F# for building distributed systems | 185 |
 koustavagoswami/autonomous-car-driving-using-deep-reinforcement-learning-in-carla-simulator | Enabling autonomous driving using deep reinforcement learning in a virtual environment | 14 |
 osrf/car_demo | A simulation platform for autonomous vehicles using ROS/GAZEBO | 527 |
 faizansana/intersection-carla-gym | An environment for training reinforcement learning algorithms in a realistic 4-way unsignalized intersection scenario | 6 |
 billyfrcs/racereternity | A 3D car driving simulator game with advanced physics and rendering capabilities | 10 |
 fereste/tablero | Controls an instrument cluster by simulating CAN bus commands to display speed and RPM of games on a car dashboard | 5 |
 ezapridou/carla-acc | An implementation of an Adaptive Cruise Control system in the CARLA Simulator with runtime verification capabilities | 27 |
 ohenley/covid-19_simulator | A COVID-19 simulator that uses multiple algorithms and engines to model the spread of the disease | 11 |
 owningrails/patterns | An educational framework designed to illustrate design patterns commonly used in Rails-like applications. | 50 |
| fabien-chouteau/eagle-lander | A simulator of an Apollo 11 lunar lander's descent and landing phases. | 31 |