The Certus Centre

Certus har fra 2011 til 2019 vært et Senter for forskningsdrevet innovasjon dedikert til validering og verifisering (V&V) av store og komplekse programvaresystemer, finansiert av Forskningsrådet. Senteret har hatt fem industripartnere: Cisco Systems Norway AS (2011-2019), Kongsberg Maritime AS (2011-2018), FMC Technologies (2011-2014), ESITO AS (2011-2019), ABB Robotics (2014- 2019); og to partnere fra offentlig sektor: Tolldirektoratet (2011-2015) og Kreftregisteret (2016-2019). Simula Research Laboratory har vært vertskap for forskingspartner i senteret. Konsortiets sammensetning har variert noe over tid, men har vært stabil i form av minst tre industrielle brukerpartnere og en offentlig partner gjennom hele perioden. I løpet av sin levetid har Certussenteret utviklet samarbeidende forsknings- og innovasjonsprosjekter innen utvalgte områder av programvareteknikk. Dette inkluderer modellering og testing av svært konfigurerbare programvaresystemer, sertifisering av virksomhetskritiske systemer, kvalitetsvurderinger av testkampanjer for dataintensive programvaresystemer, validering og verifisering av innebygde sanntidsystemer, intelligent testing av programvaresystemer under kontinuerlig utvikling, og datadrevet prediktivt vedlikehold av programvaresystemer. Gjennom et sterkt engasjement i det internasjonale forskningsmiljøet har senteret nådd en ledende posisjon innen V&V, og bidratt sterkt med veiledning av unge forskere på master-, doktorgrads- og postdoktornivå. Gjennom prosjektperiode har både forskere og brukerpartnere publisert og presentert vitenskapelige artikler på konferanser og i tidsskrifter som regelmessige blir sitert av andre forskere. Ved å fokusere på partnerdrevne forskningsspørsmål har Certus fremmet innovasjon gjennom utvikling av verktøy, teknologi og metoder. Disse resultatene har blitt distribuert og utnyttet av senterets brukerpartnere og andre internasjonale aktører. Gjennom standardiseringsaktiviteter og godt utviklede forskningsnettverk har senteret etablert sterke vitenskapelige samarbeid med ledende europeiske institusjoner som Inria (Frankrike), Universitetet i Luxembourg, Universitetet i Parma (Italia), Uppsala Universitet og RI.SE SICS (begge i Sverige), i tillegg til andre partnere i og utenfor Europa. Senteret har tiltrukket seg prominente forskere fra Europa og resten av verden, og har hatt betydelig suksess i europeiske konkurranser om finansiering av forskning. Spesielt mot slutten av prosjektperioden har forskerne i senteret lykkes svært godt med å hente inn betydelige, konkurranseutsatte tilskudd til innovative forskningsprosjekter sammen med sine partnere innen programvareutvikling og kunstig intelligens. Nøkkelfakta om senteret: * Syv vitenskapelige og industrielle prosjekter som samlet alle senterets partnere, med en samlet produksjon av mer enn 250 leveranser (deliverables) * 91 artikler publisert i vitenskapelige tidsskrifter, 185 artikler i artikkelsamlinger, 9 ed. bøker og 8 bokkapitler. * 3 «Best Application Paper»-priser *6 doktorgrader direkte finansiert av SFI-bevilgningen til Certus, i tillegg til 10 PhD-studenter finansiert av andre kilder *Fjorten User Partner Workshops (UPW), flere tekniske workshops, samt åpne kurs 7 industri-styrkende teknologier (JDART, TITAN, DEPICT, ZenRUCM, ABBs beregningsmodell, CRYSTAL.FEAT, SWMOD) som er utviklet i samarbeid med Certus-partnere * Utviklingen av en sterk metodikk for utnytting av resultatene fra programvareutvikling

Certus had a number of ambitious objectives on innovation, research and education in the field of Software Validation and Verification (V&V). Some of these objectives were largely exceeded while some others turned out to be too difficult to measure or to reach. The Centre has had strong impact for its host and user partners by exploring V&V for real-time embedded and data-intensive systems, and producing a high output of scientific results recognized at the highest level of the scientific community. It has reached an international recognition that places Norway and Simula at the forefront of this research. Certus has also elevated the maturity of testing processes of its user partners by creating new tools and methodologies for testing systems in complex development processes such as continuous integration and DevOps, and educating PhD and master students whom have now settled in Norway and joined some of the greatest companies involved into the development of crucial software-systems.

In spite of large investments in verification and validation (V&V) activities, we frequently read about serious software failures in the press. A 2010 example is that Toyota had to recall about 130,000 of its Prius hybrid vehicles and 10,000 Lexus cars in the U.S. because the braking system software did not function correctly. In response to the continually increasing demand for dependable systems and ways to bring software V&V costs under control, we intend to create the leading research and innovation centre on software V&V in Europe. In this centre, hosted by Simula Research Laboratory, research-intensive enterprises and world-leading research groups will join forces and develop new, industry-strength technology for V&V. Building a centre where the s oftware industry collaboratively develops and exchanges state-of-the-art knowledge and technology within V&V is to the shared benefit of the Norwegian software-intensive industry and society since: (1) most organizations cannot afford to build comprehensi ve V&V competence on their own, (2) the centre's partners include major players in the public and private sectors who are already on a good level within software V&V. In the Certus Centre, we will aim at innovations related to both technical and manager ial aspects of software V&V. On the technical side, we will focus on V&V analysis activities, such as requirements quality assurance, and software testing. On the managerial side, we will focus on planning and trade-off analyses of V&V activities, such as the trade-offs between software dependability, software cost and project completion time. The research will focus on fundamental and complex challenges that are important for society at large. Main research challenges include the development of scalable V&V technology and project management based on evidence about the relationship between V&V effort and software dependability.