Forskningsgruppe Pålitelig automatisering

Forskningsområde

Vi er én av to kybernetikkgrupper i SINTEF og arbeider med å implementere cyber‑fysiske systemer for digitalisert industriell automatisering, robotikk, landbruk, romfart og kritisk infrastruktur som digitaliserte kraftnett. 

Cyber‑fysiske systemer brukes til å overvåke og styre fysiske prosesser ved å integrere sensorer, aktuatorer, innebygde systemer, nettverk og distribuert sanntidsprogramvare. Fordi slike systemer samhandler med den fysiske verden og kan styre kritisk infrastruktur eller potensielt farlig utstyr, er sanntidsegenskaper, pålitelighet og sikkerhet av avgjørende betydning.

Ekspertise

Gruppen har ekspertise innen cyber‑fysiske systemer i ulike domener som robotikk, industriell automatisering, digitaliserte kraftnett og landbruk. Vi deltar i alle faser av prosjekter, fra design til verifikasjon og validering, og bruker vår kybernetikkkompetanse til å definere krav til sanntid, pålitelighet og sikkerhet. 

Arbeidet vårt omfatter bruk av MBSE‑verktøy som SysML og Arcadia/Capella for systemarkitektur, programvareutvikling i språk som Python, C, C++, og Ada/SPARK med formell verifikasjon, samt testing av sanntidskommunikasjon og mellomvareløsninger.

Vi integrerer maskinvare og programvare på ulike plattformer, fra mikrokontrollere og system‑on‑chip‑plattformer som Xilinx Zynq UltraScale+ til skyløsninger. Vi jobber også med maskinvareprototyping av elektronikk og roboter med 3D‑printede komponenter, sammen med systemverifikasjon og validering.