Om StavangerLiving
Vi bygger IoT-infrastruktur for bransjer der feil ikke er et alternativ — med matematisk verifisert sikkerhet fra sensor til sky.
Hva vi gjør
StavangerLiving er en multi-protokoll industriell IoT-plattform for sanntidsovervåking, kontroll og analyse av roboter og sensorer. Plattformen støtter OPC-UA, NMEA 0183/2000, ROS2 og Modbus i én og samme arkitektur.
I motsetning til standard sensorplattformer leverer vi formelle garantier på korrekthet — ikke bare tester. Koden er verifisert med Frama-C og CBMC, og alle datastrømmer valideres mot JSON-skjemaer i kjøretid.
Verdier og tilnærming
Verifisert, ikke bare testet
Frama-C WP og CBMC brukes for matematisk bevis på kritisk kode. Rust-kompilatoren garanterer minnefrihet på edge-noden.
Plug-and-play protokoller
OPC-UA, NMEA 0183/2000, ROS2 og Modbus inn i én stream-arkitektur. Nye protokoller krever ingen schema-endringer.
Kontraktsdrevet design
JSON-skjemaer deles på tvers av alle tjenester. Ugyldig data stoppes ved kilden — ikke etter at det har nådd databasen.
Teamet bak
Et lite, tverrfaglig team med bakgrunn fra produksjonsledelse, elektronikk og fullstack-utvikling.
Atle Strømsvold
Systemarkitekt & Utvikler
Bachelor i produksjonsledelse, sterk bakgrunn innen elektronikk og data. Bygger alt fra Rust edge-kode til Nuxt-frontend.
Champi Watkhian
Motivator & Sparringspartner
Holder fremdrift og kvalitet oppe. Sørger for at det som bygges faktisk løser et problem.
Dan
Teknisk støtte
Datasveis, systemtenking og "kan-fikse"-mentalitet. Uvurderlig når ting skal settes sammen i virkeligheten.
Interessert i en demo?
Vi tilbyr proof-of-concept-prosjekter for olje & gass, maritim og industriautomasjon. Ta kontakt for en uforpliktende samtale.