Observed arrival · 2026-11-13
arche-lang: a testable model of an emergency-braking system
A textual language for describing embedded systems, including their components, messages, state machines, requirements, and tests.
○Open
⊠Login
$Paid
†Ads
✦Pretty
●Pro
◎Niche
◉Human
⚑Risk
ƒJS
- For
- Embedded-systems designers and testers
- Worth noticing
- The sample test sends an obstacle reading at 10 ms and expects a brake command within 40 ms.
Field notes
The example declares typed messages, connects four system components, and gives the driving computer a state machine with Manual and Autonomous states. Its test plan includes a specific obstacle reading and timing expectations; the homepage also links to documentation and a browser playground. The page identifies the release as version 0.12.0, but the extracted content does not show the checker, simulator, or generated output in operation.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
○OpenPublic substance visible
✦PrettyNotable craft visible
◎NicheUnusually specific use
One card from the complete issue