Skip to main content
CalibraScene

Istraživački prototip · validacija u automobilskoj industriji

Od dokaza o nesrećama do sljedivih validacijskih scenarija.

CalibraScene je dokazima ograničen tijek rada umjetne inteligencije. Heterogene dokaze o nesrećama pretvara u prikaze scenarija i odluke o pokrivenosti validacije koje uvažavaju nesigurnost.

Dokazi koji nedostaju ostaju vidljivi. Proturječja ostaju izričita. Samo nesigurnost relevantna za cilj može ostaviti odluku otvorenom; odlučujuće tvrdnje zadržavaju svoje podrijetlo.

Otvorite interaktivni prikazIstražite pristup
Dokazi iz izvoraStrukturirani scenarijOdluka o validaciji

Zašto ovo postoji

Uvjerljiv odgovor nije isto što i potkrijepljen odgovor.

Dokazi o nesrećama nepotpuni su. To je uobičajeno — zapisi se kodiraju za druge svrhe, izvješća izostavljaju pojedinosti, a neke činjenice nikada nisu izmjerene. Rizik je u onome što slijedi: generativni sustav od kojeg tražimo potpuni scenarij obično ga i proizvede, popunjavajući praznine vrijednostima koje su vjerojatne, a ne potkrijepljene.

U planiranju validacije to teži više nego što se isprva čini. Odluke o pokrivenosti usporedbe su s rasponima parametara. Izmišljena vrijednost dovoljno je određena da padne unutar ili izvan raspona. Ne dodaje, dakle, samo šum — odluku može prevrnuti iz „neriješeno” u uvjerljivo podudaranje ili uvjerljivo isključenje. Inženjer nizvodno ne može vidjeti da odlučujuće vrijednosti u dokazima nikada nije bilo.

Prisilno dopunjavanje

  • Kretanje druge stranezaustavljeno
  • Odnos putanjaisti trak
  • Brzina pri udaru42 km/h
Odluka o pokrivenostiMATCH

Odlučeno vrijednošću bez dokazne osnove.

Naizgled potpuno. Odlučujuća vrijednost nikada nije opažena.

Ograničeno dokazima

  • Kretanje druge stranezaustavljenoOBSERVED
  • Odnos putanjaisti trakDERIVED
  • Brzina pri udarunije zabilježenaUNKNOWN
Odluka o pokrivenostiUNKNOWN

Ostaje otvorena dok se dokaz o brzini ne pribavi ili razriješi.

Vidljivo nepotpuno. Praznina je nalaz i može se rješavati.

Ilustrativna usporedba. Sintetičke vrijednosti, ne rekonstrukcija nesreće.

Kako radi

Tri faze, jedna dokazna okosnica.

Dokazi ulaze kao zapisi iz različitih izvora, a izlaze kao odluka o pokrivenosti validacije. Bitno je da ništa usput ne izgubi svoj epistemički identitet: vrijednost zaključena u drugoj fazi i dalje je označena kao zaključena kada u trećoj fazi o nečemu odlučuje.

  1. C1: Funkcionalni scenarij

    Heterogeni dokazi o nesrećama, normalizirani u ponavljajuću strukturu scenarija.

    Strukturirane nacionalne baze o nesrećama obrađuju izričiti adapteri, a ne jezični model — sheme su poznate, pa bi generativno izlučivanje dodalo rizik bez dodatne informacije. Zapisi se normaliziraju u zajedničku taksonomiju kako bi scenariji iz različitih izvora postali usporedivi.

    • Adapteri izvora
    • Normalizacija
    • Ponavljajuća struktura

  2. C2: Logički scenarij + SSR

    Ograničeno obogaćivanje u strukturirani prikaz scenarija.

    Nestrukturirani dokazi — opisi, skice, slike — mjesto su na kojem generativno izlučivanje opravdava svoje postojanje. Predloženi kandidati primaju se kao tvrdnje s ulogom izvora i epistemičkim stanjem, nikada kao gole činjenice. Sudionici, cesta i okoliš, događaji i domene parametara nastaju zajedno s nesigurnošću i podrijetlom.

    • Sudionici
    • Cesta i okoliš
    • Događaji
    • Domene parametara
    • Nesigurnost
    • Podrijetlo

  3. C3: Pokrivenost validacije

    Provjera po dimenzijama u odnosu na verzionirana kataloška ograničenja.

    Za prihvaćeni SSR S i zadani validacijski cilj T, C3 vrednuje samo dimenzije koje ograničava T. Nedostajući ili proturječni dokazi u potrebnoj dimenziji daju UNKNOWN ili CONFLICT umjesto nagađanja; nerazriješeni dokazi izvan T ne kontaminiraju odluku, a zasebno potkrijepljeno proturječje i dalje može opravdati EXCLUDED.

    • MATCH
    • EXCLUDED
    • UNKNOWN
    • CONFLICT

