Get started with AI-powered MBSE in 5 minutes!
- ArcLang Compiler installed
- Python 3.10+
- Claude Desktop or any MCP-compatible client
- Anthropic API Key (optional, for AI generation)
cd ..
cargo install --path .
arclang --version # Verify installationcd mcp-server
pip install -e .arclang-mcp --helpAdd to ~/Library/Application Support/Claude/claude_desktop_config.json:
{
"mcpServers": {
"arclang": {
"command": "python",
"args": ["-m", "arclang_mcp.server"],
"env": {
"ARCLANG_WORKSPACE": "/path/to/your/models",
"ANTHROPIC_API_KEY": "your-api-key-here"
}
}
}
}export ARCLANG_WORKSPACE="/path/to/models"
export ANTHROPIC_API_KEY="your-api-key"
export ARCLANG_BINARY="arclang" # OptionalCreate .arclang-mcp.toml in your workspace:
[workspace]
root = "models/"
build_dir = "build/"
[compiler]
path = "arclang"
timeout = 30
[ai]
provider = "anthropic"
model = "claude-3-5-sonnet-20241022"
temperature = 0.3Close and reopen Claude Desktop to load the MCP server.
In Claude Desktop, type:
Can you list the available ArcLang tools?
Claude should show 15+ tools available.
You: "Create an ASIL-B requirement for maintaining safe distance"
Claude: [Uses arclang_generate_requirement]
requirement "REQ-DIST-001" {
description: "System shall maintain 2-second safe following distance"
priority: "Critical"
safety_level: "ASIL_B"
type: "Functional"
verification_method: "Test"
}
You: "Suggest an architecture for this requirement"
Claude: [Uses arclang_suggest_architecture]
Suggests components like:
- Radar Sensor
- Distance Controller
- Safety Monitor
You: "Validate my model at models/acc_system.arc"
Claude: [Uses arclang_validate]
Shows validation results with errors/warnings.
You: I need to create an adaptive cruise control system for automotive (ISO 26262 ASIL-B).
Can you help me design it?
Claude: [Uses multiple tools]
1. Generates requirements
2. Suggests architecture
3. Creates components
4. Validates traceability
5. Checks safety compliance
You: Check if models/flight_control.arc is valid and compliant with DO-178C DAL-A
Claude: [Uses arclang_validate + arclang_safety_check]
- Validates syntax
- Checks safety compliance
- Reports issues
- Suggests fixes
You: Find untraced requirements in my model
Claude: [Uses arclang_trace_analysis]
- Shows coverage percentage
- Lists untraced requirements
- Lists untraced components
- Suggests trace links
You: I have a merge conflict in models/architecture.arc.
The conflict is between our changes to REQ-001 and their changes.
Claude: [Uses arclang_git_merge]
- Analyzes both versions
- Identifies conflicts by component ID
- Suggests resolution strategy
| Tool | Use When |
|---|---|
arclang_compile |
Compile model to Capella XML |
arclang_validate |
Check syntax and semantics |
arclang_trace_analysis |
Analyze traceability |
arclang_export_diagram |
Generate visual diagrams |
arclang_info |
Get model statistics |
| Tool | Use When |
|---|---|
arclang_generate_requirement |
Create requirement from description |
arclang_generate_component |
Create component from description |
arclang_suggest_architecture |
Get AI architecture suggestions |
| Tool | Use When |
|---|---|
arclang_safety_check |
Validate safety compliance |
arclang_hazard_analysis |
Perform HARA analysis |
| Tool | Use When |
|---|---|
arclang_git_merge |
Resolve merge conflicts |
arclang_plm_sync |
Sync with PLM systems |
Instead of:
Use arclang_generate_requirement with description "brake system" and safety_level "ASIL_C"
Try:
Create an ASIL-C requirement for the brake override system
Create a complete ACC system with requirements, architecture, and traceability
Claude will use multiple tools automatically.
You: Create a radar sensor component
Claude: [generates component]
You: Add a self-diagnostic function
Claude: [refines component]
You: Make it ASIL-D compliant
Claude: [adds safety attributes]
You: I'm working on an aerospace flight control system (DO-178C DAL-A).
What components do I need?
Claude: [Understands domain and standard, suggests appropriate architecture]
-
Check Claude Desktop config:
cat ~/Library/Application\ Support/Claude/claude_desktop_config.json
-
Verify paths are correct:
which python which arclang
-
Check logs:
tail -f ~/Library/Logs/Claude/mcp*.log
# Test compiler directly
arclang build models/test.arc
# Check if compiler is in PATH
which arclang
# Set explicit path in config
export ARCLANG_BINARY="/full/path/to/arclang"# Verify API key is set
echo $ANTHROPIC_API_KEY
# Or add to config file
cat > ~/.arclang-mcp.toml << EOF
[ai]
api_key = "sk-ant-..."
EOF- Add custom tools
- Integrate with your PLM
- Create domain-specific templates
- Report issues: https://github.com/Mbaroudi/arclang/issues
- Submit PRs: https://github.com/Mbaroudi/arclang/pulls
You: Create an automotive ACC system with ISO 26262 ASIL-B compliance
Claude: I'll create a complete ACC system for you.
[Generates Requirements]
- REQ-ACC-001: Maintain safe distance (ASIL-B)
- REQ-ACC-002: Detect lead vehicle (ASIL-B)
- REQ-ACC-003: Control throttle (ASIL-B)
[Suggests Architecture]
- Radar Sensor (LC-SENS-RADAR)
- ACC Controller (LC-CTRL-ACC)
- Throttle Actuator (LC-ACT-THROTTLE)
- Safety Monitor (LC-SAFETY-MON)
[Creates Components with Functions]
Each component with appropriate:
- Inputs/outputs
- Execution times
- Safety levels
[Establishes Traceability]
All components traced to requirements
[Validates Safety]
✅ ISO 26262 ASIL-B compliant
✅ 100% traceability coverage
✅ All safety requirements satisfied
You: Export a diagram
Claude: [Generates diagram]
✅ Diagram saved to acc_system.html
You: Perfect! Thanks!
Ready to transform your systems engineering workflow?
Start chatting with Claude and experience AI-powered MBSE! 🚀