Programska oprema, ki deluje pod pritiskom.
Pišemo programsko opremo za lastne brezpilotne sisteme — od krmiljenja v realnem času na mikrokrmilnikih do avtonomije na zmogljivih robnih računalnikih. Enako razvijamo tudi za naročnike iz obrambe, motošporta in industrije. Ploščo in njeno programsko opremo načrtujejo isti inženirji, zato časovne zahteve, vmesnike in odpovedi rešujemo skupaj.
Izvorna koda je vaša · Varen zagon in podpisane posodobitve · Kakovost usklajena z EN 9100 (v teku)
Ena arhitektura. Preizkušena v naših sistemih.
Krmiljenje v strogem realnem času na krmilniku, zaznavanje in avtonomija na spremljevalnem računalniku — kot enotna arhitektura za vse naše platforme.
- Sloj 4 — AvtonomijaLogika misije, zaznavanje okolice, navigacija ob motenem GNSS · NVIDIA Jetson modul · Linux / ROS 2
- Sloj 3 — KomunikacijaTelemetrija in ukazna povezava · MAVLink / lasten protokol · šifrirana podatkovna povezava · CAN / DroneCAN, Ethernet
- Sloj 2 — KrmiljenjeFuzija senzorjev, ocena stanja, krmilne zanke v realnem času · RTOS · lasten sklad / na osnovi PX4 / ArduPilot
- Sloj 1 — Strojna opremaGonilniki, zagonski nalagalnik in HAL za naš krmilnik in nosilno ploščo · družina MCU
Kaj razvijamo.
Programska oprema v realnem času
Deterministična koda, pri kateri šteje vsaka mikrosekunda.
- Bare-metal in RTOS programska oprema
- Krmilne zanke, krmiljenje motorjev in aktuatorjev
- Gonilniki in zagonski nalagalniki
- Časovna analiza na pravi strojni opremi
Robno računalništvo in avtonomija
Obdelava na napravi, ne v oblaku.
- Vgrajeni Linux, BSP in Yocto slike
- Računalniški vid na procesorjih Jetson
- Fuzija senzorjev in ocena stanja
- Navigacija ob motenem GNSS
Komunikacija
Zanesljive povezave med senzorji, podsistemi in operaterjem.
- CAN / DroneCAN, Ethernet, UART, SPI
- MAVLink in lastni protokoli
- Telemetrija v živo, hiter zajem podatkov
- Dokumenti o vmesnikih (ICD)
Orodja in posodobitve
Vzdržljivo tudi po prototipu.
- Orodja za nastavitve in kalibracijo
- Posodobitve na terenu z možnostjo povrnitve
- Ponovljive gradnje, CI
- Diagnostika za operaterje in servis
Odpove varno. In ne da se je zlorabiti.
Na misiji ali na progi napaka v programski opremi pomeni odpoved sistema. Zato načrtujemo za slabe pogoje, izgubljene povezave in sovražno okolje — in vse to preizkusimo pred predajo.
- Varna odpoved
- Nadzorni časovniki, nadzor stanja, določeno obnašanje ob izgubi povezave, odpovedi senzorja in nizki napetosti
- Varen zagon
- Podpisana programska oprema, preverjena zagonska veriga, overjen postopek posodobitve, če je implementirano.
- Varne povezave
- Šifrirane ukazne in telemetrijske povezave, AES-256 / ključi za vsak projekt
- Razvojni proces
- Standard kodiranja MISRA C / lasten, pregledi kode, statična analiza, sledljivost od zahteve do testa; prakse po vzoru DO-178C
- Dobavna veriga
- SBOM za vsako izdajo, pregled licenc tuje kode, razvoj v EU
Preizkušeno na mizi, preden gre na teren.
Simulacija programske opreme
Krmilna logika in logika misije tečeta proti simulirani dinamiki ob vsaki spremembi kode.
Strojna oprema v zanki
Prave plošče, pravi senzorji in aktuatorji, simulirano delovanje — tudi z namerno vnesenimi napakami.
Terenski testi
Validacija v realnih pogojih, s polnim beleženjem in analizo po testu.
Od zahtev do izdane programske opreme v petih korakih.
Začnemo lahko iz nič, obstoječo kodo prenesemo na novo strojno opremo ali prototip pripeljemo do serijske kakovosti. Vsaka faza se konča s pregledom in jasno odločitvijo.
- 01
Zahteve
Funkcije, časovne omejitve, vmesniki, varnostni scenariji. Podpis NDA.
- 02
Arhitektura
Programska arhitektura, ICD, orodja. Pregled z vašimi inženirji.
- 03
Razvoj
Iterativne gradnje na pravi strojni opremi, SIL testi ob vsaki spremembi.
- 04
Integracija in HIL
Sistemska integracija, vnašanje napak, terenski testi.
- 05
Izdaja in podpora
Verzionirana izdaja, dokumentacija, orodja za posodobitve, dolgoročno vzdrževanje.
Kaj prejmete.
Vse, kar potrebujete, da programsko opremo zgradite, testirate, certificirate in vzdržujete — z nami ali brez nas.
- Serijska programska oprema
- Podpisane, verzionirane izdaje z opombami ob izdaji
- Izvorna koda in okolje
- Celotna koda, ponovljivo kontejnersko gradbeno okolje, CI
- Dokumentacija vmesnikov
- ICD, specifikacije protokolov, opis API
- Testi in poročila
- SIL in HIL testi, rezultati, sledljivost zahtev
- SBOM in licence
- Seznam programskih komponent in poročilo o licencah
- Orodja
- Orodja za nastavitve, kalibracijo in posodobitve na terenu
Preden vprašate.
Lahko delate na strojni opremi, ki je niste razvili vi?
Da. Pišemo programsko opremo za plošče drugih proizvajalcev in obstoječo kodo prenašamo na novo strojno opremo. Najboljši rezultat sicer dosežemo, če razvijemo oboje, a to ni pogoj.
Dobimo izvorno kodo?
Da. Celotna izvorna koda in gradbeno okolje sta del predaje, po dogovorjenih pogodbenih pogojih.
Temelji vaša rešitev na odprtokodnih avtopilotih?
Naš sklad temelji na PX4 / ArduPilot z našimi razširitvami. Vsaka izdaja vključuje SBOM in pregled licenc, tako da natančno veste, kaj dobavljate naprej.
Nam lahko pomagate pri certificiranju?
Delamo s sledljivostjo zahtev, pregledi kode in dokazili o testiranju, ki certificiranje podpirajo. Formalna podpora za DO-178C ali drug standard: opišite, kaj ponujate.
Ponujate dolgoročno vzdrževanje?
Da. Popravke, varnostne posodobitve in nove funkcije zagotavljamo v okviru pogodbe o podpori.
Pošljite zahteve. Odgovoril vam bo inženir, ne prodajnik.
Pošljite specifikacijo, opis vmesnikov ali problem, ki ga želite rešiti. Inženir za programsko opremo se vam oglasi v 2 delovnih dneh — po potrebi pod NDA.