Loodud kontrollitavaks
PERSEUS on ehitatud kaitsetaseme inseneeria standardile, deterministlik C++20 tuumik, standarditepõhine koostalitlusvõime ja tõendid, mida hindaja saab sõltumatult kontrollida, baidini välja.
SAE AS-4 JAUS, ainus koostalitluse rada.
PERSEUS räägib JAUS-i üle reaalse UDP. Selle liinitasandi vastavus on ristvalideeritud sõltumatu Pythoni dekoodri vastu, nii et koostalitlusvõime väide tugineb tõendile, mitte väitele.
JUDP transport
JAUS UDP transport, iga bait platvormi tagasisidest liigub üle reaalse UDP, ei mingit failipõhist simulatsiooni.
Põhiteenuste komplekt
Halduse olekumasin, avastamine, südamelöök ja ACK/NAK vastuste käsitlemine.
Liikuvuse teenuste komplekt
SetGlobalVector / SetTravelSpeed / SetGlobalWaypoint väljuvana; ReportGlobalPose saabuvana.
SIDL ja LOI semantika
Teenuseliidese definitsioon pluss STANAG-iga vastavusse viidud koostalitlusvõime tasemete semantika.
Kõvad reeglid, jõustatud automaatselt.
Need ei ole juhised, need on invariandid, mida automaatsed kaitsemehhanismid igal commit’il kontrollivad.
Deterministlik arutlus
Ei mingit varjatud masinõpet, ei mingit läbipaistmatut järeldamist. Brain on taasesitatav, identsed sisendid annavad identse, seletatava nõu.
Üksnes nõuandev väljundpind
Iga v1 leping kannab advisory_only=true. Üheski väljundis ei ole kusagil käskivaid välju, ei gaasi, roolimist, pidurit, relva ega efektorit.
Sensoritest sõltumatu tuumik
Null sensori / kaamera / LiDAR-i / radari / GNSS-i / raadio identifikaatorit Brain’is, doktriinis või taju-toodete kihis, auditeeritud igal commit’il, 0 vastet.
Hädaseiskamine jääb kandeplatvormile
PERSEUS ei teosta hädaseiskamist. Pidurdamine, roolimine, gaas, roomikud ja ohutuse sertifitseerimine kuuluvad kandeplatvormile.
Praegune väravaaruanne.
Hetktõmmis valideerimisväravatest esitamise tõendite põhjal. Iga näitaja taastoodetakse kohalikult ja on baidi täpsusega kontrollitav lisatud SHA-256 manifesti vastu.
Näitajad kajastavad 2026-06-06 esitamise hetktõmmist. Praeguseid arve hoitakse hoidla verifitseerimise oleku kirjes.
Iga käivitus toodab kontrollitava paketi.
Iga demo väljastab ajatempliga tõendusarhiivi, ja täispaketti saab kokku panna ühe skriptiga. Hindaja saab selle kohalikult taastoota ja lisatud manifesti vastu kontrollida.
- Testilogid ja verifitseerimise väljundid
- Käitusaja / serva-jõudluse ajastus
- Panus COP-i kirje
- Ülesannete koordineerimise nõuanne
- Kandeplatvormi täitmise tagasiside peegeldus
- Navigatsiooni usalduse ja side halvenemise olek
- Sisust tuletatud tõendusräsi
- Taasesituse determinismi väljundid
Inseneeriaprofiil.
Deterministlik tuumik, range-hoiatuse ehitus
Töötab serva-klassi arvutuses kandeplatvormi pardal
Reaalne liinitasandi koostalitlusvõime piir
Deterministlik salvestus ja taasesitus auditiks
Räägi meie inseneerimeeskonnaga.
Tutvustame integratsiooni- ja hindamismeeskondadele arhitektuuri, otseülekandega JAUS-i demonstratsiooni ja adapteripiiri kandeplatvormi (UGV) integratsiooniks.
