SPARK_Railway_Simulation_Demo
Railway simulator
Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification.
5 stars
42 watching
7 forks
Language: Ada
last commit: almost 5 years ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
 fabien-chouteau/spark-railway-demo | A simulated railway network in Ada that ensures safe train operation using formal methods | 7 |
| 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 |
| adacore/robotics_with_ada | Demonstrates interfacing with Lego NXT Mindstorms sensors and effectors using Ada and low-cost ARM boards. | 17 |
| adacore/spark2014 | A software development technology designed to produce ultra-low defect software | 248 |
 tofgarion/spark-by-example | An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods | 152 |
| adacore/ada_language_server | An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files. | 236 |
 markek1/collision-simulator | Simulates particle collisions and detects them efficiently using Rust. | 5 |
| adacore/cuda | A toolset that compiles Ada and SPARK code to NVIDIA GPUs | 18 |
 osrf/car_demo | A simulation platform for autonomous vehicles using ROS/GAZEBO | 527 |
 julianschutsch/parallelsim | A software framework for simulating complex transport networks across multiple locations and scenarios | 1 |
 ohenley/covid-19_simulator | A COVID-19 simulator that uses multiple algorithms and engines to model the spread of the disease | 11 |
 rocher/ob-ada-spark | Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code | 8 |
 asyncvlsi/act | Asynchronous circuit design and simulation tools using a hardware description language. | 99 |
 sash-ko/simobility | A light-weight framework for simulating mobility and comparing fleet optimization algorithms | 40 |
 sparklyr/sparklyr | An R interface to Apache Spark for distributed data analysis and machine learning | 957 |