spark-railway-demo
Simulated railway network in SPARK/Ada
AI summary
Railway simulator
A simulated railway network in Ada that ensures safe train operation using formal methods
- stars
- 7
- forks
- 1
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Railway simulator
Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification.
Engine controller
A software controller for managing the operation of solenoid engines.
Transport simulator
A software framework for simulating complex transport networks across multiple locations and scenarios
Transportation simulator
A transportation simulator that allows users to build and manage their own transport network.
RC Car Demo
Demonstrates robotics with Ada and SPARK in an embedded environment using Lego sensors and effectors on a custom-built RC car.
Railway library
A library that enables railway-oriented programming with F# for building distributed systems
Autonomous driving simulator
Enabling autonomous driving using deep reinforcement learning in a virtual environment
Autonomous car simulator
A simulation platform for autonomous vehicles using ROS/GAZEBO
intersection simulator
An environment for training reinforcement learning algorithms in a realistic 4-way unsignalized intersection scenario
Car simulator
A 3D car driving simulator game with advanced physics and rendering capabilities
Dashboard simulator
Controls an instrument cluster by simulating CAN bus commands to display speed and RPM of games on a car dashboard
ACC simulator
An implementation of an Adaptive Cruise Control system in the CARLA Simulator with runtime verification capabilities
COVID simulator
A COVID-19 simulator that uses multiple algorithms and engines to model the spread of the disease
Design pattern simulator
An educational framework designed to illustrate design patterns commonly used in Rails-like applications.
Lunar Lander Simulator
A simulator of an Apollo 11 lunar lander's descent and landing phases.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions spark-railway-demo.