Okosnica dokaza i podrijetlaIzvor, epistemičko stanje i podrijetlo prate svaku tvrdnju kroz sve tri faze.

Interaktivni prikaz

Promijenite dokaze. Promatrajte odluku.

Radni model odlučivačke semantike koji se u cijelosti izvodi u vašem pregledniku. Odaberite scenarij, dodajte ili povucite dokaze i promatrajte kako reagira odluka o pokrivenosti. Ništa od toga ne napušta ovu stranicu.

Ego vehicle approaches a stationary vehicle in the same lane. Impact speed decides whether the case falls inside the target’s tested band.

Promijenite dokaze

Odluke o pokrivenosti

  • Target AMATCH

    Same-lane stationary counterpart, low-speed band.

    Potkrijepljeno podudaranje. Svaka odlučujuća dimenzija pozitivno je potkrijepljena dopuštenim dokazima.

    • Odlučujuće
    • Counterpart road user
    • Counterpart motion
    • Path relation
    • Impact speed
  • Target BEXCLUDED

    Same-lane stationary counterpart, higher-speed band.

    Potkrijepljeno isključenje. Potkrijepljena vrijednost proturječi ovom cilju. Isključenje stoji na dokazima.

    • Odlučujuće
    • Impact speed

Odakle sustav to zna?

Odaberite parametar za praćenje podrijetla.

Razriješeni parametri

Registar dokaza

  • Counterpart road userpassenger carPovijesno opažanjeSmije odlučivatiSource A — structured collision record
  • Ego motiontravelling forwardPovijesno opažanjeSmije odlučivatiSource A — structured collision record
  • Counterpart motionstoppedPovijesno opažanjeSmije odlučivatiSource A — structured collision record
  • Path relationsame lane, same directionDeterministička izvedbaSmije odlučivatiDerived from ego and counterpart headings
  • Road contextsingle carriagewayPovijesno opažanjeSmije odlučivatiSource B — narrative report
  • Visibilitydaylight, clearPovijesno opažanjeSmije odlučivatiSource B — narrative report
  • Impact speed28–34 km/hPovijesno opažanjeSmije odlučivatiSource A — recorded impact speed band

Sintetički prikaz. Ilustrira dokaznu i odlučivačku semantiku sustava CalibraScene; nije rekonstrukcija nesreće, sigurnosna certifikacija ni empirijsko mjerilo točnosti.

Target A: MATCH. Target B: EXCLUDED

Trenutačni dokazi

Što sustav dokazivo radi.

Zamrznuti prototip v0.21 ponovno je kvalificiran 8. rujna 2026. Brojke u nastavku ograničeni su strukturni i programski dokazi: pokazuju implementiranu obradu, mapiranje i determinističko ponašanje matchera, a ne stručno potvrđenu automobilsku točnost.

Zamrznuti dokazi, svježe kvalificirani

  • 391,057obrađenih strukturiranih redaka nesreća iz UK-a + Belgije
  • 3,002redaka CycleCrash anotacija mapiranih u shematski valjane SSR-ove
  • 241automatiziranih testova prolazi u implementaciji v0.21
  • 493/493strojno generiranih matcher-oracle slučajeva prolazi

