Robotik ve Otonom Sistemler

Fiziksel komut veren ajanlar için deterministik kapı.

Robotik, İHA ve otonom sistemlerde dil modelleri görev planlar, operatör komutunu yorumlar ve telemetriyi özetler. Burada bir araç çağrısı fiziksel bir eylemdir. Hareket, kavrama ya da uçuş rotası değişikliği olabilir. Thulpar araç raylarını deterministik tutar. Cedar yetkisi ve argüman şeması milisaniyeler içinde karar verir. Güvenli olmayan komut reddedilir, hız ve alan sınırları facet olarak denetlenir, operatör onayı gereken eylem beklet kararına düşer. Model yargıcı yalnızca asenkron çalışır.

Politika şablonu

tr-defence

Önerilen kurulum

Air-gap ya da kenar kurulum, Başlangıç katmanı, deterministik raylar ve asenkron yargıç. tr-defence türevi paket.

Bağlantı noktaları
MCP proxyCheck API
Regülasyon dayanağı
  • SHGM İHA Talimatı · savunma programı güvenlik kuralları
  • ISO 10218 / ISO 13482 (robot güvenliği) bağlamı
  • EU AI Act Annex III (yüksek risk)
Politika şablonu

Gerçek zamanlı sınır

Bir hareket komutu LLM yargıcını bekleyemez. Kapı deterministik olmalıdır.

Koşuları izleyin →
Koşular

Aşağıdaki senaryolar ürünün gerçek kurallarından türetilir.

Her senaryo, ürünün gerçek kurallarıyla yazılmış bir ajan koşusudur. Aşamayı, rayları, kararı, bulguyu, onayı ve defter kaydını adım adım gösterir.

4 senaryo →
Robotik ve Otonom Sistemler

Sahada karşılaşılan sorunlar

Gerçek zamanlı sınır

Bir hareket komutu LLM yargıcını bekleyemez. Kapı deterministik olmalıdır.

Komut enjeksiyonu

Sensör etiketindeki ya da görev metnindeki yazı, yeni bir komut gibi okunmamalıdır.

Kara kutu kaydı

Bir olayda ajanın gördüğü, önerdiği ve yaptığı zinciri değiştirilemez olmalıdır.

Koşular

4 senaryo

Oynatıcı öne çıkan senaryoyla açılır. Diğerlerini aşağıdan seçebilirsiniz.

Depo robot filosu komut asistanı · Filo komut asistanı · MCP proxymcptr-defencebaslangic
Karar iziFilo Komutanı · qwen3-8b · llama.cpp · kenar sunucu
S
01tool_callsistem
Proxy tools/list alır: 4 araç; şema hash’leri sabit sürümle eşleşir, açıklamalar temiz.
U
02inputkullanıcı
“R-07’yi raf C-14’e götür, 3 numaralı paleti al, hızlı ol.”
A
03tool_callajan
robot:move {robot: "R-07", target: "C-14", speed_mps: 2.4, route: ["Z-2", "C"]} çağrısı.
A
04tool_callajan
Yeniden kurulan komut: speed_mps 1.4, rota K-1 koridorundan; iki facet de sınır içinde.
A
05tool_callajan
robot:grasp {robot: "R-07", pallet: 3}; fleet:status C-14’te o anda 1 kişi gösterir.
S
06tool_callsistem
Saha amiri alanı boşaltır, 2 dakikada onaylar; koşu devam eder, kavrama yürütülür.
M
07outputmodel
Operatöre: yapılan hareket, reddedilen komut, bekletilen kavrama; üçü de defterde hash zincirinde.
A
08agent_traceajan
Yörünge asenkron yargıca gider (ayrı yargıç düğümü): hedef sapması yok, zincirleme komut yok.
Thulpar · Raylar

Operatörün emri robot:move / robot:grasp çağrılarına dönüşür; hız ve alan sınırı milisaniyede, insanlı alan onay bekler.

robot:moverobot:graspfleet:statuszones:list
Kontroller: GR-TOOL-01 · GR-TOOL-02 · GR-TOOL-03 · GR-RES-01 · GR-LOG-01
Kanıt defteri0000…0000
Simülasyon · tarayıcınızda çalışır · hiçbir istek sayfadan çıkmazeklenen gecikme: 0 ms · 8 adım · SHA-256 zincir
Bu senaryolarda çalışan kontroller

11 GR-*

idkontrolOWASPraylar
GR-TOOL-01Araç çağrısı ayrıcalık politikası (varsayılan ret)LLM06 / ASI02, ASI03 / MCP02tool.authz, tool.args
GR-TOOL-02Yüksek etkili eylemlerde dayanıklı insan onayı, four-eyesLLM06 / ASI02, ASI09labels.sink
GR-TOOL-03Araç şeması sabitleme / diff / karantina (rug-pull)LLM03 / ASI04 / MCP03, MCP04tool.schema_pin
GR-RES-01Koşu başına oran/maliyet/döngü limiti, devre kesiciLLM10 / ASI08budget
GR-LOG-01Kurcalamaya dayanıklı olay günlüğü (model/araç/politika/onay/hit), ≥ 6 ay, denetçi dışa aktarımı— / — / MCP08
GR-INJ-02Araç/RAG çıktısından dolaylı enjeksiyon: untrusted etiketi, politika olmadan yeni araç çağrısı yokLLM01, LLM08 / ASI01, ASI06 / MCP06, MCP10injection.indirect, file.hidden_text
GR-IFC-01Bilgi akışı etiketleri (bütünlük, gizlilik, tenant, PII sınıfı) ve hassas çıkışlarda zorlamaLLM02 / ASI01, ASI03 / MCP10labels.sink, pii.detect
GR-OUT-01Çıkış işleme: ham HTML yok, kod sandbox, şema doğrulamaLLM05 / ASI05 / MCP05code, schema, regex, secrets, file.analyze, file.type, file.active_content, yara
GR-INJ-01Doğrudan enjeksiyon ve jailbreak geçitte (TR+EN)LLM01 / ASI01 / MCP06injection.direct, jailbreak
GR-CONT-01İçerik zararı politikası (AILuminate 12 + TR) tenant eşikleriyleLLM09 / ASI09content.input, content.output, toxicity, topic, groundedness, language, image.content_safety, banlist, competitors
GR-TOOL-05Araç argümanlarında SQL / komut / dosya yolu / RFI / XSS enjeksiyonu (libinjection + OWASP CRS)LLM05 / ASI02, ASI05 / MCP05tool.args.injection

Tam katalog ve kanıt paketleri →

Kendi ortamınızda görün.

Bir saatlik teknik demo: sizin senaryonuz, sizin politika paketiniz, kapalı devre bir kurulumda. Sonrasında pilot için kurulum kiti ve deneme lisansı.

Demo iste → Dokümanları oku info@thulpar.com