Pålidelige og sikkerhedskritiske systemer

Når vi taler om indlejret software, er der flere former for sikkerhed. På den ene side er der 'safety', der handler om systemernes evne til at fungere uden at gøre skade på ting eller personer eller til at fungere med tilstrækkeligt stor pålidelighed, og på den anden side er der 'security', som handler om at beskytte sig mod f.ek.s hackere.

I CISS arbejder vi på begge områder. I forhold til safety – driftsikkerhed – arbejder vi på at finde fejl – opståede eller mulige – og på at lave modeller og teste dem for at kunne dokumentere, om systemerne lever op til kravene. Derudover arbejder vi med 'tidslig validering' – f.eks. hvor lang tid, der går fra et system modtager oplysninger og til det reagerer. Fokus i de sikkerhedskritiske systemer er naturligvis at forudse og dermed forebygge mulige fejl, og at udvikle systemer, der fortsat fungerer, selv om der skulle opstå fejl.

I forhold til security – datasikkerhed – arbejder vi i CISS især med de ting, der er koblet på internettet. Vi arbejder på at skabe en balance mellem høj sikkerhed og tilgængelighed for brugerne – så de personer, der skal arbejde med tingene, stadig kan arbejde frit uden forhindringer, mens systemet stadig holder uvedkommende ude. Derudover arbejder vi på et back-up operativsystem, der vil gøre det nemt at geninstallere et operativsystem på f.eks. en webserver, hvis uheldet skulle være ude – så virksomheden hurtigt er online og på fuld arbejdskraft igen.