惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

人人都是产品经理
人人都是产品经理
有赞技术团队
有赞技术团队
L
LangChain Blog
C
Check Point Blog
博客园 - 【当耐特】
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
V
V2EX
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
GbyAI
GbyAI
美团技术团队
博客园 - 司徒正美
Google DeepMind News
Google DeepMind News
WordPress大学
WordPress大学
aimingoo的专栏
aimingoo的专栏
S
SegmentFault 最新的问题
A
About on SuperTechFans
Blog — PlanetScale
Blog — PlanetScale
Hugging Face - Blog
Hugging Face - Blog
博客园 - 叶小钗
腾讯CDC
B
Blog
G
Google Developers Blog
The Cloudflare Blog
P
Proofpoint News Feed

Hacker News: Show HN

PurrrrrFocus: Pomodoro Timer App - App Store Workflow Engine — Multi-Step Orchestration for Bun RapidPhoto: Pro Photo Editor App - App Store GitHub - DheerG/swarms: Achieve extraordinary results with claude code across a variety of tasks SPICE simulation → oscilloscope → verification with Claude Code — Lucas Gerads Show HN: VCoding – A 5 MB native Windows IDE with no dynamic dependencies Show HN: LLMs don't hallucinate because they're bad at math, it's the format GitHub - Agent-FM/agentfm-core: AgentFM is a peer-to-peer network that turns everyday computers into a decentralized AI supercomputer. AgentFM lets you run massive AI workloads directly across a global mesh of idle CPUs and GPUs. Show HN: Tracking Top US Science Olympiad Alumni over Last 25 Years GitHub - Potarix/agent-hub: One place to talk to all your agents Show HN: Runtime security for AI agents(injection,tool abuse, data exfiltration) GitHub - dubeyKartikay/lazyspotify: Terminal Spotify client for macOS and Linux GitHub - the-banana-tool/king-louie: Easy to use GUI Personal AI Assistant. Win/Linux/Mac. Show HN I made my vacation rental bookable by AI agents–no Airbnb, 0% commission GitHub - basteez/jsf-autoreload: maven plugin to enable hot reload on jsf projects uvm32/hosts/host-gdbstub at main · ringtailsoftware/uvm32 GitHub - labsai/EDDI: Config-driven engine that turns JSON into production-grade AI agents. Multi-agent orchestration, 12+ LLM providers, MCP/A2A protocols, RAG, persistent memory, and enterprise compliance (EU AI Act, GDPR, HIPAA). Built on Quarkus. GitHub - glitchnsec/fortyone-oss: AI Executive Assistant Platform Quickstart | Alien GitHub - muxshed/shed: One stream in, or many. Every destination, simultaneously. No cloud middleman, no per-channel fees, no limits. GitHub - ocrbase-hq/ocrbase: 📄 PDF/IMG ->.MD/JSON Document OCR API for PaddleOCR and GLMOCR. Self-hostable. GitHub - impactjo/home-memory: MCP server that lets your AI assistant remember everything about your home. GitHub - Sets88/dbcls: DbCls is a powerful terminal database client that supports various databases GitHub - neptun2000/heor-agent-mcp GitHub - SeanFDZ/macmind: Single-layer transformer in HyperTalk for the classic Macintosh RollQuation: Math Puzzles - Apps on Google Play GitHub - dropbox/witchcraft Show HN: Agent-cache – Multi-tier LLM/tool/session caching for Valkey and Redis GitHub - opentalon/opentalon: OpenTalon is an open-source platform built from the ground up in Go as a robust alternative to OpenClaw LinkedIn™ 职位抓取工具 - Chrome 应用商店
Modeloop
lucamark · 2026-06-02 · via Hacker News: Show HN

The Future of Systems Engineering

Models as Code.
Confidence by Default.

Modeloop is the only visual environment that brings modern DevOps and built-in verification to model-based design.

Want the native desktop app?

Join the waitlist for early desktop access

10x Faster to Production

0 Binary Lock-in — models are plain JSON

2 Codegen Targets — Python & C from one model

2 Platforms - Available on Web and Desktop

What Modeloop Actually Does

One engineering loop from visual model to generated code.

Modeloop is not just a canvas and it is not just a simulator. It is a model-based engineering workflow where diagrams become source code, tests, and reviewable artifacts.

Generated deliverables

Code, tests, and traceability stay together.

01 The Convergence

MBSE Rigor

Source of truth, not documentation.

Model‑Based Systems Engineering has historically meant heavy artifacts and static reviews. Modeloop reframes the model as a live, executable contract: every block is bound to a requirement, every connection is type‑checked, every change re‑validates the system in seconds.

Agile Velocity

Continuous integration, not waterfall.

Embedded verification has always meant multi-month cycles. Modeloop collapses them to seconds — generate the code, run the tests, on every commit and every branch, without leaving the editor.

↻ The synthesis The two principles are usually treated as opposites. Modeloop treats them as two halves of the same loop.

02 The Missing Piece

The V‑Model defines the shape of safety‑critical engineering. Modeloop closes it.

Architecture FrameworkV-Model & The Modeloop Bridge

Phase ASpecification

Phase BVerification

Modeloop • The BridgeRequirementsStakeholder needsSubsystem DesignArchitecture & contractsFunctional SpecComponent logicThe ModelSingle source of truthUnit TestingAutomated verificationIntegration TestingCross-module validationSystem ValidationFinal verification

