Vertsinstitusjon:

Simula Research Laboratory AS

Mål:

Senterets hovedmål er å bidra til økt verdiskaping i samfunnet ved å utvikle bedre metoder og teknikker for verifisering og validering av komplekse og virksomhetskritiske programvare-systemer og -løsninger. Dette skal bidra til mer kostnadseffektiv utvikling av produkter og løsninger, og til at produktene utvikles på en slik måte at avgjørende krav til kvalitet og robusthet ivaretas. Forskningsresultatene skal gi norske programvare- og teknologibedrifter et konkurransefortrinn ved å kunne utvikle avanserte produkter og løsninger av høy kvalitet til kontrollerbar kostnad. Dette vil også ha betydelige samfunnsmessige gevinster, gjennom den økte betydningen komplekse datasystemer har for samfunnets infrastruktur og offentlig tjenesteyting.

Partnere:

Vertsinstitusjon er SIMULA-senteret. Bedrifts- og brukerpartnere er Esito AS,  FMC Kongsberg Subsea AS, Kongsberg Maritime AS, Cisco Systems Norway AS og Toll- og avgiftsdirektoratet.

Senterleder/kontakt:
Professor Arnaud Gotlieb, arnaud@simula.no

Administrativ direktør Stein Erlend Arge, earge@simula.no