Informasjonssystemene hjelper oss til å håndtere hverdagen på jobben, i hjemmet, når vi er på reise, på ferie, når vi er i ro og når vi er i bevegelse. 

Dagens informasjonssystemer er sammensatte, og de er ofte vevd sammen av større og mindre deler som samvirker gjennom ulike kommunikasjonsnett og sentrale datatjenester, som f.eks. dataspill på internett, store komplekse forretningssystemer eller kritiske kontroll- og sikkerhetssystemer. De ulike delene av et større sammensatt system kan være mer eller mindre løst koblet, og avhenger av anvendelsene.

For å bygge, teste og ta i bruk slike systemer må vi ha innsikt i de menneskelige, organisatoriske og teknologiske utfordringene systemene skal møte.

I SINTEF jobber vi med hele spekteret av slike utfordringer. Spesielt har vi rettet innsatsen inn mot metoder, språk, teknikker og verktøy som gjør at det blir lettere og mer oversiktlig å bygge sikre og pålitelige systemløsninger som er gode å bruke.