SPARK_Railway_Simulation_Demo
by AdaCore
AI summary
Railway simulator
Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification.
- stars
- 5
- forks
- 7
- watching
- 41
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Railway simulator
A simulated railway network in Ada that ensures safe train operation using formal methods
RC Car Demo
Demonstrates robotics with Ada and SPARK in an embedded environment using Lego sensors and effectors on a custom-built RC car.
Robotics interface demo
Demonstrates interfacing with Lego NXT Mindstorms sensors and effectors using Ada and low-cost ARM boards.
Defect reduction tool
A software development technology designed to produce ultra-low defect software
Formal verification adapter
An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods
Ada language server
An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files.
Collision simulator
Simulates particle collisions and detects them efficiently using Rust.
GPU compiler
A toolset that compiles Ada and SPARK code to NVIDIA GPUs
Autonomous car simulator
A simulation platform for autonomous vehicles using ROS/GAZEBO
Transport simulator
A software framework for simulating complex transport networks across multiple locations and scenarios
COVID simulator
A COVID-19 simulator that uses multiple algorithms and engines to model the spread of the disease
Code compiler
Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code
Circuit simulator
Asynchronous circuit design and simulation tools using a hardware description language.
Mobility simulator
A light-weight framework for simulating mobility and comparing fleet optimization algorithms
Spark interface
An R interface to Apache Spark for distributed data analysis and machine learning
Featured in 1 awesome list
Each link jumps to the spot where the list mentions SPARK_Railway_Simulation_Demo.