https://github.com/pulseengine/spar

A compiler for system-architecture models — ingests AADL v2.3, SysML v2 & CAN/DBC into one semantic model; emits safety analysis, TSN timing bounds, and verified WASM/Lean/Bazel artifacts. Rust, WASM-native.

aadl compiler mbse network-calculus real-time rust safety-critical sysml2 tsn wcet webassembly

Last synced: 01 Jul 2026