Ove brojke dokazuju širinu obrade, programsku ispravnost prema definiranim ugovorima i reproducibilnost. Ne dokazuju semantičku automobilsku točnost, sirovu VLM točnost ni katalog kao ground truth.

  • Regresijski testiranoIzvedba prototipa

    Radni prototip, osiguran testovima

    Privatna istraživačka implementacija pokrivena je automatiziranim regresijskim, shematskim i provjerama ugovora o dokazima, pa se lom semantike dokaza otkriva u testovima, a ne tek u demonstraciji. Ograničene brojke iznad vezane su uz zamrznuti dokazni paket v0.21 i njegovu ponovnu kvalifikaciju 8. rujna; ne predstavljaju tvrdnju o automobilskoj točnosti.

  • DeterminističkoPonovljivost

    Deterministički put dokaza

    Determinističke faze građene su tako da iz istih pribijenih ulaza i iste konfiguracije vraćaju jednake strukturirane izlaze i jednake odluke o validaciji. Model, upit, skup za pretraživanje i konfiguracija verzionirani su, pa se rezultat može slijediti natrag do uvjeta koji su ga proizveli.

  • Ograničeno dokazimaPostupanje s dokazima

    Sigurno zakazivanje u odnosu na cilj

    Nedostajući, proturječni ili nedopušteni dokazi ne mogu odlučiti ciljnu dimenziju koja o njima ovisi. Nesigurnost drugdje ostaje vidljiva, ali ne blokira automatski nepovezane ciljeve; svaki rezultat zadržava ograničene dimenzije koje su bile odlučujuće ili neriješene.

  • IzvedenoCjelovita integracija

    Put C1 → C2 → C3 teče s kraja na kraj

    Privatni prototip povezuje obradu funkcionalnih scenarija, prikaz dokaza na razini scenarija i determinističko zaključivanje o pokrivenosti validacije u jedan put, a ne u tri odvojena pokusa. Ova stranica opisuje tu arhitekturu bez objavljivanja privatnih skupova podataka ili izvedbene logike.

Rad na načinu otkazivanja

Stvara li nepotkrijepljeno dopunjavanje lažna isključenja?

Namjerno malen zamrznut pokus ispituje plaća li politika koja prazninu popuni vjerojatnom zadanom vrijednošću svoju dodatnu potpunost samouvjerenim i pogrešnim isključenjima — upravo onom greškom koju ovaj projekt treba spriječiti. Zamišljen je kao provjera izvedivosti i načina otkazivanja, a ne kao procjena učinkovitosti.

Rad o načinu otkazivanja ovakvog opsega ne može poduprijeti tvrdnju o točnosti na razini populacije niti se tako prikazuje. Brojke će biti objavljene kada ih ponese odobreno izdanje dokaza.

Povijesna nesreća s ljudskim vozačem dokaz je da se scenarij dogodio; nije dokaz ADS-specifične kritičnosti niti dokaz da je postojeći validacijski cilj nedostatan. Ta pitanja zahtijevaju neovisno prosuđenu automobilsku semantiku. Veće tvrdnje o točnosti do tada ostaju namjerno neobjavljene.

Arhitektura dokaza

Što je scenarij strukturno.

Strukturirani prikaz scenarija artefakt je prema kojem je definirano sve ostalo. Njegov oblik nosi jamstva: epistemičko stanje pohranjuje se odvojeno od uloge izvora, a međuovisni parametri ostaju povezani.

Odaberite čvor za pojedinosti.

  • Scenario

Izvori

Svaki je izvor registriran s verzijom i uvjetima pristupa. Tvrdnja uvijek upućuje natrag na jedan od njih.

Stanje i uloga su odvojeni

Koliko smo sigurni i odakle vrijednost potječe dva su pitanja. Odvojena pohrana omogućuje da se vrijednost protokola zabilježi, a da ne postane opažanje.

UNKNOWN je vezan uz cilj

Parametar bez dopuštene potpore blokira samo cilj čija ograničenja ovise o tom parametru. Nepovezani ciljevi vrednuju se iz vlastitih ograničenih dimenzija; zasebno potkrijepljeno proturječje i dalje može opravdati EXCLUDED.

Proturječje ostaje proturječje

Proturječni se izvori ne usrednjuju, ne rangiraju po pouzdanosti i ne razrješavaju tiho. Proturječje je rezultat.

Povezano ostaje povezano

Ovisni parametri ostaju n-torke. Njihovo širenje u kartezijev produkt izmislilo bi kombinacije koje nijedan slučaj ne podupire.

Gdje je generativna UI

Generativno gdje pomaže. Deterministički gdje mora biti.

Arhitektura je namjerno hibridna. Strukturirane nacionalne baze o nesrećama imaju poznate sheme, pa ih obrađuju izričiti adapteri — predati ih jezičnom modelu dodalo bi načine otkazivanja bez dobitka. Generativni i višemodalni modeli koriste se ondje gdje su dokazi nestrukturirani, a semantičko čitanje doista teško.

