- Vår kärna, eller åtminstone dit en stor del av vår forskning är på väg mer och mer, är att ta fram processer och metoder för så kallad komponentbaserad programvaruutveckling, säger Hans Hansson, professor i realtidssystem på MRTC.
Hans vision är att programvara ska kunna utvecklas som komponenter, motsvarande IP-block i mikroelektroniken. Kvaliteten på metoder och verktyg ska vara så hög att komponenterna ska kunna godkännas för säkerhetskritiska system.
Målet är att utveckla nya metoder och nya verktyg för att hantera programvara i komplexa inbyggda system.
- Det är inte trivialt att få programvara att fungera i säkerhetskritiska system. För att få tillförlitlighet måste man ha ett underlag för analys och en modell av kodens beteende, säger Hans Hansson.
Se även artiklarna:
Svensk inbyggnadsforskning tillhör Europatoppen
Lucas siktar mot Mars
Bredd och djup präglar KTH
Anna Wennberg