Model based programming in PAMELA
summary
PAMELA is an open source declarative language for model-based programming that compiles models of cyber‑physical components down to planners and solvers and is published on GitHub PAMELA open source under Apache 2. The visualization tool PLANVIZ is built in ClojureScript with om.next and renders interactive, zoomable SVG graphs PLANVIZ in ClojureScript with om.next. It shows synchronized TPN and HTN views of a running plan (a quadcopter inspecting four waypoints) and connects over RabbitMQ-backed multiuser sync, and the demo executes end‑to‑end with highlighted state transitions.
AI-written summary · about
chapters (22)
- 0:00Intro
- 0:18Project Overview
- 2:54PAMELA Philosophy
- 7:06Language antecedents
- 9:01Model exchange
- 11:18What is a model based program
- 13:16Example
- 14:23Components
- 15:14Values
- 15:39Fields
- 16:16Modes
- 17:17Transitions
- 18:11TurnOn
- 19:09Model
- 20:24Wiring up
- 22:54Temporal plan network
- 24:40Processing
- 26:50PlanVis
- 29:43Tooltip
- 34:28Highlighting
- 35:05Quad video
- 36:09Mission dispatching
related talks
38mModeling Symposium
46mBuilding a Graphical IDE in Elm/Purescript (...)
31mScientific Computing with Clojure
15mLive Programming a Live Programming Environment: An Experience Report
34mPanel with Paula Gearon and Eric Normand
38m"Emmy: Moldable Physics and Lispy Microworlds"
16mLightning Talk: Forecasted Congestion Management Using Plug and Play Model
17mA Co-Simulation Middleware: Virtual Testing of Automotive Applications with Multiple Simulators