mechanicsdsl-embedded

Deploy MechanicsDSL simulations to Arduino, Raspberry Pi, and ARM edge devices.

Overview

mechanicsdsl-embedded provides deployment infrastructure and examples for running MechanicsDSL-generated simulations on embedded and edge platforms. Write your physical system once in DSL notation; generate optimized, dependency-free C++ or no_std Rust ready to flash or deploy.

All examples originate from MechanicsDSL DSL specifications — the originating spec is included as a comment in every generated source file.

Examples

Arduino

Raspberry Pi

Repository Structure

mechanicsdsl-embedded/
├── examples/
│   ├── arduino_pendulum/          .ino + README
│   ├── arduino_double_pendulum/   .ino + README
│   ├── raspberry_pi_pendulum/     .cpp + README
│   └── raspberry_pi_double_pendulum/ .cpp + README
├── cmake/
│   └── arm-toolchain.cmake        ARM cross-compilation toolchain
├── docker/
│   ├── Dockerfile                 ARM cross-compilation environment
│   └── docker-compose.yml
├── scripts/
│   ├── cross_compile_arm.sh       One-command ARM build via Docker
│   └── monitor_serial.py          Real-time serial CSV plotter
├── docs/
│   ├── getting_started.md
│   └── hardware_guide.md          Wiring, platform support, performance notes
└── tests/
    └── test_eom.py                Physics correctness via SciPy reference

Quick Start

Arduino

1. Open examples/arduino_pendulum/pendulum_realtime.ino in Arduino IDE
2. Select board and port → Upload
3. Open Serial Monitor at 115200 baud

Raspberry Pi

sudo apt-get install pigpio libpigpio-dev cmake g++
mkdir build && cd build
cmake .. -DCMAKE_BUILD_TYPE=Release
make -j$(nproc)
sudo ./pendulum_rpi

ARM Cross-Compilation (from x86 host)

./scripts/cross_compile_arm.sh
scp build_arm/pendulum_rpi pi@<ip>:~/
ssh pi@<ip> "sudo ~/pendulum_rpi"

Real-Time Serial Monitor

pip install pyserial matplotlib numpy
python scripts/monitor_serial.py --port /dev/ttyUSB0

Testing (no hardware required)

pip install pytest numpy scipy
pytest tests/ -v

Physics correctness is validated against SciPy reference integrations — period accuracy, energy conservation, equilibrium stability.

Code Generation

All examples can be regenerated from DSL specifications:

pip install mechanicsdsl-core[embedded]
mechanicsdsl generate pendulum.msl --target arduino
mechanicsdsl generate pendulum.msl --target raspberry_pi

Contributing

See CONTRIBUTING.md. Hardware validation on new platforms especially welcome.

License

MIT License — see LICENSE.