Design

Generative Loop

Verified Asset

Specification descends the left arm. Verification ascends the right. Historically, a chasm runs between them — engineers manually translating models into code, then manually authoring tests against the code they just wrote. The chasm is where bugs are born. Modeloop replaces it with a generator: the model is the design, and the model emits both the implementation and the test harness that closes the V.

03 The Complexity Mandate

At nine figures of code, every keystroke is a defect site.

Fig. 03 — Estimated lines of code, embedded systems Source: industry estimates · visual log scale

1969 Apollo 11 Guidance Computer

145K

1997 F‑22 Raptor avionics

1.7M

2011 Boeing 787 Dreamliner

6.5M

2020 Premium passenger vehicle

100M

2025 Modern ADAS · autonomous stack

500M+

Modern embedded software has crossed a threshold. Manual edits do not scale linearly — they compound. A change in one file silently breaks an integration contract three layers away. A unit test passes while the integrated build regresses in ways no human reviewer can catch in time. At 108 lines, the probability of a defect‑free manual change approaches zero.

01 / Models

02 / State Machines

03 / Mathematical Verification

04 / Testing

05 / Simulation

pid_controller.mdl

Modeloop block diagram editor

supervisor.sfc

Idle entry/ count=0 during/ tick++ Active entry/ run() exit/ stop() [start] reset

formal-mapping

Formal Semantics User Model Controller synthesizes Mathematical Model x'(t) = A·x(t) + B·u(t) y(t) = C·x(t) + D·u(t)

unit-testing

TEST CASES TC_01_Norm TC_02_Fail TC_03_Edge TC_01_Normal RUN STEP 1 (0.0s → 5.0s) INPUTS ref_speed 120.0 EXPECTED motor_out 120.0 STEP 2 (5.0s → 10.0s) INPUTS ref_speed 0.0 EXPECTED motor_out 0.0 SIMULATION PASSED

PlotLab — results

Signals ref F_out x_out err 12 signals t [s]

Compose hierarchical block diagrams. Wrap any subsystem into a single reusable block.

Embed hierarchical StateCharts directly in your signal flow — every transition visualized.

Every block diagram is strictly associated with a mathematical representation, guaranteeing correct C code generation by design.

Write unit tests and run simulations to validate the functional correctness of your model.

Run your model and inspect every signal trace in real time

Built Different, For a Reason

Every feature was designed to eliminate a specific pain point in embedded systems engineering.

SUBSYSTEM Σ × in out

Hierarchical Containerization

Without Modeloop: In C, nothing stops you from connecting everything to everything. Spaghetti is the default.

Wrap any subsystem into a single block with explicit inputs and outputs. Reuse it anywhere. Modeloop makes modularity the path of least resistance — at any scale.

Idle Running Done start done reset

Visual State Machines

Without Modeloop: Writing nested switch/if-else for FSMs by hand is error-prone. Edge cases get missed. Bugs live at transitions.

Embed StateCharts directly into your signal flow. Hierarchical states, event-driven transitions, every corner case visualized — before a single line of C is generated.

temp pres spd stat volt SensorBus 5 signals

Bus Management System

Without Modeloop: Passing 50+ arguments to functions or managing massive global structs. Change one value, risk breaking everything else.

Group hundreds of signals into a single Bus line. Update one field inside a complex bundle without touching the rest. Object-Oriented wiring for embedded systems.

BEFORE edit #define recompile reflash restart test ≈ 15 min MODELOOP CALIBRATION Kp = 2.4 < 1ms

Live Parameter Tuning

Without Modeloop: Gain too low? Stop → find #define → recompile → reflash → restart. Feedback loop: 10–15 minutes.

Mark any value as CALIBRATION. Change it at runtime via dashboard, JSON, or script — no recompile, no reflash. A 15-minute engineering cycle collapses into milliseconds.

Generated Code You Can Inspect

Modeloop turns diagrams into readable Python and C artifacts that can be reviewed, tested, and integrated into embedded workflows.

Engineered for Critical Systems

Transparent, reliable, and qualified for the most demanding industries.

Functional Reliability

Our C-Code Generator is architected for predictability and performance. We focus on **Deterministic Execution** and rigorous validation.

  • 100% Deterministic Signal Flow
  • Zero Dynamic Memory Allocation
  • Fixed-Step Solver Precision

Mathematical Truth

Modeloop utilizes advanced Back-to-Back Testing to ensure the generated C code behaves exactly like the Python reference.

Numerical Precision

ε < 10⁻⁷

*Verified across 100+ Golden Models.

Data Sovereignty

Your models and intellectual property never leave your machine.

Modeloop runs entirely local (via Electron or Pyodide). We do not upload your diagrams to cloud servers for simulation or code generation, ensuring maximum confidentiality for industrial R&D.

Modeloop is built by engineers, for engineers. We prioritize transparency and deterministic behavior in every line of generated code.

Designed for

AutomotiveAerospaceRoboticsIndustrial AutomationEnergy SystemsDefenseMedical DevicesIoT

Start Designing Today

Free on the web. No install required. Open your browser and build your first system in minutes.

Want the native desktop app?

Join the waitlist for early desktop access