Hvordan sikre at alt går rett for seg når enorme datamengder skal analyseres? Dette skal forskere ved Høgskolen i Bergen bryne seg på de neste tre årene. De har i flere år arbeidet med såkalte grid-systemer, der en lang rekke datamaskiner kobles sammen. De sammenkoblede maskinene brukes som om de var én stor datamaskin, med langt større regnekraft og lagrings-kapasitet enn maskinene har hver for seg. Nå går Forskningsrådet inn med 4,5 millioner, som skal brukes til forskning på hvordan påliteligheten til slike grid-systemer kan økes.

- Vi skal lage teknikker og teknologi for å verifisere at grid-systemene oppfører seg som de skal, og er sikre og pålitelige, forklarer førsteamanuensis Thomas Ågotnes ved Høgskolen i Bergen. Han er prosjektleder for det strategiske høgskoleprosjektet “Formal Modelling and Verification of Grid Systems”, som Forskningsrådet har bevilget midler til.

Ågotnes forteller at grid-systemer kan anvendes til mange ulike formål.

- Frem til nå har vi på høgskolen først og fremst tatt i bruk grid-teknologi til å analysere enorme datamengder som genereres ved CERN, det europeiske senteret for partikkelfysikk. Men vi ser at denne teknologien også kan tas i bruk til blant annet klimaforskning, til bioinformatikk og i olje- og gassindustrien.

Han viser til at olje- og gassindustrien benytter elektronikk i stor utstrekning i dag. Elektroniske sensorer produserer store datamengder som må analyseres.

- Enten grid-systemer brukes i industrien eller til klimaforskning, kan feil få alvorlige konsekvenser. Derfor er det viktig at vi utvikler teknologi som kan fortelle oss om påliteligheten til programvaren vi bruker, sier Ågotnes.

Les mer hos Høgskolen i Bergen.