Podjela rada je bit. Generativni modeli predlažu; dokazni sloj odlučuje što prijedlog smije postati. Model koji čita opis može predložiti raspon brzine, i taj se prijedlog prima kao ograničena tvrdnja zaključena modelom. Ne može postati opažanje niti se suziti u vrijednost koju izvor nikada nije poduprijeo.

  1. Generativno izlučivanje

    Čitanje opisa, skica i slika uz VLM i potporu pretraživanja.

  2. Prihvat dokaza

    Provjera uloge izvora, podrijetla i logičke potkrijepljenosti. Nepotkrijepljeno sužavanje se odbija.

  3. Prikaz scenarija

    Tvrdnje se sklapaju u SSR uz očuvano stanje i nesigurnost.

  4. Determinističko zaključivanje

    Usporedba s katalogom i odluke o pokrivenosti, ponovljive među izvođenjima.

Dokazni i odlučivački slojevi opisani ovdje ostvareni su u trenutačnom prototipu. Širi generativni i višemodalni sloj izlučivanja ciljna je arhitektura faze Advance: opisan je kao namjera, a ne kao izmjeren. Ne tvrdi se da je produkcijski VLM ili sloj pretraživanja u ovoj fazi vrednovan.

Projektne kontrole

Građeno tako da bude provjerljivo.

Ovo su inženjerske kontrole, a ne načela. Svaka je svojstvo prikaza — zato izdrže pod pritiskom umjesto da se oslanjaju na to da se model lijepo ponaša.

Korisna nesigurnost

Sustav vraća UNKNOWN kada ciljna relevantna dimenzija nema dopuštenu potporu. Nedostajući dokazi izvan tog cilja ostaju vidljivi, ali ne poništavaju inače potkrijepljenu odluku.

Vidljivo neslaganje

Proturječni dokazi ostaju CONFLICTING. Ništa se ne usrednjuje u lažni konsenzus niti tiho odlučuje prema posljednjem pročitanom izvoru.

Podrijetlo po konstrukciji

Odlučujući parametar zadržava uputnicu na dokaz ili determinističko pravilo iza sebe. Trag se ne rekonstruira naknadno.

Izričito stanje pregleda

Ljudska je prosudba prikazana u zapisu, pa se pregledane i nepregledane tvrdnje nikada ne miješaju.

Odvojene uloge izvora

Zaključak modela, povijesno opažanje, vanjski kontekst, deterministička izvedba i vrijednosti protokola ostaju razlučivi za cijeli vijek zapisa.

CalibraScene primjenjuje projektne kontrole visoke razine jamstva, primjerene sigurnosno usmjerenoj inženjerskoj uporabi. Konačna regulatorna klasifikacija ovisi o predviđenoj primjeni.

Trenutačno stanje

TRL3 · v0.21

Istraživački prototip TRL3.

CalibraScene je funkcionalni TRL3 istraživački prototip koji provodi dokazni put C1 → C2 → C3. Tri vanjska tehnička pregleda već su propitala dostatnost dokaza, kritičnost i semantiku kataloga; neovisna automobilska prosudba još je potrebna.

Trenutačni fokus

  • Neovisna automobilska prosudba semantike C1, C2 i C3.
  • Dublji dokazi o uzročnosti i kontekstu prije sudara, uključujući dokaze bez sudara gdje poboljšavaju tumačenje ciljeva.
  • GenAI naspram determinističkih baselineova pri jednakoj pokrivenosti odluka, uključujući lažna isključenja i kalibraciju.
  • Validacija u čistom spremniku i relevantnom okruženju na putu od TRL3 prema TRL5.

Ne tvrdi se

CalibraScene ne tvrdi homologaciju, certifikaciju Euro NCAP, ovlast za rekonstrukciju nesreća, sigurnost u primjeni ni cjelovit automobilski sigurnosni dokaz. Podrška je odlučivanju u pripremi validacije — i u ranoj je fazi.

Kontekst

AI-BOOST Challenge 4

CalibraScene je prijavljen 8. rujna 2026. na AI-BOOST Challenge 4: Generative AI for Automatic Test Case Generation from Crash Databases & Standards. Odabir je još u tijeku.

CalibraScene je neovisan projekt i ne prikazuje se kao financiran, podržan ili certificiran od strane AI-BOOST, Siemens ili Euro NCAP.

O projektu

Neovisan istraživački i inženjerski projekt.

CalibraScene razvija Tomi Šeregi. Izvedba i arhiv dokaza su privatni; ova stranica opisuje arhitekturu i semantiku, a ne objavljuje sustav.

Javite seOstali projekti