mechanicsdsl-embedded 0.1.0

Embedded deployment tools and examples for MechanicsDSL — Arduino, Raspberry Pi, and ARM

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

Example	System	Rate	Hardware
arduino_pendulum/	Simple pendulum + MPU6050 IMU	250 Hz	Arduino Uno
arduino_double_pendulum/	Double pendulum (chaotic)	200 Hz	Arduino Mega 2560

Raspberry Pi

Example	System	Rate	Features
raspberry_pi_pendulum/	Simple pendulum	250 Hz	pigpio, POSIX RT scheduling, NEON, GPIO energy alert
raspberry_pi_double_pendulum/	Double pendulum	200 Hz	pigpio, POSIX RT scheduling, GPIO energy alert

---

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.