The enchantment of making use of synthetic intelligence (AI ) to model-based techniques engineering (MBSE) is straightforward to know. Formal structure definitions, traceable necessities, habits fashions, evaluation, and verification proof take time to develop and keep. AI may plausibly scale back a few of that effort, however plausibility will not be proof.
For program managers and engineering leaders, the chance is broader than sooner mannequin authoring. Integrating AI instantly into mannequin improvement can scale back the trouble required to create, replace, and reconcile engineering artifacts. It could actually shorten the time between an engineering change and suggestions from the modeling toolchain, floor inconsistencies earlier than integration and check, and protect traceable proof for technical selections. The administration worth ought to subsequently be judged by whether or not groups make better-informed selections sooner and scale back rework and technical danger, whereas engineers retain accountability for evaluate, evaluation, and assurance.
The tougher query is find out how to combine AI with out weakening engineering rigor. 4 questions information our work:
- How can engineering groups natively combine AI into MBSE modeling?
- The place does that integration add measurable worth?
- What does an AI-augmented MBSE workflow appear to be?
- What does that workflow appear to be in observe?
As detailed on this submit, we investigated these questions by constructing a three-layer integration structure, evaluating it in a managed SysML v2 model-generation benchmark, and analyzing one giant benchmark activity involving a four-drone aerial survey swarm.
SysML v2 in Transient
Methods modeling language model 2, generally known as SysML v2, is the Object Administration Group’s formal language for describing techniques by means of necessities, construction, habits, evaluation, verification, and stakeholder views. It gives each graphical and textual notation over the identical underlying mannequin. This work focuses on the textual notation as a result of mannequin recordsdata might be reviewed as textual content, saved in model management, in contrast in pull requests, and processed by automated instruments.
Two concepts make the brief code pattern under readable. A definition, or def, declares a reusable kind, whereas a utilization locations that kind in a selected mannequin context. A bundle provides a namespace. Typed attributes can use portions and models from the usual libraries.
bundle DroneSwarmExample {
personal import ScalarValues::*;
enum def FlightMode {
enum idle;
enum takeoff;
enum survey;
enum returnToHome;
}
half def FlightController {
attribute droneId : Integer;
attribute activeMode : FlightMode;
}
half def Drone {
half controller : FlightController;
}
half drone : Drone;
}
Right here, FlightMode, FlightController, and Drone are definitions. The nested controller is a utilization that composes the drone from a flight controller, whereas drone is a top-level utilization of the entire kind. The identifier and working mode are typed values reasonably than unqualified properties.
Textual notation makes SysML v2 accessible to coding assistants, however it doesn’t make the language casual. Generated mannequin textual content should nonetheless conform to the grammar, resolve its references, and fulfill the language’s semantic guidelines. That requirement is why a language-aware modeling service and a callable validation interface are central to the structure.
The Structure
Native integration means inserting the AI assistant contained in the engineering workspace reasonably than treating it as a separate chat floor. The assistant works in the identical repository because the mannequin, retrieves mission steerage, edits mannequin artifacts, invokes the identical validation command utilized by engineers and steady integration, and responds to diagnostics. The engineer stays chargeable for intent, evaluate, and engineering selections.
The workspace combines three separable layers: an AI coding assistant, a proper modeling toolchain, and a curated data base with workflow abilities.
- AI coding assistant. The assistant receives course in pure language and operates on version-controlled artifacts. The structure will not be tied to a selected assistant shopper or AI mannequin. Our present implementation makes use of Visible Studio Code as the first engineering atmosphere. Via editor extensions and built-in terminals, Claude Code, OpenAI Codex, and Proceed every function on the identical repository and hook up with the identical modeling instruments and mission data.
- Language-aware modeling toolchain. The overall requirement is a SysML v2 language server, or an equal language-aware service, that may parse SysML v2 mannequin recordsdata, resolve references, apply grammar and semantic guidelines, and return diagnostics. For agentic and automatic use, these capabilities needs to be uncovered by means of a noninteractive interface, ideally a command-line interface. This lets assistants, engineers, and steady integration (CI) jobs invoke the identical examine.
Our implementation makes use of Sensmetry’s Syside for each interactive editor assist and automatic mannequin checking. In Visible Studio Code, Syside communicates by means of the Language Server Protocol (LSP), a typical interface that provides options similar to diagnostics, reference decision, and navigation. The AI assistants don’t name that interface instantly; as an alternative, they invoke mannequin checks by means of the syside examine command. A clear run establishes conformance to the checks carried out by Syside. It doesn’t set up that the mannequin is full, displays the right engineering selections, or has been verified.
- Information and workflow layer. The SEI assembled a data base as a version-controlled assortment of Markdown recordsdata containing SysML v2 language steerage, validation-rule explanations, modeling patterns, and examples. A repository-local Mannequin Context Protocol (MCP) server catalogs these recordsdata below steady subject names and exposes targeted search and retrieval instruments to AI assistants. On this implementation, the data service will not be a big language mannequin (LLM) or a data graph, it’s an interface to SEI-curated reference materials. Separate version-controlled talent recordsdata outline how assistants use the retrieved steerage, modify mannequin artifacts, invoke validation and evaluation instruments, and reply to their outcomes.
MCP is an effective match for this work as a result of it separates the curated data supply from any specific AI assistant or mannequin. Suitable shoppers can name the identical server and retrieval-tool contract with out requiring the SEI to construct and keep a separate integration for every assistant. This design aligns with an rising cross-vendor sample: Microsoft, AWS, Google, and Atlassian all present MCP-based mechanisms by means of which AI shoppers can search or retrieve managed data.
Proven in Determine 1, the implementation is deliberately versatile reasonably than tied to a set product stack. It requires three core capabilities: an assistant that may work on repository artifacts, language-aware modeling instruments with callable validation and evaluation interfaces, and mission data that may be retrieved in the course of the activity. The identical sample can lengthen to different modeling languages and toolchains; we’re presently making use of it to the Structure Evaluation and Design Language (AADL) and its supporting evaluation instruments.
Determine 1: AI-augmented MBSE workspace in Visible Studio Code. The three columns map to the assistant, modeling-toolchain, and data layers described on this submit. SEI Nexus OPAL is an SEI-managed service for hosted fashions. Earlier experiments additionally built-in Claude Code and Anthropic fashions by means of the identical interfaces proven for OpenAI Codex.
What the Validation Loop Demonstrated
To tell apart the consequences of language-tool suggestions from these of the data base and workflow abilities, we evaluated the prototype workspace throughout three experimental arms utilizing the identical SysML v2 modeling duties. All three arms used Anthropic’s Claude Opus 4.6.
- Baseline makes use of a single era move with no instruments.
- Command-line interface (CLI) solely permits era adopted by a syside examine suggestions loop, with out the SEI data base or abilities.
- Full tooling provides the MCP data service, modeling abilities, and the identical Syside validation loop.
The experiment lined eight duties at two scales: 40 small-task outputs per arm and 24 large-task outputs per arm. The baseline serves as a single-pass reference level. The 2 iterative circumstances check what modifications happen when the assistant is in a position to reply to language-tool diagnostics, with or with out project-specific steerage.
| Arm | Errors / 100 Traces | Traces | Iterations | Wall time | Sample measure, imply (SD), max 100 | Tokens (est.) |
|---|---|---|---|---|---|---|
| Baseline | 3.7 | 309 | n/a | 87s | 78.3 (7.7) | 21K |
| CLI-only | 0 | 277 | 2.1 | 178s | 71.7 (6.3) | 33K |
| Full tooling | 0 | 302 | 1.7 | 181s | 94.1 (5.0) | 71K |
| Arm | Errors / 100 Traces | Traces | Iterations | Wall time | Sample measure, imply (SD), max 100 | Tokens (est.) |
|---|---|---|---|---|---|---|
| Baseline | 25.6 | 3303 | n/a | 599s | 78.3 (7.7) | 59K |
| CLI-only | 0 | 2426 | 3.4 | 914s | 71.7 (6.3) | 106K |
| Full tooling | 0 | 2458 | 2.6 | 772s | 94.1 (5.0) | 143K |
The project-defined sample measure, carried out as a Node.js script, combines 29 measures right into a 0-100 composite:
- 12 structural measures overlaying mannequin breadth, assemble richness, and connectivity
- 13 measures overlaying traceability, canonical modeling patterns, and mannequin group
- 4 task-specific acceptance measures
Each iterative circumstances ended with zero reported Syside errors and warnings at each scales. In these runs, language-tool suggestions allowed the assistant to determine and take away parser and semantic diagnostics. Validation alone didn’t materially enhance the project-defined sample measure. In contrast with CLI-only, full tooling was modestly greater on small duties and considerably greater on giant duties, the place the imply rose from 71.7 to 94.1. Curated data and workflow abilities equipped steerage for mannequin construction, traceability, and activity protection that the validator didn’t require.
The outcome separates two helpful results: language tooling checks conformance, whereas curated data and workflows affect the broader modeling patterns captured by this project-defined measure. A rating of 100 would imply that each benchmark measure awarded full credit score, however it could not show engineering correctness, completeness, or health to be used. The experiment used one mannequin household, one language, one validator, and a managed activity corpus; unbiased copy stays needed.
Grounding the AI: Information Base and Workflow Expertise
An LLM can produce SysML that appears believable whereas omitting mannequin relationships, mission conventions, or proof wanted by reviewers. Language tooling catches malformed syntax and a few semantic violations, however it can not determine whether or not the mannequin displays the meant system or whether or not a program’s most well-liked patterns have been utilized persistently.
The data layer addresses that hole by making related steerage retrievable within the native workspace. The present repository contains SysML v2 and KerML rule descriptions, OMG coaching classes and examples, project-authored sample guides, shared libraries, and a reusable mission template. The MCP server exposes this materials by means of steady subjects so the assistant can retrieve a particular reference as an alternative of counting on normal mannequin reminiscence. As a result of each the service and its sources are model managed, modifications might be reviewed and tied to the outcomes they affect.
For instance, if Syside studies {that a} fulfill relationship violates kind conformance, the assistant can retrieve the traceability steerage, decide whether or not fulfill or allocate is suitable at that location, replace the mannequin, and rerun syside examine. In SysML v2, fulfill declares {that a} design aspect fulfills a requirement, whereas allocate maps one mannequin aspect to a different, similar to assigning a habits to the part chargeable for performing it. Syside stays the authority for its diagnostics; the data base helps the LLM interpret these diagnostics and provides mission patterns which are exterior the parser’s accountability.
That distinction issues as a result of many modeling selections are legitimate syntax however weak engineering. A parser can not select an applicable decomposition stage, determine whether or not a relationship ought to specific satisfaction or allocation, distinguish a supply reality from an inference, or decide which stakeholder view will assist a evaluate. Curated steerage provides the assistant express standards for these decisions, whereas supply citations and repository historical past depart the ensuing selections open to inspection.
Curated data alone, nonetheless, doesn’t outline a repeatable method to apply it. The data base gives the what: guidelines, examples, patterns, and choice standards. Workflow abilities present the how: which context to retrieve for a activity, what sequence to observe, when to invoke deterministic instruments, what proof to retain, and when to cease. Collectively they flip steerage right into a repeatable retrieve-edit-check workflow.
The SEI developed the workflow abilities utilizing a typical, file-based talent framework and authoring steerage obtainable from the AI coding instruments used on this work. We created every one to encode an engineering workflow we wished to experiment with. Desk 3 summarizes the ten abilities and their roles, spanning data priming, mannequin improvement, diagnostic restore, evaluate, evaluation, reverse engineering, view era, code era, and doc era. The abilities are version-controlled orchestration directions, not replacements for deterministic instruments: Syside performs parsing and validation, check runners execute assessments, and renderers produce outputs.
| Talent | Position within the workflow |
|---|---|
| knowledge-primer-sysml | Hundreds the related language, tooling, and modeling context earlier than work begins. |
| model-sysml | Builds fashions in dependency order and runs validation after modifications. |
| fix-sysml | Interprets diagnostics, retrieves matching steerage, applies fixes, and revalidates. |
| review-sysml | Combines validator statistics with a structured, evidence-based mannequin evaluate. |
| analyze-sysml | Guides constraints, evaluation instances, commerce research, and traceability-gap checks. |
| explain-sysml | Retrieves references and examples to clarify language and mannequin constructs. |
| reverse-engineer-sysml | Maps current supply code right into a mannequin with source-location metadata. |
| views-sysml | Creates stakeholder-specific diagrams, tables, and matrices. |
| codegen-sysml | Maps validated mannequin constructs right into a prototype implementation. |
| docgen-sysml | Builds model-derived documentation whereas leaving narrative claims for evaluate. |
The desk is a division of accountability reasonably than a declare that each activity makes use of each talent. A model-development activity could start with the primer and modeling workflow, name the fixing workflow solely when diagnostics seem, and use the views workflow when stakeholder shows are required. Every transition is seen within the work document.
Labored Instance: Modeling a 4-Drone Survey Swarm
To point out the workflow on a bigger activity, we examined one benchmark task for a four-drone aerial survey swarm and floor management station. The immediate description under known as for coordinated survey-grid task, multispectral imaging, real-time kinetic (RTK) positioning-assisted navigation, mesh communication, separation assurance, battery and weather-triggered return-to-home, lost-link restoration, and waypoint-triggered cargo supply. The requested deliverable spanned eight coordinated SysML v2 recordsdata.
Immediate for 4 Drone Survey Swarm
Mannequin a 4-drone aerial survey swarm with floor management station in SysML v2. Every drone carries a multi-spectral digicam, GPS/INS with RTK correction (±2cm accuracy), an anemometer, a mesh radio for inter-drone communication, a cargo drop mechanism with affirmation sensor, and a battery with state-of-charge monitoring. The bottom management station (GCS) assigns survey grid segments to every drone, shows real-time fleet telemetry, and manages mission lifecycle. A deconfliction engine (operating on GCS with cooperative inputs from every drone) maintains ≥50m horizontal and ≥20m vertical separation, dynamically replanning paths when projected conflicts are detected inside a 30-second lookahead window. Return-to-home triggers: battery under 20% reserve, operator command, or sustained wind >40km/h for >5 seconds (measured by onboard anemometer). Misplaced-link protocol: if a drone loses GCS contact for >30 seconds, it autonomously climbs to a deconfliction altitude and returns to its last-known dwelling waypoint. The mesh community permits drones to relay telemetry for others which are out of direct GCS vary. Cargo drop is triggered at a GPS waypoint with launch affirmation from a mechanical sensor.
Produce 8 `.sysml` recordsdata following the template construction: sorts.sysml (enums, metadata), necessities.sysml (30+ necessities), construction.sysml (all elements/ports/connections), habits.sysml (state machines + motion flows), evaluation.sysml (battery endurance + protection + separation funds), verification.sysml (check instances), integration.sysml (4-drone fleet instantiation), views.sysml (viewpoints). Purpose for 3000–4000 traces complete throughout all recordsdata.
Within the full-tooling situation, the assistant developed sorts, necessities, construction, habits, evaluation, verification, integration, and views in dependency order. The ensuing artifact comprises 3,186 traces, or 2,135 non-blank, non-comment traces. It contains 35 requirement definitions, 22 half definitions, 16 motion definitions, 5 state definitions containing 34 states, seven evaluation definitions, 16 verification definitions, 38 satisfaction relationships, six viewpoints, and 16 view definitions. After two validation iterations, syside examine –warnings-as-errors accomplished with zero reported errors or warnings. The artifact acquired 97.2 of 100 on the project-defined sample measure.
The mannequin is simpler to examine when one concern is adopted throughout its system engineering concern. The excerpts under use deconfliction and minimal separation as that thread.
Necessities. The necessities mannequin provides the separation obligation a proper identifier, readable textual content, precedence, and security metadata:
requirement def <‘DCN-001’> MinimumSeparation {
doc /* The deconfliction subsystem shall keep a minimal horizontal
separation of 30 meters between any two drones within the swarm
throughout all phases of flight. */
@Precedence { stage = PriorityLevel::crucial; }
@SafetyCriticality {
stage = SafetyLevel::safetyCritical;
standardRef = "MIL-STD-882E";
hazard = "Mid-air collision between swarm members";
}
}
Construction. The construction mannequin includes 4 typed drone usages with a floor management station (GCS) and makes command, telemetry, mesh, and coordination paths express:
half def DroneSwarmSystem {
half drones : Drone [4];
half gcs : GCS;
connection droneToGcsCommand
join gcs.commandOut to drones.commandIn;
connection droneToGcsTelemetry
join drones.telemetryOut to gcs.telemetryIn;
connection meshNetwork
join drones.meshPort to gcs.meshPort;
connection interDroneCoordination
join drones.coordinationPort to drones.coordinationPort;
}
Conduct. The habits mannequin decomposes battle decision into technique choice, maneuver computation, clearance checking, and execution:
motion def ResolveConflict {
in conflictingDroneId : Integer;
in technique : DeconflictionStrategy;
out resolutionManeuver : String;
motion selectStrategy;
motion computeManeuver;
motion validateClearance;
motion executeManeuver;
first selectStrategy then computeManeuver;
first computeManeuver then validateClearance;
first validateClearance then executeManeuver;
}
Evaluation. The evaluation mannequin defines a swarm-level separation case and provides inputs for pairwise distance and time-to-conflict calculations:
evaluation def SeparationAnalysis {
topic swarm : DroneSwarmSystem;
goal separationObjective {
doc /* Confirm minimal 30m separation is maintained in
converging trajectory eventualities. */
}
calc pairwiseDistance : SeparationDistance {
in drone1X = 0.0;
in drone1Y = 0.0;
in drone1Z = 50.0;
in drone2X = 25.0;
in drone2Y = 15.0;
in drone2Z = 50.0;
return distanceM;
}
calc timeToViolation : TimeToConflict {
in relativePositionM = 35.0;
in relativeVelocityMs = 5.0;
in minimumSeparationM = 30.0;
return timeToConflictSec;
}
return worstCaseSeparationM : Actual;
}
Verification. The verification mannequin hyperlinks the separation requirement utilization to an ordered check process:
verification def SeparationMaintenanceTest {
topic testSwarm : DroneSwarmSystem;
goal {
confirm separationReq;
}
motion configureSwarm {
out swarmReady : Boolean;
}
motion executeConvergingPaths {
out pathsExecuted : Boolean;
}
motion measureSeparation {
out minSeparationM : Actual;
}
motion evaluateResult {
out testPassed : Boolean;
}
first configureSwarm then executeConvergingPaths;
first executeConvergingPaths then measureSeparation;
first measureSeparation then evaluateResult;
}
Collectively, the excerpts present how AI can produce a navigable first-pass mannequin wherein a requirement, system topology, habits, evaluation case, and verification process might be reviewed collectively. The mannequin additionally demonstrates why the validation loop is critical however not ample. The immediate requested 50-meter horizontal and 20-meter vertical separation, whereas the mannequin specifies 30 and 10 meters. The immediate additionally requested lost-link return to dwelling (RTH) after greater than 30 seconds, whereas the mannequin specifies detection in three seconds adopted by a 60-second loiter. The generated construction additionally omits the requested multispectral digicam, RTK receiver, anemometer, weather-abort logic, and survey-grid task, and it locations deconfliction computer systems onboard the drones reasonably than finding the engine on the floor station.
Overview of the generated mannequin recognized points past supply constancy. Though evaluation and verification parts are current, they continue to be planning buildings reasonably than accomplished proof. Calculation definitions declare inputs and returns however include no executable formulation. The evaluation return will not be certain to a calculation outcome, and no requirement or evaluation constraints are evaluated. Bodily portions use Actual with models embedded in names, as an alternative of utilizing SysML v2’s quantity-and-unit libraries. The verification case defines an goal and sequenced steps however no formal verdict expression or check outcome.
A clear validation run subsequently exhibits solely that the mannequin passes the instrument’s syntax and semantic checks. Supply reconciliation, executable evaluation, verification outcomes, and engineering evaluate are nonetheless required to find out whether or not the mannequin is appropriate and match to be used. These safeguards will stay needed at the same time as LLM capabilities advance. Continued refinement of the data base and workflow steerage, knowledgeable by findings similar to these, ought to measurably enhance the standard and completeness of fashions produced by means of AI-augmented improvement actions.
Closing Insights on AI-Augmented MBSE
The 4 opening questions result in the next 4 conclusions:
- First, engineering groups can natively combine AI into MBSE by inserting the assistant contained in the version-controlled modeling workspace, the place it might probably retrieve mission steerage, edit artifacts, invoke the modeling toolchain, and reply to the identical diagnostics utilized by engineers and steady integration (CI) instruments.
- Second, the managed benchmark exhibits a measurable however bounded worth. In these runs, iterative language server suggestions eliminated reported parser and semantic diagnostics, whereas the total toolchain produced stronger scores on the modeling patterns encoded within the mission’s rubric. Validation and steerage improved completely different elements of the outcome.
- Third, an AI-augmented MBSE workflow is greater than an assistant and a immediate. It combines a callable language-aware service, curated data, repeatable workflow abilities, deterministic instruments, and human evaluate.
- Fourth, the four-drone swarm activity exhibits that mixture in observe: an in depth system description turns into a coordinated mannequin of necessities, construction, habits, evaluation and verification plans, integration, traceability, and stakeholder views. It additionally exhibits how cross-model evaluate can expose supply mismatches and incomplete proof that language validation alone can not detect. The strategy doesn’t switch engineering accountability to the LLM. A clear mannequin nonetheless requires knowledgeable evaluate, evaluation, and verification.
We invite groups to share your individual expertise with AI-augmented MBSE and discover collaboration alternatives on the SEI to guage the influence of AI by yourself MBSE workflows. For extra info or to collaborate with the SEI, please ship an electronic mail to [email protected].